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

[Bas van den Heuvel]

[Apologies for multiple copies, please forward it to interested parties]

===================================================================

2ND 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://urldefense.com/v3/__https://www.discotec.org/2024__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8A2So2fo$ 

===================================================================

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://urldefense.com/v3/__https://wwwhome.ewi.utwente.nl/*marieke/__;fg!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8JRvuUIj$ > (University of
Twente, NL)

- Laura Kovács <https://urldefense.com/v3/__http://lkovacs.com/__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8B2_QxNO$ > (Vienna University of Technology, AT)

- Paulo Veríssimo
<https://urldefense.com/v3/__https://www.kaust.edu.sa/en/study/faculty/paulo-verissimo__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8Pla3KlL$ > (KAUST, SA)

=== Main Conferences ===

== COORDINATION == (https://urldefense.com/v3/__https://www.discotec.org/2024/coordination__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8EckuIjE$ )

26th International Conference on Coordination Models and Languages

Chairs:

- Ilaria Castellani <https://urldefense.com/v3/__https://www-sop.inria.fr/members/Ilaria.Castellani/__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8FaHNQM-$ >
(INRIA Sophia Antipolis, FR)

- Francesco Tiezzi <https://urldefense.com/v3/__http://www.disia.unifi.it/tiezzi__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8BzNnuzx$ > (University of
Florence, IT)

== DAIS == (https://urldefense.com/v3/__https://www.discotec.org/2024/dais__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8P52T_SP$ )

24th International Conference on Distributed Applications and Interoperable
Systems

Chairs:

- Rolando Martins <https://urldefense.com/v3/__https://www.dcc.fc.up.pt/*rmartins/__;fg!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8PziDum3$ > (University of
Porto, PT)

- Mennan Selimi <https://urldefense.com/v3/__https://mvdsi.seeu.edu.mk/mselimi/__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8LVthY6P$ > (South East European
University, MK)

== FORTE == (https://urldefense.com/v3/__https://www.discotec.org/2024/forte__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8Ocd6Swz$ )

44th International Conference on Formal Techniques for Distributed Objects,
Components and Systems

Chairs:

- Valentina Castiglioni
<https://urldefense.com/v3/__https://sites.google.com/view/valentinacastiglioni/home__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8CuTxhU5$ > (Eindhoven
University of Technology, NL)

- Adrian Francalanza <https://urldefense.com/v3/__http://staff.um.edu.mt/afra1/__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8H5ANvJJ$ > (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://urldefense.com/v3/__https://www.springer.com/series/8345__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8H7U5NlZ$ >
series.

The volumes will be open access from the IFIP digital library
<https://urldefense.com/v3/__https://hal.inria.fr/IFIP/page/conferences__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8DnEPH7n$ > 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!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8Okkrrjc$ )

- Science of Computer Programming (TBC).

=== Organizing Committee  ===

- Jorge A. Pérez <https://urldefense.com/v3/__https://www.jperez.nl/__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8Kl7ZZCr$ > (University of Groningen, NL —
General Chair)

- Ivan Bliznets (University of Groningen, NL)

- Anton Chernev (University of Groningen, NL)

- Dan Frumin <https://urldefense.com/v3/__https://groupoid.moe/__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8LB4AW2G$ > (University of Groningen, NL —
Workshops and Tutorials Co-chair)

- Helle Hvid Hansen (University of Groningen, NL)

- Bas van den Heuvel <https://urldefense.com/v3/__https://basvdheuvel.github.io/__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8H1Bw9II$ > (Karlsruhe University
of Applied Sciences and University of Freiburg, DE — Publicity Chair)

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

- Claudio Antares Mezzina <https://urldefense.com/v3/__https://sites.google.com/view/claudio-mezzina__;!!IBzWLUs!UdVjQ4GPQ2YWTDA8lY-0MDodVb3IoZSsl4lpeyVhYmC91PNaqJ66tTYKEqcL-mq9fZvDhAn3hWbbP_f2ZoNG45In_cAn8DWl0YWd$ >
(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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240109/2ec6452b/attachment-0001.htm>