The 12th Workshop on Formal Reasoning in Distributed Algorithms
Date: Monday, October 27, 2025 (whole-day workshop)
Location: Berlin, Germany
Colocated with: DISC 2025
About FRIDA
The FRIDA workshop aims to foster collaboration between the distributed algorithms and formal verification communities. This workshop provides a forum for researchers to present recent advances in formal reasoning about distributed algorithms and systems, share experiences, and discuss future directions.
Topics of Interest
The topics of interest for the FRIDA workshop include the following, as they apply to distributed algorithms and systems:
- formal modeling
- model checking
- interactive theorem proving
- parameterized model checking
- integration of different verification techniques
- benchmarking
- synthesis
- run-time verification
- testing
- invariant inference
Call for Participation
We are looking for speakers to present their work at FRIDA 2025. Please submit proposals for talks by email to the organizers by September 15, 2025. Submissions will be reviewed on an ongoing basis.
Talk proposals should include:
- Title and abstract
- Brief speaker bio
- Estimated duration (typically 30-40 minutes including discussion)
Please send your proposals to both organizers:
Organizers
Giuliano Losa (giuliano@stellar.org), Stellar Development Foundation
Stephan Merz (stephan.merz@loria.fr), INRIA Nancy & LORIA
Previous Editions
Starting a productive dialogue between distributed algorithms and verification communities was the goal of a successful Dagstuhl Seminar “Formal Verification of Distributed Algorithms” which was held in April 2013. During this seminar, the participants agreed that a series of workshops should be held in order to strengthen the community that does research on these issues.
The FRIDA workshop has taken place every year since 2014:
- FRIDA 2024 - Montreal, Canada (CAV 2024)
- FRIDA 2023 - L’Aquila, Italy (DISC 2023)
- FRIDA 2022 - Haifa, Israel (FLoC 2022)
- FRIDA 2021 - Online (DISC 2021)
- FRIDA 2020 - Online (QONFEST 2020)
- FRIDA 2019 - Budapest, Hungary (DISC 2019)
- FRIDA 2018 - Oxford, UK (FLoC 2018)
- FRIDA 2017 - Vienna, Austria (DISC 2017)
- FRIDA 2016 - Marrakech, Morocco (NETYS 2016)
- FRIDA 2015 - Grenoble, France (FORTE 2015)
- FRIDA 2014 - Vienna, Austria (Vienna Summer of Logic 2014)
Contact
For questions about FRIDA 2025, please contact the organizers:
- Giuliano Losa (giuliano@stellar.org)
- Stephan Merz (stephan.merz@loria.fr)