Logic List Mailing Archive

Games 2008, Warsaw (Poland), 8-11 Sep 2008

Games 2008
September 8-11, Warsaw, Poland

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

http://www.mimuw.edu.pl/~games08/

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 by 30th June 2008.

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