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 [email protected] 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 [email protected] 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)
_______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
