Wednesday, November 15, 2017
| Time | Event | |
| 08:30 - 09:00 | Welcome - Warm coffee to start the day | |
| 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 | Coffee break | |
| 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éphanes DEVISMES -- A lower bound of graph exploration by a swarm of oblivious robots - Stéphane Devismes |
|
| 12:35 - 13:55 | Lunch | |
| 14:00 - 15:30 | Tutorial: Model-Checking - Nathalie SZNAJDER | |
| 16:00 - 17:00 | Tutorial: Coq for beginners (I) - Pierre Courtieu | |
| 17:10 - 18:10 | Tutorial: formal proof for robotic swarms (I) - Lionel Rieg |
Thursday, November 16, 2017
| Time | Event | |
| 08:30 - 09:00 | Welcome - warm coffee to start the day | |
| 09:00 - 10:00 | Giuseppe PRENCIPE -- Gathering and Circle Formation: hard protocols for easy tasks - Giuseppe Prencipe |
|
| 10:00 - 10:20 | Coffee break | |
| 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 | Lunch | |
| 14:00 - 15:00 | Tutorial: Coq for beginners (II) - Pierre Courtieu | |
| 15:30 - 16:30 | Tutorial: formal proof for robotic swarms (II) - Lionel Rieg | |
| 16:40 - 17:40 | Discussion - Discussion and interactions about needs and projects |
