a symposium in honor of Erich Grädel's 60th birthday
Berlin, 17 September 2018
Technische Universität Berlin

Scientific Programme

All lectures will take place in room H2013.

time speaker title
8:45 Stephan Kreutzer, TU Berlin Opening
9:00 Wolfgang Thomas, RWTH Aachen On the fall and the rise of logic
9:45 Jouko Väänänen, University of Helsinki An atom's worth of anonymity
10:30 coffee break
11:00 Martin Otto, TU Darmstadt Amalgamation, Bisimulation, Cycles
11:45 Marcin Jurdziński, University of Warwick Parity games, universal trees, and separating automata
12:30 lunch
14:00 Martin Grohe, RWTH Aachen The Graph Isomorphism Problem
14:45 Val Tannen, University of Pennsylvania Provisioning Queries and Analytics
15:30 coffee break
16:00 Dietmar Berwanger, LSV, CNRS & ENS de Cachan Im Ernst das Spiel
16:30 Anuj Dawar, University of Cambridge Erich and me: a journey through logic
17:00 Erich Grädel, RWTH Aachen Thank you!