The Hauptseminar is concerned with the close connection between automata, logic, and infinite games. In particular, we will be concerened with non-deterministic and alternating automata on infinite trees, the mu-calculus, and parity games. The seminar will be based on the book
Erich Grädel, Wolfgang Thomas, Thomas Wilke (Editors). Automata, Logics, and Infinite Games. Lecture Notes in Computer Science Volume 2500. Springer Verlag, 2002.
Each seminar topic will be based on a chapter from this book. In addition, every participant is supposed to read and understand the following paper:
Thomas Wilke. Alternating tree automata, parity games, and modal mu-calculus. Bulletin of the Belgian Mathematical Society, 8(2):359-391, 2002.
Hints on how to prepare a paper and how to give a talk are available (in German).