Jeudi 28/11
14h Adrien Pommelet. "Weighted Timed Automata"
14h45 Benjamin Monmege. "Weighted Timed Games"
15h30 Emily Clement.

16h15 pause café
16h45 Patricia Bouyer. "Funnel Automata"
17h05 Points sur les WP et les livrables
17h45 - 19h Temps de discussion libre

20h Dîner

Vendredi 29/11

9h30 Philipp Schlehuber-Caissier
10h15 Alexandre Duret-Lutz. "Spot et TChecker"
10h35 Igor Walukiewicz ou bien Frédéric Herbreteau.
Towards partial-order reduction for real-time automata
11h20 Temps de discussion libre
12h Déjeuner

14h-18h Temps de discussion libre