[TYPES/announce] DisCoTec 2026 - Urbino, Italy [Preliminary Call]

[Claudio Mezzina]

Apologies for multiple postings]

************************************************************************

Preliminary Call for Paper

 DisCoTec 2026

 21th International Federated Conference on Distributed Computing Techniques

 Urbino, Italy, 8-12 June 2026

 Submission deadline: 6 February 2026

https://urldefense.com/v3/__https://www.discotec.org/2026/__;!!IBzWLUs!XYbDTfDjsNmdHsl0AyH5gNhuxDyeB-Kpt2adyBPbgt3CkOI9e8i9b3ikXUyIP9f5WaZS9alO3zLqG3-LGqDQI-IG-fVGMKw$ 

************************************************************************

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:

* 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

DisCoTec 2026 is organised by the University of Urbino.


* Important Dates (for all main conferences) *

  All deadlines expire at 23:59 anywhere on earth.

  - Abstract submission: 30 January 2026

  - Paper submission: 6 February 2026



  - Artefact submission: 13 February 2026



  - Artefact kick-the-tires - problem reports: 23 February 2026

  - Artefact kick-the-tires - author response: 2 March 2026

  - Paper and Artefact notification: 27 March 2026

  - Camera-ready: 10 April 2026 (TBC)

  - DisCoTec conference: 8-12 June 2026

  See each conference site for topics of interest, paper categories, and
submission instructions.


* Main Conferences *

  - COORDINATION (https://urldefense.com/v3/__https://www.discotec.org/2026/coordination__;!!IBzWLUs!XYbDTfDjsNmdHsl0AyH5gNhuxDyeB-Kpt2adyBPbgt3CkOI9e8i9b3ikXUyIP9f5WaZS9alO3zLqG3-LGqDQI-IG22xjAjU$ )

    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://urldefense.com/v3/__https://www.discotec.org/2026/dais__;!!IBzWLUs!XYbDTfDjsNmdHsl0AyH5gNhuxDyeB-Kpt2adyBPbgt3CkOI9e8i9b3ikXUyIP9f5WaZS9alO3zLqG3-LGqDQI-IGp0QMgn8$ )

    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://urldefense.com/v3/__https://www.discotec.org/2026/forte__;!!IBzWLUs!XYbDTfDjsNmdHsl0AyH5gNhuxDyeB-Kpt2adyBPbgt3CkOI9e8i9b3ikXUyIP9f5WaZS9alO3zLqG3-LGqDQI-IGWKIN9Oo$ )

    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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251112/60e75da8/attachment-0001.htm>