/*===== FREDDA: FoRmal mEthods for the Design of Distributed Algorithms ===== FREDDA is an [[https://www.agence-nationale-recherche.fr|ANR project]] starting in 2018. **Head of the project:** [[https://www.irif.fr/users/sangnier/index|Arnaud Sangnier]] 11 January 2018 [[kickoff2018|kick-off meeting]]*/