Ceci est une ancienne révision du document ! FREDDA: KICK-OFF MEETING Talks will happen in room 1013 of the building Sophie Germain. 10h10 - Arnaud Sangnier Presentation of project FREDDA 10h20 - Corentin Travers On the renaming problem 11h00 - Benedikt Bollig Research perspective I LSV-IRIF 11h15 - Ahmed Bouajjani Robustness in concurrent systems 12h00 - Lunch Break 13h30 - Matthias Fugger Degrading Consensus in Unstable Times 14h10 - Arnaud Sangnier Research perspective II IRIF 14h25 - Pierre Fraigniaud On decision problems in distributed systems 15h05 - Pause 15h20 - Anca Muscholl On verifying consensus within the heard-of-model 16h00 - Benedikt Bollig Gossiping in message-passing systems 16h40 - Discussion