DisCoTec 2026 - 21st International Federated Conference on Distributed Computing Techniques
Welcome to DisCoTec 2026!
DisCoTec is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS).
DisCoTec 2026 will take place in Urbino, Italy, June 8-12, 2026, hosted by the University of Urbino Carlo Bo.
Main Conferences
DisCoTec gathers conferences that cover 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:
- COORDINATION 2026 - International Conference on Coordination Models and Languages
- DAIS 2026 - International Conference on Distributed Applications and Interoperable Systems
- FORTE 2026 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Workshops
- ICE 2026 - 19th Interaction and Concurrency Experience
Invited Speakers
DisCoTec 2026 will host the following invited speakers. See here for details.
Keynote Talks
- Mehdi Dastani (Utrecht University, NL) - COORDINATION
- Paolo Romano (NESC-ID, PT) - DAIS
- Nathalie Bertrand (Inria, FR) - FORTE
- Roberto Bruni (University of Pisa, IT) - DisCoTec-wide
Tutorials
- Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach (Audrito, Damiani, Scarso, Stolz, Torta, UNITO) Mon 8, 14-17
- Josef Widder (Quint, Austria) - FORTE
Best Paper Awards
Each of the three DisCoTec 2025 main conferences will designate the best paper among its accepted ones. One of these papers will further receive the DisCoTec-wide best paper award.
Past Best Papers
The best papers of the past three editions of DisCoTec are the following:
- 2025
-
- COORDINATION
- Verified Parameterized Choreographies (DOI)
by Robert Rubbens, Petra van den Bos and Marieke Huisman.
-
- DAIS and DisCoTec-wide
- Hybrid CPU/Memory Elastic Scaling for Distributed Stream Processing (DOI)
by Donatien Schmitz, Guillaume Rosinosky and Etienne Rivière
-
- FORTE
- Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm (DOI)
by Karine Altisen and Marius Bozga
- 2024
-
- COORDINATION and DisCoTec-wide
- A Probabilistic Choreography Language for PRISM (DOI) by Marco Carbone and Adele Veschetti
-
- DAIS
- Compact Storage of Data Streams in Mobile Devices
(DOI / Open Access PDF)
by Rémy Raes, Olivier Ruas, Adrien Luxey-Bitri, and Romain Rouvoy
-
- FORTE
- Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη
(DOI)
by Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, and Erik De Vink
- 2023
-
- COORDINATION and DisCoTec-wide
- Rollback Recovery in Session-based Programming
(DOI)
by Claudio Antares Mezzina, Francesco Tiezzi, and Nobuko Yoshida
-
- DAIS
- EdgeEmu - Emulator for Android Edge Devices
(DOI)
by Lyla Naghipour Vijouyeh, Rodrigo Bruno, and Paulo Ferreira
-
- FORTE
- Relating Reversible Petri Nets and Reversible Event Structures, categorically
(DOI)
by Hernán Melgratti, Claudio Antares Mezzina, and G. Michele Pinna
Further Information
- Please contact the general chair Claudio Antares Mezzina.
- Follow us on LinkedIn, Mastodon, or X!
