[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Last Call for Participation: GAMES 2009




                   GAMES 2009

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

             September 14 - 17, 2009
                   Udine, Italy
           http://games2009.dimi.uniud.it/

              LAST CALL FOR PARTICIPATION

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/

SCOPE:
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.

PROGRAMME:
As in previous years, GAMES 2009 will be an informal 
workshop, without proceedings. Its programme consists 
of three invited introductory tutorials (90 min), 5 
invited advanced tutorials (90 min), 12 contributed talks 
(25 min), and 26 short presentations (15 min). 
Contributed talks and short presentations have been 
selected by the programme committee on the basis of 
submitted abstracts. For the detailed program of
GAMES 2009, please have a look at:

http://games2009.dimi.uniud.it/program.pdf

GAMES 2009 will also feature an open problem session,
which will consist of very short (10 min) descriptions
of interesting open problems about games.
Researchers who would like to present interesting
open problems about games are invited to submit a short
description of them (no more than half a page) to
games09-openproblem@dimi.uniud.it by the 4th of September, 2009.

REGISTRATION:
There is not a registration fee. However, for organizational
matters, you must fill in the registration form available at the
workshop web page. We will be able to cover travel and accommodation 
costs for a limited number of participants (especially students).
For information, please contact games09-travel@dimi.uniud.it

INTRODUCTORY TUTORIALS:
- Olivier Gossner, CNRS, Paris-Jourdan Sciences Economiques, France
- Christof Löding, University of Aachen, Germany
- Angelo Montanari and Nicola Vitacolonna, University of Udine, Italy

ADVANCED TUTORIALS
- Mikolaj Bojanczyk, University of Warsaw, Poland
- Joseph Y. Halpern, Cornell University, USA
- Salvatore La Torre, University of Salerno, Italy
- Guy McCusker, University of Bath, UK
- Peter Bro Miltersen, Aarhus University, Denmark

LOCATION:
The workshop will be held at Udine Castle 
and at the University of Udine. The web site for
the workshop is at http://games2009.dimi.uniud.it/.

PROGRAMME COMMITTEE:
- Parosh Abdulla (Uppsala)
- Erich Grädel (Aachen)
- Angelo Montanari (Udine)
- Luke Ong (Oxford)
- Wieslaw Zielonka (Paris)