DisCoTec - the International Federated Conference on Distributed Computing Techniques (original) (raw)

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.

DisCoTec 2023 will take place at the NOVA University Lisbon, between June 19-23, 2023.

Conferences

• COORDINATION 2023 - International Conference on Coordination Models and Languages
• DAIS 2023 - International Conference on Distributed Applications and Interoperable Systems
• FORTE 2023 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems

Proceedings

• COORDINATION: LNCS 13908
• DAIS: LNCS 13910
• FORTE: LNCS 13910

Programme

Go to the programme page.

Important Dates

• Abstract submission: February 11, 2023 February 24, 2023 (Extended)
• Paper submission: February 18, 2023 March 4, 2023 (Extended)
• Paper notification: March 31, 2023 April 7, 2023
• Camera-ready: April 30, 2023
• DisCoTec conference: June 19-23, 2023

Keynote Speakers

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

Accepted Papers

Go to the list of accepted papers.

Conference Venue

Colégio Almada Negreiros
NOVA University Lisbon
Campus de Campolide, 1099-085 Lisboa

Welcome reception venue

ROOFTOP Bar - Hotel Mundial
Hotel Mundial, Praça Martim Moniz 2, 1100-341, Mouraria, Lisboa

Dinner venue

Restaurant Sacramento do Chiado
Calçada Sacramento 44
1200-394 Lisboa, Portugal

How to get from the airport to the conference venue

Subway (Metro)

The nearest metro station to NOVA is São Sebastião (700m, 9 min walking distance) The red line directly connects Lisbon Airport to the metro station São Sebastião.

The subway (Metro) network diagram can be found here.

Accommodations

You can find several hotels nearby the conference venue here.

Registration

Go to the registration page.

Satellite Events

DisCoTec 2023 gathers tutorials 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. The pre-conference workshop and tutorials will take place on Monday, June 19, 2023, and post-conference tutorials on Friday, June 23, 2023.

Tutorials

• DisCoTec Tutorials - Tutorial sessions

Workshops

• ICE 2023 - Workshop on Interaction and Concurrency Experience

Proceedings

The proceedings of the conferences are published in LNCS-IFIP volumes. These shall be open access from the IFIP digital library after a 3-year embargo.

Special issues

The individual conferences will organise special issues of extended and selected papers in reputable journal such as Logical Methods in Computer Science and of Science of Computer Programming’s Software Track for tool papers.

Scientific Committees

Coordination Program Committee Chairs

• Antónia Lopes (University of Lisbon, PT)
• Sung-Shik Jongmans (Open University of the Netherlands, NL)

DAIS Program Committee Chairs

• Marta Patino-Martínez (Technical University of Madrid, ES)
• João Paulo (University of Minho, PT)

FORTE Program Committee Chairs

• Marieke Huisman (University of Twente, NL)
• António Ravara (NOVA University Lisbon, PT)

DisCoTec Artefact Evaluation Chair

• Roberto Casadei (University of Bologna, IT)

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)

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)

Further information

For further information please contact the general chair at carla.ferreira@fct.unl.pt.

Follow us on @DisCoTecConf to keep up to date.