[TYPES/announce] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques

[Bas van den Heuvel]

[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

Sponsored by the International Federation for Information Processing (IFIP)
and the European Association for Programming Languages and Systems (EAPLS).

Submission deadline: February 23, 2024 (Extended!)

https://urldefense.com/v3/__https://www.discotec.org/2024__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW2_WPL4k$ 
===================================================================

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.

== COORDINATION == (https://urldefense.com/v3/__https://www.discotec.org/2024/coordination__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW97uNEq-$ )
26th International Conference on Coordination Models and Languages
Chairs:
- Ilaria Castellani (INRIA Sophia Antipolis, FR)
- Francesco Tiezzi (University of Florence, IT)

== DAIS == (https://urldefense.com/v3/__https://www.discotec.org/2024/dais__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW5X3iel3$ )
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://urldefense.com/v3/__https://www.discotec.org/2024/forte__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYWy8EtYdn$ )
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)


=== Keynote Speakers ===

- Marieke Huisman (University of Twente, NL)
- Laura Kovács (Vienna University of Technology, AT)
- Paulo Veríssimo (KAUST, SA)


=== Important Dates (for all main conferences) - EXTENDED ===

- Abstract submission: February 16, 2024 (Extended)
- Paper submission: February 23, 2024 (Extended)
- Paper notification: April 5, 2024 (Extended)
- 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 each conference site for topics of interest, paper categories, and
submission instructions.


=== Satellite Events ===

We invite the community to submit proposals for one day workshops and
tutorials on topics related to the distributed computing field. Details:
https://urldefense.com/v3/__http://www.discotec.org/2024/csep__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW0mnUlL9$ 

- Proposal submission deadline: February 12, 2024

=== 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://urldefense.com/v3/__https://lmcs.episciences.org__;!!IBzWLUs!QGkPyIIDASLZ1BSbs328AgHUpdxO7Z_x-ojCy5z45H4p_TlwtmyYx4O_DmDjk-PUpHf-kRzbCSSU1yqBjWQ2WvkkTwnYW8uID8FX$ )
- Science of Computer Programming (TBC).


=== Organizing Committee  ===

- Jorge A. Pérez (University of Groningen, NL — General Chair)
- Ivan Bliznets (University of Groningen, NL)
- Anton Chernev (University of Groningen, NL)
- Dan Frumin (University of Groningen, NL — Workshops and Tutorials
Co-chair)
- Helle Hvid Hansen (University of Groningen, NL)
- 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240203/12139ece/attachment-0001.htm>