Summary

GAMES is an ESF Research Networking Programme. It was launched in March 2008 for a duration of five years and is directed by Erich Grädel.

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.

News

• A GAMES winter school will take place in Champéry, Switzerland from February 4th to 8th, 2013. The deadline for registration is 15th November 2012.
• The book Lectures in Game Theory for Computer Scientists based on the tutorials of the GAMES spring school in Bertinoro 2009 has now been published.