posted by system || 792 views

FORTE 2022 : International Conference on Formal Techniques for Distributed Objects, Components, and Systems


Conference Series : Formal Description Techniques for Distributed Systems and Communication Protocols
When Jun 13, 2022 - Jun 17, 2022
Where Lucca, Italy
Abstract Registration Due Jan 28, 2022
Submission Deadline Feb 2, 2022
Notification Due Mar 25, 2022
Final Version Due Apr 24, 2022

Call For Papers

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 2023   43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FMICS 2023   28th International Conference on Formal Methods for Industrial Critical Systems
COORDINATION 2023   25th International Conference on Coordination Models and Languages
HPDC 2023   The 32nd International Symposium on High-Performance Parallel and Distributed Computing
Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
Decision Making in Complex Systems 2023   Decision Making in Complex Systems
Euro-Par 2023   European Conference on Parallel Processing
NFM 2023   NASA Formal Methods Symposium
ICRSA--Ei 2023   2023 the 6th International Conference on Robot Systems and Applications (ICRSA 2023)
INISTA 2023   The 17th International Symposium on INnovation in Intelligent SysTems and Applciations