Intended Audience and Material:
This course is intended for M.Sc. students of Logic who have an interest in specializing in mathematical logic. The topics in the seminar will roughly focus on automata, infinite games, and how these relate to logic. Most of the papers to present will come from the volume Automata, Logics, and Infinite Games, LNCS 2500, 2002. doi:10.1007/3-540-36387-4
Other suggested reading:
- A textbook: Bakhadyr Khoussainov and Anil Nerode. Automata Theory and its Applications. Birkhauser, 2001.
- A handbook chapter: W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume III, pages 389–455. Springer, New York, 1997.
- Application to theoretical computer science: (Chapter 4 of) C. Baier and J. Katoen. Principles of Model Checking. MIT Press, Cambridge, 2008.
- Probabilistic automata: M. Rabin. Probabilistic Automata. Information and Control, Volume 6, Issue 3, September 1963, pages 230–245.
- Quantum automata: (Section 3 of) M. Ying. Quantum Logic and Automata Theory. In Handbook of Quantum Logic and Quantum Structures, Quantum Structures, 2007, pages 619–754.