#discotec — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #discotec, aggregated by home.social.
-
FORTE 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
-
🍨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
-
#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/