German VidalFORTE 2026 - 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Urbino, Italy, June 8-12, 2026.
Submissions accepted until the next Monday, 23 February 23.55 GMT
SELab@HVL🍨CfP Interaction and Concurrency Experience (ICE) Workshop 2026 🍨
Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for concurrent systems and complex interactions.
ICE 2026 is a satellite workshop of DisCoTec 2026, held on June 12th in Urbino, Italy.
Paper submission deadline: April 2nd, 2026
DisCoTecHappy New Year to all!
We are starting our year off with a 2nd #cfp. Join us for #DisCoTec 2025 this summer in Lille, France; where we'll be discussing all things #distributedcomputing
Submission deadline: Feb 7.
More info: https://www.discotec.org/2025/
DisCoTec 2025 is well on its way and we are happy to be celebrating 20 years of #DisCoTec! The call for satellite events and call for papers are out now! Find out more at: https://www.discotec.org/2025
Thanks @clementaubert! We are looking forward to having ICE co-located with us again for #DisCoTec 2025, where we will be celebrating 20 years of DisCoTec!
RanaldClouston#CallForPapers #DisCoTec , Conference on Distributed Computing Techniques: with #COORDINATION (Coordination Models and Languages), #DAIS (Distributed Applications and Interoperable Systems), #FORTE (Formal Techniques for Distributed Objects, Components, and Systems): "a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches" http://www.discotec.org/2024/