Animation and exchanges in the Petri Nets community

[address@concealed]

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://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:

* 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://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)