Logic List Mailing Archive

GAMES 2008, Warsaw, 8-11 Sep 2008: Deadline extended to 14 July

GAMES 2008

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

                September 8 - 11, 2008

                      Warsaw

              www.mimuw.edu.pl/~games08


New Deadline for Submission:  14th July !!!


GAMES 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. For 
details, see www.games.rwth-aachen.de.

As in previous years, GAMES 2008 will be an informal workshop,
without proceedings, with a programme consisting of five 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.

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.


SUBMISSIONS:
Researchers who would like to present a talk at GAMES are
invited  to submit an extended abstract of up to two pages to
                   <games08@mimuw.edu.pl>
by 14th July 2008.
Decision about acceptance will be made by 1st August  2008.


SUPPORT:
We will be able to cover travel and accomodation costs for a limited number of 
participants (especially students).For information on this support,
please contact games08-travel@mimuw.edu.pl

There will be no registration fee.


TUTORIALS at GAMES 2008:

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


LOCATION:
The workshop will be held at the Old University Library, inside the
picturesque old campus of Warsaw University. The web site for the
workshop is at http://www.mimuw.edu.pl/~games08 .


PROGRAMME COMMITTEE:

- Mikolaj Bojanczyk (Warsaw)
- Erich Graedel (Aachen)
- Marcin Jurdzinski (Warwick)
- Damian Niwinski (Warsaw)
- Jean-Francois Raskin (Brussels)
- Igor Walukewicz (Bordeaux)
_______________________________________________
GAMES mailing list
GAMES@lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/games