Workshop on Games for Design, Verification and Synthesis

Colocated with CAV'09

Grenoble (France), 28 June 2009

Scope of the workshop

GASICS is an ESF project of the EUROCORES programme LogICCC (Modelling intelligent interaction – Logic in the Humanities, Social and Computational sciences ). It studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort "two-player zero-sum", we aim to extend them to "multiple-player non-zero-sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.

The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on the following (non-exhaustive) list of relevant topics:

Invited speakers


08:55 - 09:00 Welcome — Introduction
09:00 - 10:00 Luca De Alfaro (invited talk)
Stochastic Reachability and Safety Games
10:00 - 10:30 Coffee break
10:30 - 11:00 Wladimir Fridman and Jörg Olschewski
11:00 - 11:30 Michael Ummels and Dominik Wojtczak
11:30 - 12:00 Arnaud Da Costa
ATL with strategy contexts (cancelled)
12:00 - 14:00 Lunch
14:00 - 15:00 Peter Bro Miltersen (invited talk)
15:00 - 15:30 John Fearnley, Marcin Jurdziński, and Rahul Savani
15:30 - 16:00 Coffee break
16:00 - 16:30 Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, and Julien Reichert
16:30 - 17:00 Alexandre David, Kim G. Larsen, and Didier Lime
17:00 - 17:30 Roderick Bloem, Karin Greimel, Thomas A. Henzinger, and Barbara Jobstmann
17:30 - 18:00 Robert Könighofer, Georg Hofferek, and Roderick Bloem
18:00 - 18:01 Closing


Programme Committee

Page maintained by Nicolas Markey.
Last modified: 23 July 2009.