FORTE: Formal Description Techniques for Distributed Systems and Communication Protocols



Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FORTE 2022 International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Jun 13, 2022 - Jun 17, 2022 Lucca, Italy Feb 2, 2022 (Jan 28, 2022)

Present CFP : 2022

FORTE 2022 is one of the three conferences of DisCoTec 2022, the 17th International Federated Conference on Distributed Computing Techniques.

COVID-19: FORTE 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.



FORTE 2022 is a forum for fundamental research on theory, models, tools, and applications for distributed systems.

The conference solicits original contributions that advance the science and technology for distributed systems, with special interest in:

- Component- and model-based design
- Cyber-physical systems, autonomous systems, and AI-enabled systems design and trustworthiness
- Object technology, modularity, software adaptation
- Self-stabilization and self-healing/organizing
- Software quality, reliability, availability, and safety
- Security, privacy, and trust in distributed and/or communicating systems
- Service-oriented, ubiquitous, and cloud computing systems
- Verification, validation, formal analysis, and testing of the above.

Aligned with the above, FORTE covers models and formal specification, testing and verification methods for distributed computing. Application domains are multiple, and include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, as well as networking and communication security and reliability.

Contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are very much encouraged.



All accepted papers, including short papers and journal-first submissions, will be published in the FORTE 2022 formal proceedings, which will appear in Springer’s LNCS-IFIP volume series. As such, they will be accessible free of charge from the IFIP Digital Library after a 3 years embargo.

Special Issue

Selected papers will be invited to a special issue of Logical Methods in Computer Science.

Submission Link


Program committee chairs

* Mohammad Mousavi, King’s College London, UK
* Anna Philippou, University of Cyprus, Cyprus

Program committee members

* Étienne André, Université de Lorraine, CNRS, Inria, France
* Nathalie Bertrand, INRIA Rennes Bretagne-Atlantique, France
* Georgiana Caltais, University of Konstanz, Germany
* Yu-Fang Chen, Academia Sinica, China
* Louise Dennis, University of Manchester, UK
* Adrian Francalanza, University of Malta, Malta
* Hubert Garavel, Inria, France
* Fatemeh Ghassemi, University of Tehran, Iran
* Ebru Aydın Göl, Middle East Technical University, Turkey
* Ákos Hajdu, Budapest University of Technology and Economics, Hungary
* Arnd Hartmanns, University of Twente, The Netherlands
* Marieke Huisman, University of Twente, The Netherlands
* Peter Höfner, Australian National University, Australia
* Wen Kokke, University of Edinburgh, Scotland, UK
* Barbara König, University of Duisburg-Essen, Germany
* Annabelle McIver, Macquarie University, Australia
* Massimo Merro, University of Verona, Italy
* Claudio Mezzina, Università di Urbino, Italy
* Catuscia Palamidessi, École Polytechnique, France
* Kirstin Peters, TU Darmstadt, Germany
* Sanjiva Prasad, Indian Institute of Technology Delhi, India
* António Ravara, Universidade Nova de Lisboa, Portugal
* Ana Sokolova, University of Salzburg, Austria
* Mahsa Varshosaz, IT University of Copenhagen, Denmark
* Mahesh Viswanathan, University of Illinois, USA
* Tim Willemse, Eindhoven University of Technology, The Netherlands
* Ingrid Chieh Yu, University of Oslo, Norway

Steering committee

* Ahmed Bouajjani (University Paris Diderot, France)
* Christel Baier (University Dresden, Germany)
* Frank de Boer (CWI, Netherlands)
* Luís Caires (Universidade Nova de Lisboa, Portugal)
* Alexey Gotsman (IMDEA Software Institute, Spain)
* Einar Broch Johnsen (University of Oslo, Norway)
* Ivan Lanese (University of Bologna/INRIA, Italy – Chair)
* Jorge A. Pérez (University of Groningen, The Netherlands)
* Alexandra Silva (University College London, UK)
* Ana Sokolova (University of Salzburg, Austria)
* Jean-Bernard Stefani (INRIA, France)
* Nobuko Yoshida (Imperial College London, UK)
* Heike Wehrheim (Paderborn University, Germany)
* Tim Willemse (Eindhoven University of Technology, The Netherlands)


Related Resources

FORTE 2022   42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
DisCoTec - 2022   17th International Federated Conference on Distributed Computing Techniques
AIBTAI 2022   JISYS (OA) - Artificial Intelligence based Techniques and Applications for Intelligent IoT Systems
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
FMCAD 2022   Formal Methods in Computer-Aided Design
COORDINATION 2022   24th International Conference on Coordination Models and Languages
SEIM 2022   Seventh Conference on Software Engineering and Information Management