Summary

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.

Keywords

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

Programme proposal

PDF (255 KB)

More information at:

GAMES website

Duration

5 years; March 2008 - March 2013

2009 activities

A Spring School will be held in Bertinoro from 31 May until 6 June.

The annual GAMES workshop 'GAMES 2009' will take place in Udine from 14 to 17 September.

2008 activities

The GAMES annual workshop took place in Warsaw from 8 to 11 September 2008.