Notre réunion aura lieu dans le bâtiment habituel (Sophie Germain, campus des Grands Moulins), mais en salle 8029 (8e étage).

Voici le programme de la journée :

• 9h30 - Accueil
• 10h00 - Thao Dang ou Nicolas Basset (?) . Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions.
• 10h45 - Loïc Hélouët. Waiting Nets.
• 11h30 - Benoit Barbot. Uniform sampling for timed languages under duration constraints.
• 12h15 - Repas
• 13h15 - Patricia Bouyer-Decitre. Zone-based verification of timed automata: Extrapolations, simulations and what next?
• 14h00 - Exposés libres au tableau et brain storming. Interventions probables de Catalin et de moi-même. N'hésitez pas à intervenir pour discuter de vos problèmes de recherche actuels.
• 15h00 - Business meeting