Email Gateway (Nov 27 2025 at 17:16): Email Gateway (Nov 27 2025 at 17:16):From: "\"Marmsoler, Diego\"" <cl-isabelle-users@lists.cam.ac.uk>
DisCoTec 2026
21st International Federated Conference on Distributed Computing Techniques
Urbino, Italy, 8-12 June 2026
Submission deadline: 6 February 2026
https://www.discotec.org/2026/
DisCoTec 2026 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). It gathers conferences and satellite events 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. The three main conferences are:
DisCoTec 2026 is organised by the University of Urbino.
Important Dates (for all main conferences) *
All deadlines expire at 23:59 anywhere on earth.
See each conference site for topics of interest, paper categories, and submission instructions.
Main Conferences *
COORDINATION (https://www.discotec.org/2026/coordination)
28th International Conference on Coordination Models and Languages
PC Chairs: Roberto Casadei (University of Bologna, Italy) and Fatemeh Ghassemi (University of Tehran, Iran)
DAIS (https://www.discotec.org/2026/dais)
26th International Conference on Distributed Applications and Interoperable Systems
PC Chairs: Ana Nunes Alonso (University of Minho & INESC TEC, Portugal) and Roberto Palmieri (Lehigh University, Pennsylvania)
FORTE (https://www.discotec.org/2026/forte)
46th International Conference on Formal Techniques for Distributed Objects, Components and Systems
PC Chairs: Laura Bocchi (University of Kent, UK) and Burcu Kulahcioglu Ozkan (TU Delft, The Netherlands)
Last updated: Dec 02 2025 at 16:32 UTC