Games for Design and Verification
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.
Please visit the website of GAMES.
Erich Grädel, Diana Fischer