Différences

Ci-dessous, les différences entre deux révisions de la page.

--- anr:fredda:kickoff2018 [10/01/2018 21:30] – colcombe
+++ anr:fredda:kickoff2018 [Unknown date] (Version actuelle) – supprimée - modification externe (Unknown date) 127.0.0.1
@@ Ligne 1: / Ligne 1: @@
-===== FREDDA: KICK-OFF MEETING =====
-The kick-off meeting of the ANR project [[index|FREDDA]] will happen January the 10th 2018.
-Talks will happen in **room 1013**  of the building **Sophie Germain**. {{anr:fredda:fredda-kickoff2018-program.pdf|Program in PDF}}
-<label type=>10h10 - Arnaud Sangnier</label>
-Presentation of project [[index|FREDDA]]
-<label type="default">10h20 - Corentin Travers</label> On the renaming problem
-<label type="default">11h00 - Benedikt Bollig</label> Research perspective I:  LSV-IRIF
-<label type="default">11h15 - Ahmed Bouajjani</label> Robustness in concurrent systems
-<label type="default">12h00 - Lunch Break</label>
-<label type="default">13h30 - Matthias Fugger</label> Degrading Consensus in Unstable Times
-<label type="default">14h10 - Arnaud Sangnier</label> Research perspective II: IRIF
-<label type="default">14h25 - Pierre Fraigniaud</label> On decision problems in distributed systems
-<label type="default">15h05 - Pause</label>
-<label type="default">15h20 - Anca Muscholl</label> On verifying consensus within the heard-of-model
-<label type="default">16h00 - Benedikt Bollig</label>
-Gossiping in message-passing systems
-<label type="default">16h40 - Discussion</label>