La réunion MAVeriQ aura lieu dans la salle 3058 du bâtiment Sophie Germain, campus grands moulins (c'est une salle du troisième étage, donc dans “les mêmes murs” que l'IRIF, bien que la salle soit affectée à l'UFR). Nous nous y retrouverons à 10h00. J'accueillerai tout le monde à partir de 9h30 à la cafeteria du 4e étage.

Passe sanitaire obligatoire !

Le programme :

À la cafeteria du 4ème étage de l'IRIF :

• 9:30 - Accueil, café et viennoiseries

En salle 3058 (3ème étage du même bâtiment) :

• 10:00 - Catalin Dima, « Robust Timed Games »
• 10:30 - Discussions (et préparation de la retransmission zoom pour l'exposé d'après)
• 11:00 - Patricia Bouyer-Decitre, « On the (Approximate) Analysis of Stochastic Real-Time Systems », session commune avec le séminaire vérification de l'IRIF
• 12:30 - Pause déjeuner
• 13:30 - Loïc Hélouët, « Resilience of Timed Systems »
• 14:30 - Nicolas Basset, « Uniform Sampling for Networks of Automata »
• 15:30 - Pause
• 15:45 - Business meeting