Annual Workshop of the ESF Networking Programme on Games for Design and Verification
St Anne's College Oxford, United Kingdom, September 20-23 2010

photograph taken by Charlie Rapple, released under Creative Commons Attribution-Noncommercial-Share Alike 2.0 Generic License


The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic, and automata theory.

GAMES is the annual workshop of the Network. This years GAMES workshop will be held at St. Anne's College Oxford.

Travel Instructions

Click here for more information on how to get to the workshop location.

Scope and Programme

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic for the design and verification of computing systems.

The programme is available here

Invited Speakers

The abstracts and slides of the invited talks can all be found here.

Call for Papers

Researchers who would like to present a talk at GAMES 2010 are invited to submit an extended abstract of up to two pages by email to by July 1st 2010.

Decision about acceptance will be made by 1st August 2010.

For further information click here.

Important Dates

Paper submission: 1st July 2010
Author notification: 1st August 2010
Conference: September 20-23 2010

Student Grants

There are a limited number of student support packages aimed at students who cannot cover their own expenses. Those receiving such a package will have their accommodation for the nights of September 19th--September 22nd pre-paid and will receive a contribution toward travel costs. Participants selecting the "workshop-only" package are welcome to apply for support, including travel and subsistence costs.

To apply please send an email to stating your affiliation, the name of your supervisor and your thesis topic. Also we ask that you arrange for your supervisor to send a brief email to the same address to indicate support for your application.

Since numbers are limited we encourage participants to apply as early as possible.

Late Registration

We regret to announce that registration for Games is now closed.

If you would like to attend Games but have not yet registered please send an email to You may still be able to attend the meeting but will have to make your own arrangements regarding accommodation and subsistence.

Organizing Committee

Program Committee


For further information contact