Games 2008
September 8-11, Warsaw, Poland
Annual Workshop of the
ESF Networking Programme on
Games for Design and Verification
Games 2008
September 8-11, Warsaw, Poland
Annual Workshop of the
ESF Networking Programme on
Games for Design and Verification
As in previous years, GAMES 2008 will be an informal workshop, without proceedings, with a programme consisting of invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts.
Submissions can contain work published elsewhere.
Researchers are
invited to submit an extended abstract of up to two pages to games08@mimuw.edu.pl
Notification: 1st August 2008.
Tutorial speakers
Patricia Bouyer (Cachan)
Quantitative Timed Games
Kousha Etessami (Edinburgh)
The Complexity of Nash Equilibria and Fixed Points of Algebraic Functions
Helmut Seidl (Munich)
Precise Program Analysis, Strategy Improvement and Games
Bernhard von Stengel (London)
Mixed Equilibria in Two-Player Games
Jouko Vaananen (Amsterdam)
Dependence Logic