[TYPES/announce] CFP: DISCOTEC 2023 - 18th International Federated Conference on Distributed Computing Techniques

[Carlos Baquero-Moreno]

===================================================================
JOINT CALL FOR PAPERS
DISCOTEC 2023

18th International Federated Conference on Distributed Computing Techniques
19-23 June 2023, Lisbon, Portugal 

https://urldefense.com/v3/__https://www.discotec.org/2023__;!!IBzWLUs!WegotxuUJJH40fwaCcNpYYHB6v8wum6JMDWpXbZQauA8fCEa-pgzQSl1DfAnupFeukjCMLrmnve-RGJseyFuEgFaPA$ 
===================================================================

DisCoTec 2023 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). It gathers conferences and workshops 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 ===

- Azalea Raad, Imperial College London, UK
- Frank Pfenning, Carnegie Mellon University, USA
- Peter Pietzuch, Imperial College London, UK

=== Main Conferences ===

== COORDINATION ==
https://urldefense.com/v3/__https://www.discotec.org/2023/coordination__;!!IBzWLUs!WegotxuUJJH40fwaCcNpYYHB6v8wum6JMDWpXbZQauA8fCEa-pgzQSl1DfAnupFeukjCMLrmnve-RGJseyHFrpNxIg$ 
25th International Conference on Coordination Models and Languages
PC Chairs: Antónia Lopes (University of Lisbon, Portugal) and Sung-Shik Jongmans (Open University of the Netherlands, Netherlands)

== DAIS ==
https://urldefense.com/v3/__https://www.discotec.org/2023/dais__;!!IBzWLUs!WegotxuUJJH40fwaCcNpYYHB6v8wum6JMDWpXbZQauA8fCEa-pgzQSl1DfAnupFeukjCMLrmnve-RGJseyGn5EszRg$ 
23rd International Conference on Distributed Applications and Interoperable Systems
PC Chairs: Marta Patino-Martínez (Technical University of Madrid, Spain) and João Paulo (University of Minho, Portugal)

== FORTE == 
https://urldefense.com/v3/__https://www.discotec.org/2023/forte__;!!IBzWLUs!WegotxuUJJH40fwaCcNpYYHB6v8wum6JMDWpXbZQauA8fCEa-pgzQSl1DfAnupFeukjCMLrmnve-RGJseyE6Nc8nWA$ 
43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems
PC Chairs: Marieke Huisman, University of Twente, Netherlands and António Ravara, NOVA University Lisbon, Portugal

== DisCoTec Artefact Evaluation Chair == 

- Roberto Casadei (University of Bologna, IT)

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

- Abstract submission: February 25, 2023 (Extended)
- Paper submission: February 4, 2023 (Extended)
- Paper notification: April 7, 2023
- Camera-ready: April 30, 2023
- DisCoTec conference: June 19-23, 2023

Deadlines expire at 23:59 anywhere on earth on the dates displayed above.

=== Satellite Events ===

We invite the community to submit proposals for one day workshops and tutorials on topics related to the distributed computing field.

Important dates (for all workshops) EXTENDED:
- Workshop proposal submission deadline: February 13, 2023 (Extended) 
- Notification of accepted workshop proposals: February 16, 2023 (Extended) 
- Workshop paper submission deadline: Mid April 2023
- Notification of accepted workshop papers: Mid May 2023
- Workshops: June 19 and 23, 2023

Tutorial proposal submission deadline: March 7, 2023
Notification of accepted workshop proposals: March 14, 2023
Tutorials: June 19, 2023 

=== Proceedings ===

The proceedings of the conferences are published in LNCS-IFIP volumes. 

=== Organising Committee ===

- Carla Ferreira (NOVA University Lisbon, PT — General Chair)
- João Costa Seco (NOVA University Lisbon, PT)
- João Leitão (NOVA University Lisbon, PT)
- Mário Pereira (NOVA University Lisbon, PT)
- Carlos Baquero (University of Porto, PT — Publicity Chair)
- Simão Melo de Sousa (University of Beira Interior, PT — Workshops and Tutorials Chair)

- Rocco De Nicola (IMT School for Advanced Studies, IT — General Chair)
- Letterio Galletta (IMT School for Advanced Studies, IT — Chair of the Local Organizing Committee)
- Marinella Petrocchi (IIT-CNR, IT)
- Simone Soderi (IMT School for Advanced Studies, IT)
- Francesco Tiezzi (University of Florence, IT — Workshops and Tutorials Chair)
- Giorgio Audrito (University of Torino, IT — Publicity chair)

=== Steering Committee ===

- Gianluigi Zavattaro (University of Bologna, IT — Chair)
- Rocco De Nicola (IMT School for Advanced Studies Lucca, IT)
- Kurt Geihs (University of Kasel, DE)
- Elie Najm (Telecom Paris Tech, FR)
- Mieke Massink (CNR-ISTI, IT)
- Luís Veiga (INESC-ID, Universidade de Lisboa, PT)
- Ivan Lanese (University of Bologna/INRIA, IT)
- Manuel Núñez (Universidad Complutense de Madrid, ES)
- Alberto Lluch Lafuente (Technical University of Denmark, DK)
- Adrian Francalanza (University of Malta, MT)

=== Advisory Board ===

- Alain Girault (INRIA Grenoble, FR)
- Uwe Nestmann (TU Berlin, DE)
- Michele Loreti (University of Camerino, IT)
- Jim Dowling (RISE & KTH, SE)
- Marjan Sirjani (University of Malarden, SE)
- Frank de Boer (Centrum Wiskunde & Informatica (CWI), NL)
- Farhad Arbab (Centrum Wiskunde & Informatica (CWI), NL)
- Lea Kutvonen (University of Helsinki, FI)
- John Derrick (University of Sheffield, UK)
- Pascal Felber (University of Neuchâtel, CH) 
- Kostas Magoutis (ICS-FORTH, GR)
- Rui Oliveira (University of Minho, PT)
- Jean-Bernard Stefani (INRIA Grenoble, FR)