Grenoble Aug. 31th, 2017

Program

• [8:45-9:00] Welcome
• [9:00-9:45] Opening, discussions, and informations [F Petit]
• [9:45-10:15] Coffee break
• [10:15-11:00] Pierre Castéran: Preuves de terminaison par variants
• [11:00-11:30] Pierre Corbineau: Composition certifiée d’algorithmes autostabilisants silencieux
• [11:30-12:00] Sébastien Bouchard: Asynchronous approach in the plane: A deterministic polynomial algorithm
• [12:00-12:15] Closure

©