Games for Design and Verification (GAMES)


GAMES was an ESF Research Networking Programme and ran from March 2008 to March 2013. It was directed by Erich Grädel.

The GAMES network proposed 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. Further information on the scientific background and aims can be found here. A list of activities that were conducted within the network can be found under Activities.

This ESF networking programme was 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 was is scientifically broader and more ambitious.

For information about the official guidelines of the programme, please refer to the ESF page for GAMES.