Third Cassting Meeting

Brussels (Belgium), 21st & 22nd May

Programme of the meeting

See here for a printable version with some abstracts

Wednesday – Solvay Room NO5
10:30 Welcome
11:00 Aaron Bohy (UMONS): Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
11:45 Thomas Brihaye (UMONS): Deciding the value 1 problem in 1-clock Decision Stochastic Timed Automata
12:30 Lunch
13:45 Benjamin Monmege (ULB): Priced timed games with negative costs
14:30 Kim Larsen (AAU): On Time with Minimal Expected Cost!
15:15 Coffee break
15:30 Noémie Meunier (UMONS): Secure equilibria in weighted games
16:15 Gilles Geeraerts (ULB): Reachability priced games
17:00 Preparation of the review meeting
20:00 Dinner at Volle Gas
Thursday – Morning: Solvay Room NO5, Afternoon: Forum F
9:00 Mathias Grund Sørensen (AAU): Controller Synthesis for Home Automation
9:45 Namit Chaturvedi (RWTH): Classifying infinite behavior of distributed systems – New results on omega-languages of Mazurkiewicz traces
10:30 Coffee break
10:45 Christof Löding (RWTH): Guaranteeing Stability and Delay in Dynamic Networks based on Infinite Games
11:30 Simon Laursen (AAU): Synchronization under Partial Observability
12:15 Lunch
13:30 Laurent Doyen (LSV): Games with a Weak Adversary
14:15 Piotr Hofman (University of Bayreuth): Infinite-state energy games
15:00 Dietmar Berwanger (LSV): Games with Recurring Certainty
16:00 Board Meeting


The meeting is held at Université Libre de Bruxelles, Computer Science Department, Campus de la Plaine.

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

The meeting dinner will take place from 8pm on Wednesday, at the Volle gas (Place Fernand Cocq 21, Ixelles), a typical restaurant of Brussels, which is easily reachable from the campus and the city center: from the campus, you may consider taking the bus 71 from station Fraiteur directly to station Fernand Cocq (see on the map above, it may take approximately 20 minutes). While the cost of the lunches are included in the registration, we ask each participant to pay for the dinner at the restaurant. Price is 40 euros per person. Each participant will receive a receipt allowing her/him to claim the expense.

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

  • Aalborg University
    • Kim Larsen
    • Simon Laursen
    • Mathias Grund Sørensen
    • Jiri Srba
  • Inria Rennes
    • Nathalie Bertrand
  • LIAFA, University Paris Diderot
    • Amit Kumar Dhar
  • LSV, ENS Cachan
    • Dietmar Berwanger
    • Laurent Doyen
    • Serge Haddad
    • Nicolas Markey
    • Daniel Stan
    • Sophie Valette
  • RWTH, Aachen
    • Benedikt Brütsch
    • Namit Chaturvedi
    • Christof Löding
    • Wolfgang Thomas
    • Sarah Winter
  • University of Bayreuth
    • Piotr Hofman
    • Aaron Bohy
    • Thomas Brihaye
    • Véronique Bruyère
    • Julie De Pril
    • Morgane Estiévenart
    • Noémie Meunier
    • Mickael Randour
    • Cédric Rivière
  • University of Perugia
    • Raffaella Gentilini
  • ULB
    • Romain Brenguier
    • Lorenzo Clemente
    • Samuel Dehouck
    • Emmanuel Filiot
    • Gilles Geeraerts
    • Thierry Massart
    • Benjamin Monmege
    • Guillermo Perez
    • Jean-François Raskin
    • Ocan Sankur
    • Amélie Stainer