Current Courses (WS 2009/10)

• Complexity Theory and Quantum Computing
• Seminar Logic, Complexity, Games: Modern Solution Concepts in Game Theory

Past Courses

• Logic and Games (SS 2009)
• Mathematical Logic (SS 2009)
• Seminar Logic, Complexity, Games: Fixed-Point Logics (SS 2009)
• Mathematical Logic II (WS 2008/09)
• Seminar Logic, Complexity, Games: Logic and (In)Dependence (WS 2008/09)
• Algorithmic Model Theory (SS 2008)
• Mathematical Logic (SS 2008)
• Seminar 0-1 Laws in Mathematical Logic (SS 2008)
• Mathematical Logic (WS 2007/08)
• Logic and Games (SS 2007)
• Seminar Jewels of Mathematical Logic (SS 2007)
• Mathematical Logic (WS 2006/07)
• Quantum Computing (WS 2006/07)
• Seminar Concurrent and Stochastic Games (WS 2006/07)
• Complexity Theory (SS 2006)
• Seminar Logic and Dynamic Knowledge (SS 2006)
• Mathematical Logic II (SS 2005)
• Theories, Games, and Algorithms (WS 2003/04)
• Finite Model Theory (SS 2002)
• Games and Their Application in Computer Science (SS 2002)
• Decidability and Complexity of Logic Problems (SS 2001)

Regular Courses

• Lectures:
  • Mathematical Logic (annually)
  • Mathematical Logic II
  • Logic and Games
  • Algorithmic Model Theory
  • Complexity Theory
  • Quantum Computing
• Seminars on current research topics
• Working Group on Logic and Automata

Area of Specialisation: Logic and Complexity

• Mathematical Logic II
• Logic and Games
• Algorithmic Model Theory
• Complexity Theory
• Quantum Computing
• if necessary further lectures offered by the Chair of Computer Science 7