Planning
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 |
|
|
