GAMES 2009

September 14-17, 2009 Udine, Italy

Annual Workshop of the ESF Networking Programme on Games for Design and Verification

As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of tutorials, contributed talks and short presentations. Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. Submissions can contain work published elsewhere.

Submission deadline: 15th July 2009 (extended to 20th July).
The submission phase is now closed.

Notification: 1st August 2009.

We will be able to cover travel and accomodation costs for a limited number of participants (especially students). For more information on this support, please contact

There won't be any registration fee.

Organizing Commitee
Angelo Montanari (organization chair), Nicola Vitacolonna, Pietro Sala, Dario Della Monica (Udine), Gabriele Puppis (Oxford), Marco Faella, Aniello Murano (Napoli), Salvatore La Torre, Margherita Napoli. Domenico Parente (Salerno)

Programme Committee:
Parosh Abdulla (Uppsala), Erich Graedel (Aachen), Angelo Montanari (Udine), Luke Ong (Oxford), Wieslaw Zielonka (Paris).

Introductory tutorials:
Entropy Methods for Coordination and Communication in Games - (Slides) Olivier Gossner, CNRS, Paris-Jourdan Sciences Economiques, France and London School of Economics, UK;
Games and Automata for Verification - (Slides) Christof Löding, University of Aachen, Germany;
Ehrenfeucht-Fraïssé Games: Applications and Complexity - (Slides) Angelo Montanari and Nicola Vitacolonna, University of Udine, Italy

Advanced tutorials:
Beyond ω-Regular Languages - (Slides) Mikolaj Bojanczyk, University of Warsaw, Poland;
Distributed Computing Meets Game Theory - (Slides) Joseph Y. Halpern, Cornell University, USA;
Programming Model-Checkers using a Fixed-Point Calculus - (Slides) Salvatore La Torre, University of Salerno, Italy;
An Introduction to Algorithmic Game Semantics - (Slides) Guy McCusker, University of Bath, UK;
Equilibrium Refinements in Computational Game Theory - (Slides) Peter Bro Miltersen, Aarhus University, Denmark

Website by Giovanni Montanari. Please report every bug you may encounter at: gsmontanari[at]gmail[dot]com