Logic List Mailing Archive

GAMES Spring School, Bertinoro (Italy), 31 May to 6 Jun 2009

=09=09       GAMES Spring School 2009

 =09  organised by the ESF Research Networking Programme
 =09=09  Games for Design and Verification

 =09=09=09   May 31 to June 6

 =09=09=09   Bertinoro, Italy


 =09  www.games.rwth-aachen.de/Activities/bertinoro.html


General Information
-------------------

A GAMES spring school will take place in the Centro Residenziale
Universitario in Bertinoro (near Bologna), Italy from May 31 (arrival
day) to June 6 (departure day), 2009. The school is addressed to Ph.D.
students and young researchers with a background in computer science or
mathematics who are interested in the field of game theory and its
applications to logic, verification and automata theory. A more detailed
list of topics can be found below.


Programme
---------
It is planned that each course will consist of a unit of 90 minutes and
a unit of 60 minutes.

     * Krzysztof R. Apt, CWI and University of Amsterdam, The Netherlands
       A Primer on Strategic Games
     * Erich Grdel, RWTH Aachen, Germany
       Back and forth between logic and games
     * Joseph Y. Halpern, Cornell University, U.S.
       Beyond Nash equilibrium: solution concepts for the 21st century
     * Marcin Jurdzinski, University of Warwick, U.K.
       Algorithms for solving infinite games on graphs
     * Stephan Kreutzer, Oxford University, U.K.
       Graph Searching Games
     * Antonn Kucera, Masaryk University, Brno, Czech Republic
       Turn-based stochastic games with finitely and infinitely many
       states
     * Christof Lding, RWTH Aachen, Germany
       Infinite games and automata theory
     * Jean-Franois Raskin, Universit Libre de Bruxelles, Belgium
       Omega-regular games with imperfect information: useful theory
       towards efficient algorithms
     * Dov Samet, Tel-Aviv University, Israel
       A primer on interactive epistemology in game theory


How to apply for participation
------------------------------

The number of participants will be limited to 70. If you want to
participate, please send an email to Diana Fischer
(games@logic.rwth-aachen.de)
until February 28, 2009, with a short description of your scientific
background and a cv. Participants will have to pay a contribution of 400
Euro to cover accommodation (in double rooms), breakfasts, lunches and
coffee breaks for the whole duration of the school plus a dinner on
the arrival day and a joint dinner during the week.
We will be able to offer a limited number of grants to cover travel and
accomodation costs. Please state in your application whether you wish to
apply for such a grant.


Organisation
------------

Krzysztof R. Apt, Erich Grdel, Angelo Montanari and Jean-Franois Rask
in