› Enseignement de la vérification de systèmes réactifs paramétrés - Alain Giorgetti, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
09:00-09:30 (30min)
› Définition d'un langage de description d'interface graphique formel - Nicolas Nalpon, epita
09:30-10:00 (30min)
› Une sémantique des structures, unions et termes indéfinis pour la spécification formelle de C - Louis Gauthier, Laboratoire Sûreté des Logiciels
10:00-10:30 (30min)
› Interactive Source-to-source Code Optimization with OptiTrust - Thomas Koehler, Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
11:30-12:00 (30min)
› An AST for Representing Programs with Invariants and Proofs - Guillaume Bertholon, ICube, Inria Strasbourg - Arthur Charguéraud, ICube, Inria Strasbourg
12:00-12:30 (30min)