14-15 December 2007, Workshop on Automata and Logic, History and Perspectives, Aachen, Germany

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

For more information, see http://www-i2.informatik.rwth-aachen.de/Events/WAL07/