Programme
Programme
Programme
10h «On the Power of Non-Determinism in Population Protocols»-- Janna Burman
11h Coffee break
11h 15 "Renaming"--Corentin Travers
12h 15 discussion
12h30 lunch
14h00 «Compact Routing» Laurent Viennot
15h30 Coffee break
15h45 «Synchronous Byzantine Agreement Revisited»-- Achour Mostefaoui
16h15 «Local tasks in message passing»--Hugues Fauconnier
17h00 discussion
17h45 end of meeting
LOCATION: Dipartimento di Informatica e Sistemistica - Via Ariosto 25
Salle A4