Thursday 18th
11:00-12:45 (Room 0D07)
- [11:00-11:15] Welcome
- [11:15-11:45] Sylvain Sorin (Université Paris 6)
Global and unilateral adaptive game dynamics in discrete and continuous time - [11:45-12:15] Laurent Doyen (LSV)
Randomness for Free - [12:15-12:45] Jörg Olschewski (RWTH Aachen)
Permissive strategies in parity games
13:30-17:00 (Room 0D07)
- [13:30-14:00] Steering Committee Meeting
- [14:00-14:30] Axel Haddad (LIAFA)
A qualitative semantics for tree automata - [14:30-15:00] Olivier Serre (LIAFA)
Probabilistic automata on infinite trees - [15:00-15:30] Martin Zimmermann (RWTH Aachen)
Optimal Bounds in Parametric LTL Games - [15:30-16:00] Coffee Break
- [16:00-16:30] Line Juhl (Aalborg university)
Energy Games in Multiweighted Automata - [16:30-17:00] Jean-François Raskin (Brussel university)
Generalized Mean-payoff and Energy Games
19:00- Dinner (Bouillon racine — see here for details)
Friday 19th
10:00-12:30 (Room 0C05)
- [10:00-11:00] Bernd Finkbeiner (Saarbrucken university)
Coordination Logic - [11:00-11:30] Coffee Break
- [11:30-12:00] Marc Ducobu (Mons university)
Solving QBF with antichains - [12:00-12:30] Nathanaël Fijalkow (LIAFA)
Generalized reachability games
14:00-15:30 (Room 0C05)
- [14:00-14:30] Eudes Petonnet (LIAFA)
Counting LTL - [14:30-15:00] Nicolas Markey (LSV)
ATL with strategy contexts