FORTE is one of the three conferences of DisCoTec, the International Federated Conference on Distributed Computing Techniques.
FORTE is sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS).
Topics of Interest
FORTE is a forum for fundamental research on theory, models, tools, and applications for distributed systems.
The conference focuses on foundational aspects of distributed
software systems, presenting approaches or tools to formally model,
soundly implement, and rigorously validate these demanding but ever
more necessary systems and applications. As our dependency on such
software systems grow, also our responsibility as researchers grows to
provide both trustworthy and usable solutions.
The main topics of interest include:
- Language concepts for concurrency and distribution, supported by
rigorous semantics, well-supported pragmatics, and/or expressive
illustrative use-cases.
- Analyses techniques, methodologies, and/or algorithms, using testing
and/or verification, to validate (aspects of) the soundness of
various types of concurrent and distributed systems, including
communication and network protocols, service-oriented systems,
adaptive distributed systems, cyber-physical systems and sensor
networks.
- Principles for qualitative and quantitative security analysis of
distributed systems.
- Applications of formal methods and techniques for studying the
quality, reliability, availability, and safety of concrete
distributed systems. We are specially interested in “real-life” case
studies and industrial applications involving real distributed
systems.
- Emerging challenges and hot topics in distributed systems (broadly
construed), such as software-defined networks, distributed ledgers,
smart contracts, and blockchain technologies, etc.
Latest Edition
Previous Editions
(See the FORTE entries in DBLP and Springer for further information)
- FORTE 2025 - Lille, France
- Program Chairs: Carla Ferreira (NOVA University of Lisbon, Portugal) and
Claudio A. Mezzina (University of Urbino, Italy)
- Proceedings: Springer LNCS-IFIP volume 15732.
- FORTE 2024 - Groningen, The Netherlands
- Program Chairs: Valentina Castiglioni (TU Eindhoven, The Netherlands) and Adrian Francalanza (University of Malta, Malta)
- Proceedings: Springer LNCS-IFIP volume 14678.
- FORTE 2023 - Lisbon, Portugal
- Program Chairs: Marieke Huisman (University of Twente, The Netherlands) and António Ravara (NOVA University Lisbon, Portugal)
- Proceedings: Springer LNCS-IFIP volume 13910.
- FORTE 2022 - Lucca, Italy
- Program Chairs: Mohammad Reza Mousavi (King’s College London, United Kingdom) and Anna Philippou (University of Cyprus, Cyprus)
- Proceedings: Springer LNCS-IFIP volume 13273.
- FORTE 2021 - Valletta, Malta
- Program Chairs: Kirstin Peters (TU Darmstadt, Germany) and Tim A. C. Willemse (Eindhoven University of Technology, The Netherlands)
- Proceedings: Springer LNCS-IFIP volume 12719.
Steering Committee
- Christel Baier (University Dresden, Germany)
- Valentina Castiglioni (Eindhoven University of Technology, The Netherlands)
- Adrian Francalanza (University of Malta, Malta)
- Marieke Huisman (University of Twente, The Netherlands)
- Ivan Lanese (University of Bologna/INRIA, Italy)
- Claudio Antares Mezzina (University of Urbino, Italy)
- Jorge A. Pérez (University of Groningen, The Netherlands – Chair)
- Kirstin Peters (Technical University of Darmstadt, Germany)
- Anna Philippou (University of Ciprus, Ciprus)
- Antonio Ravara (NOVA University of Lisbon, Portugal)
- Jean-Bernard Stefani (INRIA, France)
- Nobuko Yoshida (University of Oxford, UK)