Logic List Mailing Archive

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

SECOND ANNOUNCEMENT
                           and
                  CALL FOR CONTRIBUTIONS

                      GAMES 2007
  Games and Automata for Synthesis and Validation

            Tutorials and Annual Meeting

               September 10 - 13, 2007
                     Lausanne

             www.games.rwth-aachen.de


The 2007 Annual Meeting of the GAMES Network "Games and Automata
for Synthesis and Validation"  (see http://www.games.rwth-aachen.de)
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). 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
                  <games07@mimuw.edu.pl>
by 30th June 2007.
Decision about acceptance will be made by 20th July 2007.

Tutorials at GAMES 2007:

- Luca de Alfaro (Santa Cruz): The Symbolic Approach to Repeated Games
- Anuj Dawar (Cambridge): Model-checking first-order logic:
        automata and locality
- Javier Esparza (Stuttgart):  O(f(t)) is not enough: Beyond
       Big-Oh runtime analysis in automata theory.
- Hendrik Jan Hoogeboom (Leiden) : Tree Transducers
- Sylvain Sorin (Paris): Zero-sum repeated games: basic results and\uffff
        new advances

Programme Committee:

- Mikolaj Bojanczyk (Warsaw)
- Jacques Duparc (Lausanne)
- Erich Graedel (Aachen)
- Anca Muscholl (Bordeaux)