Conference · Workshop on Formal Reasoning in Distributed Algorithms
FRIDA 2027
Official page- Type
- Conference
- Organisation
- Workshop on Formal Reasoning in Distributed Algorithms
- Location
- Mexico City, Mexico
- Submissions close
- 31 October 2026
- Found
- 26 September 2026
About this listing
Workshop on Formal Reasoning in Distributed Algorithms. Submissions close 2026-10-31. Held in Mexico City, Mexico. Distributed algorithms, formal methods, and programming languages together on concurrent systems: modelling, correctness properties such as linearizability, theorem proving, model checking, parameterized verification, and synthesis. Held with POPL 2027. Topics: concurrency, verification, formal methods, model checking. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).