Cassting Workshop at ETAPS 2016

Eindhoven (NL), 2-3 April 2016

This workshop is the final event of the Cassting project. It aims to bring together researchers working on topics related (in a large sense) to formal methods for the automatic verification and synthesis of complex systems. The workshop will be composed of four invited talks, together with contributed talks (presenting either original or already published work).

Topics of interest include:

  • Games for synthesis of complex interactive computational systems
  • Games played on complex and infinite graphs
  • Games with quantitative objectives
  • Game with incomplete information and over dynamic structures
  • Heuristics for efficient game solving.


The workshop takes place in room Z16 of the auditorium (see the ETAPS web page for more information). The auditorium is Building 1 on this PDF map.


Saturday 2 April 2016
09:30-10:30 Nathanael Fijalkow (invited talk).
Boundedness games
10:30-11:00 Coffee break
11:00-11:30 Benedikt Bruetsch and Wolfgang Thomas.
Playing Games in the Baire Space
11:30-12:00 Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege and Nathalie Sznajder.
Reactive Synthesis of Real-Time Specifications
12:00-12:30 Peter Gjol Jensen, Kim Guldstrand Larsen and Jiri Srba.
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
12:30-14:00 Lunch break
14:00-15:00 Jan H. van Schuppen (invited talk).
Control of dynamic discrete-event-system games
15:00-15:30 Sotiris Moschoyiannis, Nicholas Elia, Alexandra Penn, David J. B. Lloyd and Christopher Knight.
Strategic intervention in complex networks
15:30-16:00 Coffee break
16:00-16:30 Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad and Benjamin Monmege.
Efficient Energy Distribution in a Smart Grid using Multi-Player Games
16:30-17:00 Adrien Le Coent, Laurent Fribourg, Nicolas Markey, Florian De Vuyst and Ludovic Chamoin.
Stability and attainability for switched control systems
17:00-17:30 Mads K. Agesen, Brian Boyles, Kim Guldstrand Larsen, Daniel Lux, Marius Mikucionis, Marco Muniz, Petur Olsen, Arne Skou, Jiri Srba and Jakob Haahr Taankvist.
Floor Heating Case Study
Sunday 3 April 2016
09:00-10:00 Anca Muscholl (invited talk).
Automated synthesis: going distributed
10:00-10:30 Dietmar Berwanger, Anup Basil Mathew and Marie Van Den Bogaard.
Hierarchical Information Patterns and Distributed Strategy Synthesis
10:30-11:00 Coffee break
11:00-11:30 Norbert Hundeshagen, Milka Hutagalung, Dietrich Kuske, Martin Lange and Etienne Lozes.
Two-Buffer Simulation Games
11:30-12:00 Quentin Hautem, Veronique Bruyère, Jean-François Raskin and Mickael Randour.
Games with window parity objectives
12:00-12:30 Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan.
Reachability in Networks of Register Protocols under Stochastic Schedulers
12:30-14:00 Lunch break
14:00-15:00 Giorgio Delzanno (joint invited talk with SynCoP).
Parameterized Verification of Distributed Broadcast Protocols
15:00-15:30 Coffee break
15:30-16:30 Kousha Etessami (invited talk).
Algorithms for branching MDPs and branching stochastic games
16:30-17:00 Paulin Fournier.
Approximation of extremal probabilities in infinite MDP


Thomas Brihaye (UMONS, Mons, Belgium)
Nicolas Markey (ENS Cachan, France)

Programme Committee

Thomas Brihaye (UMONS, Mons, Belgium)
Rüdiger Ehlers (U. Bremen, Germany)
Gilles Geeraerts (ULB, Brussels, Belgium)
Christof Löding (RWTH Aachen, Germany)
Nicolas Markey (ENS Cachan, France)
Benjamin Monmege (U. Aix-Marseille, France)
Sophie Pinchinat (U. Rennes 1, France)
Sven Schewe (U. Liverpool, UK)
Olivier Serre (U. Paris 7, France)
Jiri Srba (U. Aalborg, Denmark)


The workshop will be held as part of the ETAPS’16, on April 2-3 in Eindhoven. The main conferences of ETAPS will take place between April 4 and April 8, 2016.

You can register via ETAPS registration website.