Salle SG1007 9h00 : accueil et café 9h30 : Bernardo Jacobo Inclán : Bandwidth of Timed Automata : 3 classes 10h30 : Aymeric Côme ou Éric Fabre : New Properties of the Value Function in MDP 11h30 : Serge Haddad : Inside and Beyond Decisiveness for Infinite Probabilistic Models 12h30 : Déjeuner 13h30 : Emily Clément : Robustness of Timed Automata 14h30 : Mohammed Foughali : Compositional Verification of Embedded Real-Time Systems 15h30 : Questions diverses, planification