2nd Workshop on Games for Design, Verification and Synthesis

Colocated with CONCUR'10

Paris (France), 4 September 2010





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:

The first edition of the workshop took place in Grenoble on 28 June 2009, and was colocated with CAV'09.

Invited speakers

Programme

09:25 - 09:30 Welcome — Introduction
09:30 - 10:30 Krishnendu Chatterjee (invited talk)
10:30 - 11:00 Coffee break
11:00 - 11:30 Olivier Finkel.
11:30 - 12:00 Rüdiger Ehlers.
12:00 - 12:30 Loïs Vanhée and Sophie Pinchinat.
12:30 - 14:00 Lunch
14:00 - 15:00 Antonín Kučera (invited talk)
15:00 - 15:30 Evgeny Dantsin and Sergei Soloviev.
15:30 - 16:00 Coffee break
16:00 - 16:30 Catalin Dima, Constantin Enea, Dimitar Guelev and Ferucio Tiplea.
16:30 - 17:00 Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin and Pierre-Alain Reynier.
17:00 - 17:30 Nicolas Markey and Pierre-Alain Reynier
17:30 - 17:31 Closing

Registration

The GASICS'10 workshop is colocated with CONCUR'10. In order to register to the workshop, you must use the CONCUR'10 registration server. The fees for registering to the workshop amount to 50 euros (40 euros for students) until July 7th, and 80 euros (60 euros for students) from July 8th on.

Organizers

Programme Committee




Page maintained by Nicolas Markey.
Last modified: 21 September 2010.