14-15 December 2007
Aachen, Germany
Call for Participation Workshop on AUTOMATA AND LOGIC History and Perspectives ON THE OCCASION OF THE 60TH BIRTHDAY OF WOLFGANG THOMAS December 14 - 15, 2007, Aachen, Germany http://www-i2.informatik.rwth-aachen.de/Events/WAL07/ The workshop, which is held on the occasion of Wolfgang Thomas's 60th birthday, is devoted to the theory of automata and its connection to mathematical logic, verification, and games. The list of speakers is: o Bruno Courcelle (Bordeaux, France) o Erich Grdel (Aachen, Germany) o Martin Grohe (Berlin, Germany) o Joost-Pieter Katoen (Aachen, Germany) o Jean-Eric Pin (Paris, France) o Denis Thrien (Montreal, Canada) o Moshe Vardi (Houston, USA) o Igor Walukiewicz (Bordeaux, France) o Thomas Wilke (Kiel, Germany) The workshop will take place in Aachen, December 14 - 15, 2007 at the premises of the Computer Science Department of the RWTH Aachen. It will start on Friday, December 14, in the early afternoon, and will finish on Saturday, December 15, around noon. There is no registration fee, but registration is mandatory via the workshop homepage. The workshop is sponsored by Deutsche Forschungsgemeinschaft, Gesellschaft fr Informatik (Fachgruppen Automaten und Formale Sprachen sowie Logik in der Informatik), IPA (Instituut voor Programmatuurkunde en Algoritmiek, Eindhoven), and RWTH Aachen. Local organizers: Joost-Pieter Katoen, Thomas Noll (Aachen).