Lyon, Nov. 7th, 2016

Program

• 09:30  – Opening
• 10:00  – Discussions and information
• 11:30  – Anaïs Durand 
: Gradual Stabilization Under T-Dynamics
• 12:00  – Lunch
• 13:30  – Arnaud Casteigts
 : Tutorial on TVGs
• 14:30  – Marjorie Bournat : Self-Stabilizing Robots in Highly Dynamic Environments
• 15:00  – Coffee break
• 15:30  – Pierre CORBINEAU : 
Tutorial on Coq
• 16:30  – Pierre CORBINEAU 
: A Framework for Certified Self-stabilization

Attendees

Karine Altisen, Sébastien Bouchard, Marjorie Bournat, Quentin Brahmas, Eddy Caron, Arnaud Casteigts, Pierre Corbineau, Ajoy K. Datta, Stéphane Devismes, Yoann Dieudonné, Swan Dubois, Anaïs Durand, Colette Johnen, Anissa Lamani, Franck Petit, and Sébastien Tixeuil

©