About Us

The research group on Mathematical Foundations of Computer Science is part of the Department of Mathematics, but there is a very intensive collaboration, both in research and teaching, with the Department of Computer Science, most notably with the research group Computer Science 7 (Prof. Dr. Wolfgang Thomas).

The main research areas of the group are logic, the theory of infinite games, and complexity, with particular emphasis on logic for computer science, algorithmic issues in logical systems, computational model theory, and descriptive complexity. On the methodological side, fixed point logics, games, and automata play a central role in our research.

News

• In the upcoming winter term, we offer a seminar on "Logic and (In)Dependence".
• On the occasion of Wolfgang Thomas' 60th birthday, the book "Logic and Automata: History and Perspectives" edited by J. Flum, E. Grädel, and T. Wilke has been published by Amsterdam University Press.
• The next annual meeting of the GAMES project will take place 8–11 September 2008 in Warsaw.

Research Networks

	Games for Design and Verification
	Algorithmic Synthesis of Reactive and Discrete-Continuous Systems

Upcoming Courses (WS 2008/09)

• Mathematical Logic II
• Seminar Logic, Complexity, Games: Logic and (In)Dependence

Current Courses (SS 2008)

• Algorithmic Model Theory
• Mathematical Logic
• Seminar 0-1 Laws in Mathematical Logic
• Working Group on Logic and Automata