Program
List of speakers:
Bruno Courcelle
(Bordeaux, France): Quantifier-free Definable Graph Operations Preserving Recognizability
Erich Grädel
(Aachen, Germany):
New Perspectives in the Theory of Infinite Games
Martin Grohe (Berlin, Germany):
Logics, Graphs, and Algorithms
Joost-Pieter Katoen
(Aachen, Germany): Randomly Timed Reachability Games
Jean-Eric Pin (Paris,
France): Infinite Words, Algebra, and Automata
Denis Thérien
(Montreal, Canada): Semigroups and Complexity
Moshe Vardi
(Houston, USA): From Löwenheim to PSL
Igor Walukiewicz
(Bordeaux, France): Forest Algebras
Thomas
Wilke (Kiel, Germany): Automata and Logic
The final program is also available.
Location
The workshop will take place in lecture hall AH V at the CS Department (Informatikzentrum) of RWTH Aachen University. Reachability information and maps can be found here. Regarding flight connections, we kindly refer to the STACS 2007 web site.
Registration
Registration is closed.
Accomodation
Participants should directly make their own arrangements with a hotel of their choice. Both a hotel directory and an online booking form are available.
Touristic information about the city of Aachen such as the guidebook Aachen at a Glance is provided by Aachen Tourist Service.
Dates
The workshop will start on Friday December 14 around 13:00 and will end on December 15 around 14:00. The workshop dinner takes place on Friday.
Contact
Lehrstuhl
für Informatik 2 (Software Modeling and Verification)
RWTH Aachen
University
Ahornstrasse 55
52074 Aachen, Germany
Phone: +49 241 80 21201
Fax: +49 241 80 22217
Email: info2sek@i2.informatik.rwth-aachen.de
Sponsors and Poster
 |
 |
 |
 |
 |