Programme

Semaine Mer. 15 Jeu. 16 Liste

	Mer. 15	Jeu. 16
08:00 09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00	Accueil 8:30 - 9:00 (30min) Accueil Accueil des participants et café chaud 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 Pause café 10:00 - 10:20 (20min) Pause café 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éphane DEVISMES -- A lower bound of graph exploration by a swarm of oblivious robots 11:40 - 12:20 (40min) Stéphane DEVISMES -- A lower bound of graph exploration by a swarm of oblivious robots Stéphane Devismes https://morover.sciencesconf.org/data/program/devismes.pdf Déjeuner 12:35 - 13:55 (1h20) Déjeuner Tutoriel : Model-Checking 14:00 - 15:30 (1h30) Tutoriel : Model-Checking Nathalie SZNAJDER Tutoriel : Coq pour débutants (I) 16:00 - 17:00 (1h) Tutoriel : Coq pour débutants (I) Pierre Courtieu Tutoriel : preuve formelle pour essaims de robots (I) 17:10 - 18:10 (1h) Tutoriel : preuve formelle pour essaims de robots (I) Lionel Rieg	Accueil 8:30 - 9:00 (30min) Accueil café croissants 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 Pause café 10:00 - 10:20 (20min) Pause café 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 Déjeuner 12:35 - 13:55 (1h20) Déjeuner Tutoriel : Coq pour débutants (II) 14:00 - 15:00 (1h) Tutoriel : Coq pour débutants (II) Pierre Courtieu Tutoriel : preuve formelle pour essaims de robots (II) 15:30 - 16:30 (1h) Tutoriel : preuve formelle pour essaims de robots (II) Lionel Rieg Discussion 16:40 - 17:40 (1h) Discussion Échanges et discussion sur les besoins et projets

Personnes connectées : 1