From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=NO_REAL_NAME autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 68D37BBAF for ; Tue, 7 Jul 2009 09:18:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApIDAMOTUkqebpAY/2dsb2JhbACYGbV0hBIFgTo X-IronPort-AV: E=Sophos;i="4.42,361,1243807200"; d="scan'208";a="29388898" Received: from quasar.dimi.uniud.it ([158.110.144.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 07 Jul 2009 09:18:08 +0200 Received: from localhost (localhost [127.0.0.1]) by quasar.dimi.uniud.it (Postfix) with ESMTP id AA7685B5B16 for ; Tue, 7 Jul 2009 09:18:07 +0200 (CEST) Received: from quasar.dimi.uniud.it ([127.0.0.1]) by localhost (quasar.dimi.uniud.it [127.0.0.1]) (amavisd-maia, port 10024) with ESMTP id 24463-06-4 for ; Tue, 7 Jul 2009 09:18:07 +0200 (CEST) Received: from sole.dimi.uniud.it (sole.dimi.uniud.it [158.110.144.29]) by quasar.dimi.uniud.it (Postfix) with ESMTP id E63E61BDE81 for ; Tue, 7 Jul 2009 09:18:05 +0200 (CEST) Received: from localhost (unknown [158.110.144.157]) by sole.dimi.uniud.it (Postfix) with SMTP id 2399B3FC384 for ; Tue, 7 Jul 2009 09:18:06 +0200 (CEST) Date: Tue, 7 Jul 2009 09:18:06 +0200 To: caml-list@yquem.inria.fr From: fsvweb@dimi.uniud.it Subject: GAMES 2009: Final Call for Contributions Mime-Version: 1.0 X-Mailer: XMail 3.7 X-Composer: NewsLetter 2.8.2 Content-Type: multipart/related; boundary="d-300273486" Message-Id: <20090707071806.2399B3FC384@sole.dimi.uniud.it> X-Virus-Scanned: Maia Mailguard 1.0.2 X-Spam: no; 0.00; udine:01 aachen:01 udine:01 uppsala:01 aachen:01 zielonka:01 2009:98 2009:98 fsv:98 angelo:98 castle:98 angelo:98 abstract:01 short:01 short:01 X-Attachments: cset="utf-8" This is a multi-part message in MIME format. If you see this message, then you aren't using a MIME compliant mail reader. --d-300273486 Content-type: multipart/alternative; boundary="d-300273546" --d-300273546 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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/ CALL FOR CONTRIBUTIONS GAMES is an European Network pursuing research and=20 training on the design and verification of computing=20 systems, in a framework that is based on the interplay=20 of finite and infinite games, mathematical logic, and=20 automata theory.=20 For details, see www.games.rwth-aachen.de/ PROGRAMME: As in previous years, GAMES 2009 will be an informal=20 workshop, without proceedings. Its programme consists=20 of three invited introductory tutorial (90 min), 5=20 invited advanced tutorials (90 min), contributed talks=20 (30 min) and short presentations (15 min).=20 Contributed talks and short presentations will be=20 selected by the programme committee on the basis of=20 submitted abstracts. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games. SCOPE: The scope of the workshop includes the mathematical=20 and algorithmic analysis of finite and infinite games,=20 the interplay of games with automata theory and logic,=20 and applications of games, automata, and logic for the=20 design and verification of computing systems. SUBMISSIONS: Researchers who would like to present a talk at GAMES 2009 are invited to submit an extended abstract of up to two pages at https://fsv.dimi.uniud.it/Games2009_submission/ by July 15th 2009. Decision about acceptance will be made by August 1st 2009. SUPPORT: We will be able to cover travel and accomodation costs=20 for a limited number of participants (especially students). For information, please contact games09-travel@dimi.uniud.it There will be no registration fee. INTRODUCTORY TUTORIALS: - Olivier Gossner, CNRS, Paris-Jourdan Sciences Economiques, France - Christof Loeding, 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=20 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 Graedel (Aachen) - Angelo Montanari (Udine) - Luke Ong (Oxford) - Wieslaw Zielonka (Paris) --d-300273546-- --d-300273486--