Programme

Semaine Mer. 15 Jeu. 16 Liste

mercredi 15 novembre 2017 ›

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

›8:30 (30min)

Accueil

›9:00 (1h)

Koichi WADA -- Rendezvous and Gathering for Asynchronous Mobile Robots with Lights --Relationship between power of lights and synchrony--
Koichi WADA

›10:00 (20min)

Pause café

›10:20 (40min)

Xavier DÉFAGO -- Model-Checking for Gathering with lights in Euclidian spaces
Xavier Défago

›11:00 (40min)

Quentin BRAMAS -- How To Break Things Up Safely -- Probabilistic Symmetry Breaking for Mobile Robots
Quentin Bramas

›11:40 (40min)

Stéphane DEVISMES -- A lower bound of graph exploration by a swarm of oblivious robots
Stéphane Devismes

›12:35 (1h20)

Déjeuner

›14:00 (1h30)

Tutoriel : Model-Checking
Nathalie SZNAJDER

›16:00 (1h)

Tutoriel : Coq pour débutants (I)
Pierre Courtieu

›17:10 (1h)

Tutoriel : preuve formelle pour essaims de robots (I)
Lionel Rieg

Session

Discours

Logistique

Pause

Sortie

Personnes connectées : 1