FRIDA
FRIDA: Formal Reasoning in Distributed Algorithms
workshop series
These are the previous and future editions of FRIDA:
- FRIDA’19 with DISC’19 in Budapest
- FRIDA’18 with CAV’18 and FLoC’18 in Oxford
- FRIDA’17 with DISC’17 in Vienna
- FRIDA’16 with NETYS’16 in Marrakech
- FRIDA’15 with FORTE’15 in Grenoble
- FRIDA’14 with CAV’14 in Vienna
Related workshops:
- Dagstuhl seminar 13141 on “Formal Verification of Distributed Algorithms”