Games for Design and Verification (GAMES)
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. Further information on the scientific background and aims can be found here. For information about the activities of the network, see here.
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.
For information about the official guidelines for the programme and the (online) application forms for the activities of the programme, please refer to the ESF page for GAMES.