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:

  • Adapted notions of 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.

Current Workshop

The 2nd Workshop on Games for Design, Verification and Synthesis is collocated with CONCUR '10 and will be held at Paris (France), September 4, 2010. Invited Speakers are Krishnendu Chatterjee and Antonín Kučera.

Past Workshops