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.
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
- Roderick Bloem (TU Graz, Austria)
- Thomas Colcombet (Liafa, Paris 7, France)
"An introduction to distance automata"
- Fedor Fomin (Bergen, Norway)
- Paul Goldberg (Liverpool, UK)
"Nash equilibrium and computational complexity"
- Tristan Tomala (HEC, Paris, France)
"Secure Communication in Networks: Mechanism Design, Games and Cryptography"
- Wieslaw Zielonka (Liafa, Paris 7, France)
"Infinite perfect information games"
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 email@example.com by July 1st 2010.
Decision about acceptance will be made by 1st August 2010.
For further information click here.
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 firstname.lastname@example.org 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.
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 email@example.com. You may still be able to attend the meeting but will have to make your own arrangements regarding accommodation and subsistence.
- Dietmar Berwanger (ENS Cachan)
- Mikokaj Bojanczyk (Warsaw)
- Patricia Bouyer (ENS Cachan)
- Erich Grädel (Aachen)
- Stephan Kreutzer (University of Oxford)
- Jean-Francois Raskin (Brussels)
- Helmut Veith (TU Vienna)
- James Worrell (University of Oxford)
For further information contact firstname.lastname@example.org.