<div dir="ltr">[Apologies for multiple copies, please forward it to interested parties]<br><br>===================================================================<br>JOINT CALL FOR PAPERS<br>DisCoTec 2024<br>19th International Federated Conference on Distributed Computing Techniques<br>June 17-21, 2024<br>Groningen, The Netherlands<br><br>Sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). <br><br>Submission deadline: February 23, 2024 (Extended!)<br><br><a href="https://urldefense.com/v3/__https://www.discotec.org/2024__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW2_WPL4k$">https://www.discotec.org/2024</a><br>===================================================================<br><br>DisCoTec 2024 will gather three conferences 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.<br><br>== COORDINATION == (<a href="https://urldefense.com/v3/__https://www.discotec.org/2024/coordination__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW97uNEq-$">https://www.discotec.org/2024/coordination</a>) <br>26th International Conference on Coordination Models and Languages<br>Chairs:  <br>- Ilaria Castellani (INRIA Sophia Antipolis, FR)<br>- Francesco Tiezzi (University of Florence, IT)<br><br>== DAIS == (<a href="https://urldefense.com/v3/__https://www.discotec.org/2024/dais__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW5X3iel3$">https://www.discotec.org/2024/dais</a>) <br>24th International Conference on Distributed Applications and Interoperable Systems<br>Chairs: <br>- Rolando Martins (University of Porto, PT)<br>- Mennan Selimi (South East European University, MK)<br><br>== FORTE == (<a href="https://urldefense.com/v3/__https://www.discotec.org/2024/forte__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYWy8EtYdn$">https://www.discotec.org/2024/forte</a>) <br>44th International Conference on Formal Techniques for Distributed Objects, Components and Systems<br>Chairs:<br>- Valentina Castiglioni (Eindhoven University of Technology, NL)<br>- Adrian Francalanza (University of Malta, MT)<br><br><br>=== Artefact Evaluation (all conferences) === <br>Chair:<br>- Roberto Casadei (University of Bologna, IT)<br><br><br>=== Keynote Speakers ===<br><br>- Marieke Huisman (University of Twente, NL)<br>- Laura Kovács (Vienna University of Technology, AT)<br>- Paulo Veríssimo (KAUST, SA)<br><br><br>=== Important Dates (for all main conferences) - EXTENDED ===<br><br>- Abstract submission: February 16, 2024 (Extended)<br>- Paper submission: February 23, 2024 (Extended)<br>- Paper notification: April 5, 2024 (Extended)<br>- Camera-ready: April 24, 2024<br>- DisCoTec conference:  June 17-21, 2024<br><br>Deadlines expire at 23:59 (AoE, anywhere on earth) on the dates displayed above.<br>See each conference site for topics of interest, paper categories, and submission instructions. <br><br><br>=== Satellite Events ===<br><br>We invite the community to submit proposals for one day workshops and tutorials on topics related to the distributed computing field. Details: <a href="https://urldefense.com/v3/__http://www.discotec.org/2024/csep__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW0mnUlL9$">http://www.discotec.org/2024/csep</a> <br><br>- Proposal submission deadline: February 12, 2024<br><br>=== Proceedings ===<br><br>The proceedings of COORDINATION, DAIS, and FORTE will be published as volumes in the Springer LNCS-IFIP series.<br>The volumes will be open access from the IFIP digital library after a 3-year embargo.<br><br><br>=== Journal Special Issues ===<br><br>Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals:<br><br>- Logical Methods in Computer Science (<a href="https://urldefense.com/v3/__https://lmcs.episciences.org__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW8uID8FX$">https://lmcs.episciences.org</a>)<br>- Science of Computer Programming (TBC).<br><br><br>=== Organizing Committee  ===<br><br>- Jorge A. Pérez (University of Groningen, NL — General Chair)<br>- Ivan Bliznets (University of Groningen, NL)<br>- Anton Chernev (University of Groningen, NL)<br>- Dan Frumin (University of Groningen, NL — Workshops and Tutorials Co-chair)<br>- Helle Hvid Hansen (University of Groningen, NL)<br>- Bas van den Heuvel (Karlsruhe University of Applied Sciences and University of Freiburg, DE — Publicity Chair)<br>- Juan C. Jaramillo (University of Groningen, NL)<br>- Claudio Antares Mezzina (University of Urbino, IT — Workshops and Tutorials Co-chair)<br>- Revantha Ramanayake (University of Groningen, NL)</div>