|
|
| 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&copyownerid=2 WikiCFP]
| |
