Fifth Cassting Meeting

Brussels (Belgium), May 18th & 19th

Programme of the meeting

You may find the complete programme with abstracts here.

10:30 Welcome
11:00 Véronique Bruyère (UMONS): Weak subgame perfect equilibria in quantitative games
11:30 Mickael Randour (LSV): Average-energy games
12:00 Stefan Schwoon (LSV): Active diagnosis with observable quiescence
12:30 Lunch
14:00 Ocan Sankur (ULB): Assume-admissible synthesis
14:30 Laurent Doyen (LSV): Synthesis from probabilistic components
15:00 Coffee break
15:30 Marco Muñiz (AAU): Model checking for time division multiple access (TDMA) systems
16:00 Christof Löding (RWTH Aachen): Backpressure routing in dynamic networks
16:30 Gabriel Renault (UMONS): Quantitative games under failures
17:00 Board meeting
20:00 Dinner at restaurant La Rose Blanche
9:00 Engel Lefaucheux (LSV): Negatively-priced timed games
9:30 Nicolas Markey (LSV): Control of sampled switched systems with partial observation
10:00 Gilles Geeraerts (ULB): Realizability of MITL specifications, a practical approach
10:30 Coffee break
11:00 Brian Boyles (Seluxit) and Marco Muñiz (AAU): Seluxit case study
11:30 Amit Kumar Dhar (ULB): Jadevej case study
12:00 Lunch
13:30 Ismaël Jecker (ULB): Asynchronous synthesis problem for finite words
14:00 Sarah Winter (RWTH Aachen): Games and tree transducers
14:30 Daniel Stan (LSV): ε-robust equilibria in terminal reward concurrent games
15:00 Coffee break


The meeting was held at Université Libre de Bruxelles, Computer Science Department, Campus de la Plaine, Solvay Room NO5.

Metro Line 5 permits to reach the campus from the city center (Delta station), as well as Bus Line 71 (Fraiteur station), and Tramway Lines 7 and 25 (Arsenal station).

See also this page to find useful maps of the campus.

Meeting Dinner

Dinner of Monday evening has been organized in the restaurant La Rose Blanche, on the Grand Place of Bruxelles. The cost of this dinner, as well as lunches for Monday and Tuesday, are included in the registration.

Hotels suggested in Bruxelles

You may find many hotels all around the city, and nearby the university. Here is a selection of two hotels.

  • Hotel Les Ecrins. In the city center, very near Metro Line 5 Station Sainte-Catherine, direct to the university (15 minutes of metro).
  • Hotel Lambeau. Very near Tramway Lines 7 & 25 Station Georges Henri, direct to the university (10 minutes of tramway).

List of registered participants

  • AAU
    • Peter Jensen
    • Marco Muñiz
    • Jiri Srba
    • Jakob Haahr Taankvist
  • LSV, ENS Cachan
    • Arthur Delaborde
    • Laurent Doyen
    • Engel Lefaucheux
    • Mathieu Lehaut
    • Nicolas Markey
    • Mickael Randour
    • Stefan Schwoon
    • Daniel Stan
  • RWTH Aachen
    • Benedikt Brütsch
    • Christof Löding
    • Wolfgang Thomas
    • Sarah Winter
  • Seluxit
    • Brian Boyles
  • Université de Namur
    • James Ortiz
  • University of Perugia
    • Raffaella Gentilini
    • Thomas Brihaye
    • Véronique Bruyère
    • Pierre Carlier
    • Morgane Estiévenart
    • Axel Haddad
    • Quentin Hautem
    • Gabriel Renault
  • ULB
    • Rodica Bozianu
    • Amit Kumar Dhar
    • Emmanuel Filiot
    • Gilles Geeraerts
    • Ismaël Jecker
    • Stéphane Le Roux
    • Thierry Massart
    • Pritha Mahata
    • Thi Van Anh Nguyen
    • Guillermo Perez
    • Jean-François Raskin
    • Ocan Sankur


For any questions, please do contact Thomas Brihaye, Gilles Geeraerts and Benjamin Monmege.