|
|
| 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]
| |
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