DisCoTec 2024 : Joint CfP: 19th International Federated Conference on Distributed Computing Techniques Mailing lists

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!

https://www.discotec.org/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 (University of Twente, NL)

- Laura Kovács (Vienna University of Technology, AT)

- Paulo Veríssimo (KAUST, SA)

=== Main Conferences ===

== COORDINATION == (https://www.discotec.org/2024/coordination)

26th International Conference on Coordination Models and Languages

Chairs:

- Ilaria Castellani (INRIA Sophia Antipolis, FR)

- Francesco Tiezzi (University of Florence, IT)

== DAIS == (https://www.discotec.org/2024/dais)

24th International Conference on Distributed Applications and Interoperable Systems

Chairs:

- Rolando Martins (University of Porto, PT)

- Mennan Selimi (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 (Eindhoven University of Technology, NL)

- Adrian Francalanza (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 series.

The volumes will be open access from the IFIP digital library 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 (University of Groningen, NL — General Chair)

- Anton Chernev (University of Groningen, NL)

- Dan Frumin (University of Groningen, NL — Workshops and Tutorials Co-chair)

- Bas van den Heuvel (Karlsruhe University of Applied Sciences and University of Freiburg, DE — Publicity Chair)

- Juan C. Jaramillo (University of Groningen, NL)

- Claudio Antares 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)