Current Courses (SS 2013)

• Mathematical Logic
• Logic and Games

Frühere Veranstaltungen

• Seminar Logic, Complexity, Games: Finite Model Theory (WS 2012/13)
• Mathematical Logic II (WS 2012/13)
• Mathematical Logic (C. Löding) (SS 2012)
• Algorithmic Model Theory (WS 2011/12)
• Seminar Logic, Complexity, Games: Automatic Structures (WS 2011/12)
• Mathematical Logic (SS 2011)
• Logic and Games (SS 2011)
• Seminar Logic, Complexity, Games: Algorithmic Aspects of Parity Games (SS 2011)
• Mathematical Logic II (WS 2010/11) Students' Evaluation lecture: 1.8docent: 1.4
• Seminar Logic, Complexity, Games: Guarded Logics (WS 2010/11)
• Seminar Logic, Complexity, Games: Structural Complexity of Graphs and Graph Searching Games (SS 2010)
• Algorithmic Model Theory (SS 2010)
• Mathematical Logic (SS 2010) Students' Evaluation lecture: 1.9docent: 1.6
• Complexity Theory and Quantum Computing (WS 2009/10) Students' Evaluation lecture: 1.7docent: 1.4
• Seminar Logic, Complexity, Games: Modern Solution Concepts in Game Theory (WS 2009/10)
• Logic and Games (SS 2009) Students' Evaluation lecture: 2.3docent: 2.1
• Mathematical Logic (SS 2009) Students' Evaluation lecture: 2.2docent: 1.9
• Seminar Logic, Complexity, Games: Fixed-Point Logics (SS 2009) Students' Evaluation lecture: 2.0docent: 1.3
• Mathematical Logic II (WS 2008/09) Students' Evaluation lecture: 1.9docent: 1.6
• 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