Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10-13 September 2007, Annual Meeting of the Games Network (GAMES 2007), Lausanne, Switzerland

Date: 10-13 September 2007
Location: Lausanne, Switzerland
Deadline: 30 June 2007

The 2007 Annual Meeting of the GAMES Network "Games and Automata for Synthesis and Validation" will be held in Lausanne from the 10th to 13th September 2007. It will be co-located with CSL 2007 (www2.unil.ch/csl07), with a joint GAMES-CSL programme on 11th September.

As in previous years, GAMES 2007 will be an informal workshop, without proceedings, with a programme consisting of 5-6 invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min).

For more information, see http://www.games.rwth-aachen.de/.

Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. Therefore, researchers who would like to present a talk at GAMES are invited to submit an extended abstract of up to two pages to <> by 30th June 2007.

Please note that this newsitem has been archived, and may contain outdated information or links.