Programme
mercredi 15 novembre 2017
| Heures |
événement |
|
|
08:30 - 09:00
|
Accueil - Accueil des participants et café chaud |
|
|
09:00 - 10:00
|
Koichi WADA -- Rendezvous and Gathering for Asynchronous Mobile Robots with Lights --Relationship between power of lights and synchrony-- - Koichi WADA |
|
|
10:00 - 10:20
|
Pause café |
|
|
10:20 - 11:00
|
Xavier DÉFAGO -- Model-Checking for Gathering with lights in Euclidian spaces - Xavier Défago |
|
|
11:00 - 11:40
|
Quentin BRAMAS -- How To Break Things Up Safely -- Probabilistic Symmetry Breaking for Mobile Robots - Quentin Bramas |
|
|
11:40 - 12:20
|
Stéphane DEVISMES -- A lower bound of graph exploration by a swarm of oblivious robots - Stéphane Devismes |
|
|
12:35 - 13:55
|
Déjeuner |
|
|
14:00 - 15:30
|
Tutoriel : Model-Checking - Nathalie SZNAJDER |
|
|
16:00 - 17:00
|
Tutoriel : Coq pour débutants (I) - Pierre Courtieu |
|
|
17:10 - 18:10
|
Tutoriel : preuve formelle pour essaims de robots (I) - Lionel Rieg |
|
| Heures |
événement |
|
|
08:30 - 09:00
|
Accueil - café croissants |
|
|
09:00 - 10:00
|
Giuseppe PRENCIPE -- Gathering and Circle Formation: hard protocols for easy tasks - Giuseppe Prencipe |
|
|
10:00 - 10:20
|
Pause café |
|
|
10:20 - 11:00
|
David ILCINKAS -- Graph exploration by oblivious robots - David Ilcinkas |
|
|
11:00 - 11:40
|
Lélia BLIN -- Exclusive distributed graph searching - Lélia Blin |
|
|
11:40 - 12:20
|
Robin PELLE -- Mobile Robots on Graphs with Pactole - Robin Pelle |
|
|
12:35 - 13:55
|
Déjeuner |
|
|
14:00 - 15:00
|
Tutoriel : Coq pour débutants (II) - Pierre Courtieu |
|
|
15:30 - 16:30
|
Tutoriel : preuve formelle pour essaims de robots (II) - Lionel Rieg |
|
|
16:40 - 17:40
|
Discussion - Échanges et discussion sur les besoins et projets |
|
|
