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.
|Saturday 2 April 2016|
|09:30-10:30||Nathanael Fijalkow (invited talk).
|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
|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
|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
|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
|14:00-15:00||Giorgio Delzanno (joint invited talk with SynCoP).
Parameterized Verification of Distributed Broadcast Protocols
|15:30-16:30||Kousha Etessami (invited talk).
Algorithms for branching MDPs and branching stochastic games
Approximation of extremal probabilities in infinite MDP
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.