Home Presentation Members Meetings Publications Deliverables
ANR project FREDDA
FoRmal mEthods for the Design of Distributed Algorithms
4-5th February 2019
Location: IRIF - ROOM 3052

11th June 2018
Location: LaBRI

21st May -
25th May 2018
Location: Dagstuhl

Most of the participants of this project were invited to the Dagstuhl Seminar Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance and Anca Muscholl and Pierre Fraigniaud were some of the organizers of this seminar.
11th January 2018
Location: IRIF