Mercredi  3 avril

14h30-15h30: Yves Métivier:Calculs locaux, re vêtements et quasi-revêtements (1/2)

15h30-16h00: pause

16h00-17h15: Yves Métivier: Calculs locaux, revêtements et quasi-revêtements (2/2)

17h15-18h10: Heger Arfaoui: Bornes sur la vérification distribuée.

19h30: Dîner

Jeudi 4 avril

7h30-9h15: Petit Déjeuner

09h30-10h45:  Olivier Bournez : des modèles et des calculs

10h45-11h15: Pause

11h15-11h55: Mikaël Rabie : Trustful Population Protocols

11h55-12h45:Corentin Travers : wait-free checkability : opinion number of tasks

12h45-14h30: déjeuner

14h30-15h45: Adrian Kosowski : Graph Exploration. How to do better than the random walk?

15h45-16h25: Dominik Pajak : Fast Collaborative Graph Exploration

16h25 -17h00: Pause

17h00-18h15:Carole/Hugues : Mémoire partagée avec peu de registres

19h30: Dîner

Vendredi 5 avril

07h30-09h15: Petit déjeuner

09h30-10h45: Emmanuel Godard : Calculabilité distribuée probabiliste : résultats "classiques" d'impossibilité

10h45-11h15: Pause

11h15-11h55: Julien Stainer : Synchrony Weakened by Message Adversaries vs Asynchrony Enriched with Failure Detectors

11h55-12h35: Hung Tran : Le problème du consensus dans les systèmes homonymes

12h40-14h10: Déjeuner

14h10-15h25: François Durand : Towards less manipulable voting systems

15h25: Pause et départ