Difference between revisions of "GAMES 2009"

Revision as of 12:27, 31 March 2013

sarahsure u can u r more than welcomed, it is even much coeldr in Irbed, a snow came and skipped my little village:Dbut we still have winds, cold and rain

@@ Line 1: / Line 1: @@
-{{Event
+sarahsure u can u r more than welcomed, it is even much coeldr in Irbed, a snow came and skipped my little village:Dbut we still have winds, cold and rain
- | Acronym = GAMES 2009
- | Title = Annual Workshop of the ESF Networking Programme on Games for Design and Verification
- | Type = Workshop
- | Series =
- | Field = Computer networking
- | Homepage = games2009.dimi.uniud.it
- | Start date = Sep 14, 2009
- | End date =  Sep 17, 2009
- | City= Udine
- | State =
- | Country =  Italy
- | Abstract deadline =
- | Submission deadline = Jul 15, 2009
- | Notification =
- | Camera ready =
-}}
-<pre>
-                    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
-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/
-PROGRAMME:
-As in previous years, GAMES 2009 will be an informal
-workshop, without proceedings. Its programme consists
-of three invited introductory tutorial (90 min), 5
-invited advanced tutorials (90 min), contributed talks
-(25 min) and short presentations (15 min).
-Contributed talks and short presentations will be
-selected by the programme committee on the basis of
-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
-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 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
-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 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)
-	</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=6113&amp;copyownerid=2 WikiCFP]

Difference between revisions of "GAMES 2009"

Revision as of 12:27, 31 March 2013

Navigation menu

Search