DisCoTec 2022 - 17th International Federated Conference on Distributed Computing Techniques

DisCoTec 2022 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 2022 will take place at the IMT School for Advanced Studies Lucca, between June 13-17, 2022.

COVID-19: DisCoTec 2022 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not.

Programme

Go to the programme page. All times are listed for CEST (Central European Summer Time)

Conferences

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

Important Dates

Abstract submission: ~~January 28, 2022~~ February 11, 2022 (Extended)
Paper submission: ~~February 4, 2022~~ February 18, 2022 (Extended)
Paper notification: ~~March 25, 2022~~
Camera-ready: ~~April 24, 2022~~
DisCoTec conference: June 13-17, 2022

Keynote Speakers

Muffy Calder, University of Glasgow, UK
Maarten van Steen, University of Twente, NL
Moshe Y. Vardi (Remote), Rice University, USA
Luca Viganò, King’s College London, UK

Accepted Papers

Go to the list of accepted papers

Satellite Events

DisCoTec 2022 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.

Pre-conference workshops and tutorials will take place on Monday, June 13, 2022, and post-conference workshops on Friday, June 17, 2022.

Tutorials

DisCoTec Tutorials - Tutorial sessions

Workshops

BlockTEE 2022 - Workshop on Blockchain Technologies and Trusted Execution Environments
CoMinDs 2022 - Workshop on Collaborative Mining for Distributed Systems
FOCODILE 2022 - Workshop on the Foundations of Consensus and Distributed Ledgers
ICE 2022 - Workshop on Interaction and Concurrency Experience
~~REMV 2022 - Workshop on Robotics, Electronics and Machine Vision~~ Cancelled

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.

COORDINATION: LNCS13271
DAIS: LNCS13272
FORTE: LNCS13273

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.

DisCoTec Special Issues (published/appearing this year)

Coordination 2020 Special Issue

Architectures in parametric component-based systems: Qualitative and quantitative modelling by Maria Pittou and George Rahonis
A new operational representation of dependencies in Event Structures by G. Michele Pinna
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers by Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani and Franco Zambonelli
A theory of transaction parallelism in blockchains by Massimo Bartoletti, Letterio Galletta and Maurizio Murgia
Verifying liquidity of recursive Bitcoin contracts by Massimo Bartoletti, Stefano Lande, Maurizio Murgia and Roberto Zunino
Specification and Verification of Timing Properties in Interoperable Medical Systems by Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani and John Hatcliff

Scientific Committees

Coordination Program Committee Chairs

Maurice ter Beek (ISTI-CNR, IT)
Marjan Sirjani (Mälardalen University, SE)

DAIS Program Committee Chairs

David Eyers (University of Otago, NZ)
Spyros Voulgaris (Athens University of Economics and Business, GR)

FORTE Program Committee Chairs

Mohammad Mousavi (King’s College London, UK)
Anna Philippou (University of Cyprus, Cy)

Organising Committee

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

Conference Venue

IMT School for Advanced Studies Lucca San Francesco Complex
Piazza S. Francesco, 19 - 55100 Lucca, LU

How to reach San Francesco Complex

The San Francesco Complex is located in San Francesco square inside the ancient city walls. You can reach the campus following these directions.

Accommodations

Lucca is a small town, you can easily reach the San Francesco Complex from any accommodation inside the city walls. You can find a list of Hotels and B&Bs nearby the conference venue here.

Registration

Go to the registration page.

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 r.denicola@imtlucca.it.