Planning

Week Wed. 15 Thu. 16 List

	Wed. 15	Thu. 16
08:00 09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00	Welcome 8:30 - 9:00 (30min) Welcome Warm coffee to start the day Koichi WADA -- Rendezvous and Gathering for Asynchronous Mobile Robots with Lights --Relationship between power of lights and synchrony-- 9:00 - 10:00 (1h) Koichi WADA -- Rendezvous and Gathering for Asynchronous Mobile Robots with Lights --Relationship between power of lights and synchrony-- Koichi WADA https://morover.sciencesconf.org/data/program/wada.pdf Coffee break 10:00 - 10:20 (20min) Coffee break Xavier DÉFAGO -- Model-Checking for Gathering with lights in Euclidian spaces 10:20 - 11:00 (40min) Xavier DÉFAGO -- Model-Checking for Gathering with lights in Euclidian spaces Xavier Défago Quentin BRAMAS -- How To Break Things Up Safely -- Probabilistic Symmetry Breaking for Mobile Robots 11:00 - 11:40 (40min) Quentin BRAMAS -- How To Break Things Up Safely -- Probabilistic Symmetry Breaking for Mobile Robots Quentin Bramas https://morover.sciencesconf.org/data/program/bramas.pdf Stéphanes DEVISMES -- A lower bound of graph exploration by a swarm of oblivious robots 11:40 - 12:20 (40min) Stéphanes DEVISMES -- A lower bound of graph exploration by a swarm of oblivious robots Stéphane Devismes https://morover.sciencesconf.org/data/program/devismes.pdf Lunch 12:35 - 13:55 (1h20) Lunch Tutorial: Model-Checking 14:00 - 15:30 (1h30) Tutorial: Model-Checking Nathalie SZNAJDER Tutorial: Coq for beginners (I) 16:00 - 17:00 (1h) Tutorial: Coq for beginners (I) Pierre Courtieu Tutorial: formal proof for robotic swarms (I) 17:10 - 18:10 (1h) Tutorial: formal proof for robotic swarms (I) Lionel Rieg	Welcome 8:30 - 9:00 (30min) Welcome warm coffee to start the day Giuseppe PRENCIPE -- Gathering and Circle Formation: hard protocols for easy tasks 9:00 - 10:00 (1h) Giuseppe PRENCIPE -- Gathering and Circle Formation: hard protocols for easy tasks Giuseppe Prencipe https://morover.sciencesconf.org/data/program/prencipe_1.pdf Coffee break 10:00 - 10:20 (20min) Coffee break David ILCINKAS -- Graph exploration by oblivious robots 10:20 - 11:00 (40min) David ILCINKAS -- Graph exploration by oblivious robots David Ilcinkas Lélia BLIN -- Exclusive distributed graph searching 11:00 - 11:40 (40min) Lélia BLIN -- Exclusive distributed graph searching Lélia Blin https://morover.sciencesconf.org/data/program/blin_1.pdf Robin PELLE -- Mobile Robots on Graphs with Pactole 11:40 - 12:20 (40min) Robin PELLE -- Mobile Robots on Graphs with Pactole Robin Pelle Lunch 12:35 - 13:55 (1h20) Lunch Tutorial: Coq for beginners (II) 14:00 - 15:00 (1h) Tutorial: Coq for beginners (II) Pierre Courtieu Tutorial: formal proof for robotic swarms (II) 15:30 - 16:30 (1h) Tutorial: formal proof for robotic swarms (II) Lionel Rieg Discussion 16:40 - 17:40 (1h) Discussion Discussion and interactions about needs and projects

Online user: 1