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 .
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 email@example.com
There won't be any registration fee.
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)
Parosh Abdulla (Uppsala), Erich Graedel (Aachen), Angelo Montanari (Udine), Luke Ong (Oxford), Wieslaw Zielonka (Paris).
- (Slides) Olivier Gossner, CNRS, Paris-Jourdan Sciences Economiques, France and London School of Economics, UK;
- (Slides) Christof Löding, University of Aachen, Germany;
- (Slides) Angelo Montanari and Nicola Vitacolonna, University of Udine, Italy
- (Slides) Mikolaj Bojanczyk, University of Warsaw, Poland;
- (Slides) Joseph Y. Halpern, Cornell University, USA;
- (Slides) Salvatore La Torre, University of Salerno, Italy;
- (Slides) Guy McCusker, University of Bath, UK;
- (Slides) Peter Bro Miltersen, Aarhus University, Denmark
Website by Giovanni Montanari. Please report every bug you may encounter at: gsmontanari[at]gmail[dot]com