Planning

Week Wed. 15 Thu. 16 List

Wednesday, November 15, 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)

Welcome

›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)

Coffee break

›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éphanes DEVISMES -- A lower bound of graph exploration by a swarm of oblivious robots
Stéphane Devismes

›12:35 (1h20)

Lunch

›14:00 (1h30)

Tutorial: Model-Checking
Nathalie SZNAJDER

›16:00 (1h)

Tutorial: Coq for beginners (I)
Pierre Courtieu

›17:10 (1h)

Tutorial: formal proof for robotic swarms (I)
Lionel Rieg

Session

Speech

Logistics

Break

Tour

Online user: 1