Games for Design and Verification


GAMES is an ESF Research Networking Programme. It was launched in March 2008 for a duration of five years and is directed by Erich Grädel.

The GAMES network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory.

This ESF networking programme is the continuation of the European Research Training Network Games and Automata for Synthesis and Validation (GAMES) that had been funded under the Fifth Framework Programme of the European Community from 2002 to 2006, but it is scientifically broader and more ambitious.

Further Information

Please visit the website of GAMES.


Erich Grädel, Diana Fischer