MoRoVer : Mobile Robots and Verification
15-16 nov. 2017 Villeurbanne (France)
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
S'inscrire
Programme
Par auteur
Informations tutoriels
Plan d'accès
Soutiens
Office tourisme Lyon
SUPPORT
@ Contact
Programme
Semaine
Mer. 15
Jeu. 16
Liste
‹
jeudi 16 novembre 2017
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›8:30 (30min)
Accueil
8:30 - 9:00 (30min)
Accueil
café croissants
›9:00 (1h)
Giuseppe PRENCIPE -- Gathering and Circle Formation: hard protocols for easy tasks
Giuseppe Prencipe
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
›10:00 (20min)
Pause café
10:00 - 10:20 (20min)
Pause café
›10:20 (40min)
David ILCINKAS -- Graph exploration by oblivious robots
David Ilcinkas
10:20 - 11:00 (40min)
David ILCINKAS -- Graph exploration by oblivious robots
David Ilcinkas
›11:00 (40min)
Lélia BLIN -- Exclusive distributed graph searching
Lélia Blin
11:00 - 11:40 (40min)
Lélia BLIN -- Exclusive distributed graph searching
Lélia Blin
https://morover.sciencesconf.org/data/program/blin_1.pdf
›11:40 (40min)
Robin PELLE -- Mobile Robots on Graphs with Pactole
Robin Pelle
11:40 - 12:20 (40min)
Robin PELLE -- Mobile Robots on Graphs with Pactole
Robin Pelle
›12:35 (1h20)
Déjeuner
12:35 - 13:55 (1h20)
Déjeuner
›14:00 (1h)
Tutoriel : Coq pour débutants (II)
Pierre Courtieu
14:00 - 15:00 (1h)
Tutoriel : Coq pour débutants (II)
Pierre Courtieu
›15:30 (1h)
Tutoriel : preuve formelle pour essaims de robots (II)
Lionel Rieg
15:30 - 16:30 (1h)
Tutoriel : preuve formelle pour essaims de robots (II)
Lionel Rieg
›16:40 (1h)
Discussion
16:40 - 17:40 (1h)
Discussion
Échanges et discussion sur les besoins et projets
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
1
Chargement...