Salle SG1007 9h30 Accueil 10h00 Damien Bussatto-Gaston - Partial Rosbustness 11h00 Nicolas Basset - Maximal-entropy sampling for timed regular expressions 12h00 Déjeuner 13h00 Neha Rhino (et Thomas Chatain ?) - Towards Conformance Checking for Timed Process Models 14h00 Aymeric Côme - Parcours et sujet de thèse 15h00 Serge Haddad - Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise 16h00 Discussions