Games for Design and Verification (GAMES)


As computing systems become larger, more complex, and increasingly distributed and interactive, there is a pressing need for formal methods that guarantee their reliability, correctness, and efficiency. This 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.


Games, Logic and Automata, Synthesis, Verification, Reactive Systems

Programme proposal

PDF (255 KB)

More information at:

GAMES website


5 years; March 2008 - March 2013