[Apologies for multiple copies, please forward it to interested parties]
===================================================================
JOINT CALL FOR PAPERS
DisCoTec 2024
19th International Federated Conference on Distributed Computing Techniques
June 17-21, 2024
Groningen, The Netherlands
Submit your papers by February 9, 2024!
===================================================================
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 2024 will gather three main conferences (COORDINATION, DAIS, FORTE) 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.
=== Keynote Speakers ===
We are pleased to announce the following keynote speakers:
- Marieke Huisman https://wwwhome.ewi.utwente.nl/~marieke/ (University of Twente, NL)
- Laura Kovács http://lkovacs.com/ (Vienna University of Technology, AT)
- Paulo Veríssimo https://www.kaust.edu.sa/en/study/faculty/paulo-verissimo (KAUST, SA)
=== Main Conferences ===
== COORDINATION == (https://www.discotec.org/2024/coordination)
26th International Conference on Coordination Models and Languages
Chairs:
- Ilaria Castellani https://www-sop.inria.fr/members/Ilaria.Castellani/ (INRIA Sophia Antipolis, FR)
- Francesco Tiezzi http://www.disia.unifi.it/tiezzi (University of Florence, IT)
== DAIS == (https://www.discotec.org/2024/dais)
24th International Conference on Distributed Applications and Interoperable Systems
Chairs:
- Rolando Martins https://www.dcc.fc.up.pt/~rmartins/ (University of Porto, PT)
- Mennan Selimi https://mvdsi.seeu.edu.mk/mselimi/ (South East European University, MK)
== FORTE == (https://www.discotec.org/2024/forte)
44th International Conference on Formal Techniques for Distributed Objects, Components and Systems
Chairs:
- Valentina Castiglioni https://sites.google.com/view/valentinacastiglioni/home (Eindhoven University of Technology, NL)
- Adrian Francalanza http://staff.um.edu.mt/afra1/ (University of Malta, MT)
=== Artefact Evaluation (all conferences) ===
Chair:
- Roberto Casadei (University of Bologna, IT)
=== Important Dates (for all main conferences) ===
- Abstract submission: February 2, 2024
- Paper submission: February 9, 2024
- Paper notification: March 29, 2024
- Camera-ready: April 24, 2024
- DisCoTec conference: June 17-21, 2024
Deadlines expire at 23:59 (AoE, anywhere on earth) on the dates displayed above.
See the site of each conference for topics of interest, submission categories, and EasyChair submission instructions.
=== Proceedings ===
The proceedings of COORDINATION, DAIS, and FORTE will be published as volumes in the Springer LNCS-IFIP https://www.springer.com/series/8345 series.
The volumes will be open access from the IFIP digital library https://hal.inria.fr/IFIP/page/conferences after a 3-year embargo.
=== Journal Special Issues ===
Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals:
- Logical Methods in Computer Science (https://lmcs.episciences.org)
- Science of Computer Programming (TBC).
=== Organizing Committee (TBC) ===
- Jorge A. Pérez https://www.jperez.nl/ (University of Groningen, NL — General Chair)
- Anton Chernev (University of Groningen, NL)
- Dan Frumin https://groupoid.moe/ (University of Groningen, NL — Workshops and Tutorials Co-chair)
- Bas van den Heuvel https://basvdheuvel.github.io/ (Karlsruhe University of Applied Sciences and University of Freiburg, DE — Publicity Chair)
- Juan C. Jaramillo (University of Groningen, NL)
- Claudio Antares Mezzina https://sites.google.com/view/claudio-mezzina (University of Urbino, IT — Workshops and Tutorials Co-chair)
- Revantha Ramanayake (University of Groningen, NL)
=== Steering Committee ===
- Gianluigi Zavattaro (University of Bologna, IT — Chair)
- Rocco De Nicola (IMT School for Advanced Studies Lucca, IT)
- Adrian Francalanza (University of Malta, MT)
- Kurt Geihs (University of Kassel, DE)
- Ivan Lanese (University of Bologna/INRIA, IT)
- Alberto Lluch Lafuente (Technical University of Denmark, DK)
- Mieke Massink (CNR-ISTI, IT)
- Elie Najm (Telecom Paris Tech, FR)
- Manuel Núñez (Universidad Complutense de Madrid, ES)
- Luís Veiga (INESC-ID, Universidade de Lisboa, PT)