Welcome to DisCoTec 2025!
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 2025 will take place in Lille, France, June 16-20, 2025, hosted by the University of Lille.
DisCoTec 2025 will host the following invited speakers. See here for details.
- Alysson Bessani (Universidade de Lisboa, Portugal) - DAIS
- Hélène Coullon (IMT Atlantique, France) - DisCoTec-wide
- Omar Inverso (GSSI, Italy) - COORDINATION
- Burcu Kulahcioglu Ozkan (TU Delft, The Netherlands) - FORTE
- Baptiste Jonglez (Inria, France) - DAIS
- Robbert Krebbers (Radboud University Nijmegen, The Netherlands) - COORDINATION.
- Emilio Tuosto (GSSI, Italy) - FORTE
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.
The best papers of the past three editions of DisCoTec are the following:
: 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
: 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
: COORDINATION and DisCoTec-wide : A Monitoring Tool for Linear-Time μHML (DOI / Open Access PDF)
by Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, and Anna Ingólfsdóttir
: DAIS : Rebop: Reputation-based Incentives in Committee-based Blockchains (DOI)
by Arian Baloochestani, Leander Jehl, and Hein Meling
: FORTE : Traits: Correctness-by-Construction for Free (DOI)
by Tobias Runge, Alex Potanin, Thomas Thüm, and Ina Schaefer
- Please contact the general chair.
- Follow us on LinkedIn, Mastodon, or X!