Les essaims de robots mobiles  autonomes ont capté l'attention de la communauté scientifique et de  l'industrie. La possibilité de déployer des groupes de capteurs mobiles autonomes se coordonnant pour réaliser diverses tâches  complexes laisse en effet  entrevoir des perspectives des  plus   intéressantes  avec  des  scénarios   d'applications  tels qu'exploration  de  zone  dévastées   par  une  catastrophe  d'origine naturelle ou humaine, organisation et  supervision de secours, mise en place de réseaux de communication ad-hoc, etc. le tout sans risquer de vie humaine  ou la  perte d'un robot  sophistiqué, spécialisé  et très onéreux.

  Dans le contexte  plus général des systèmes  distribués, obtenir des garanties  sur la  sûreté des  programmes est  crucial: ce  domaine de l'informatique  est  bien  connu  pour  son  intransigeance  face  aux imprécisions   et  aux   raisonnements  informels,   lesquels  peuvent introduire des erreurs subtiles mais aux conséquences désastreuses.

  MoRoVer s’intéresse au développement  et à l’application de méthodes formelles pour  l’étude et  la vérification des  protocoles distribués dans  le contexte  des  essaims de  robots.   Il rassemble  chercheurs académiques et industriels, spécialistes de l'algorithmique distribuée et  spécialistes des  méthodes formelles,  ainsi qu'étudiants,  autour d'exposés scientifiques et de tutoriels ouverts.


Les matinées sont consacrées aux exposés.

 - Exposé d'ouverture, mercredi : Koichi Wada
 - Exposé d'ouverture, jeudi :  Giuseppe Prencipe


Les après-midi sont dédiées aux tutoriels sur différentes approches formelles (les étudiants y sont particulièrement les bienvenus) :

 - Model-Checking , par N. Sznajder
 - Coq pour débutants, par P. Courtieu
 - Preuve formelle pour essaims de robots, par L. Rieg



Orateurs :

Koichi Wada, Hosei Univ. Japon
Guiseppe Prencipe, Univ. Pise, Italie
Lélia Blin, UPMC, Paris, France
Quentin Bramas, Télécom physique, Strasbourg, France
Pierre Courtieu, CNAM, Paris, France
Xavier Défago, Tokyo Institute of Technology, Japon
Stéphane Devismes, Univ. Grenoble Alpes, France
David Ilcinkas, LaBRI, Bordeaux, France
Robin Pelle, Univ. Paris-Sud, France
Lionel Rieg, Yale Univ., New-Haven, États-Unis
Nathalie Sznajder, UPMC, Paris, France

Organisation :

Xavier Urbain, LIRIS, Univ. Claude Bernard Lyon 1, France