Teaching
Current Courses
Frühere Veranstaltungen
- Mathematical Logic II (WS 2023/24) Students' Evaluation
- Seminar Logic, Complexity, Games: Fixed-Point Logics (WS 2023/24) Students' Evaluation
- Mathematical Logic (SS 2023) Students' Evaluation
- Quantum Computing (SS 2023)
- Algorithmic Model Theory (WS 2022/23)
- Seminar Logic, Complexity, Games: Propositional Proof Complexity (WS 2022/23)
- Mathematical Logic (SS 2022) Students' Evaluation
- Provenance Analysis and Semiring Semantics for Logics and Games (SS 2022)
- Logic and Games (WS 2021/22)
- Seminar Logic, Complexity, Games: Algorithmic Meta-Theorems and Parameterized Complexity (WS 2021/22)
- Mathematical Logic (SS 2021) Students' Evaluation
- Logics for Reasoning about Uncertainty (SS 2021) Students' Evaluation
- Mathematical Logic II (WS 2020/21) Students' Evaluation
- Seminar Logic, Complexity, Games: Automatic Structures (WS 2020/21)
- Mathematical Logic (SS 2020) Students' Evaluation
- Quantum Computing (SS 2020)
- Algorithmic Model Theory (WS 2019/20)
- Seminar Logic, Complexity, Games: Logics for Reasoning about Uncertainty, Dependence and Independence (WS 2019/20)
- Mathematical Logic (SS 2019) Students' Evaluation
- Logics for Reasoning about Uncertainty (SS 2019)
- Logic and Games (WS 2018/19)
- Seminar Logic, Complexity, Games: Computational Social Choice (WS 2018/19)
- Mathematical Logic (SS 2018) Students' Evaluation
- Mathematical Logic II (WS 2017/18) Students' Evaluation
- Seminar: Guarded Logics and Automata (WS 2017/18)
- Mathematical Logic (SS 2017) Students' Evaluation
- Logics for Reasoning about Uncertainty (SS 2017)
- Seminar Logic, Complexity, Games: Algorithmic Meta-Theorems in Logic (WS 2016)
- Algorithmic Model Theory (SS 2016)
- Mathematical Logic (SS 2016) Students' Evaluation
- Logic and Games (WS 2015) Students' Evaluation
- Seminar Logic, Complexity, Games: Logics of Dependence and Independence (WS 2015) Students' Evaluation
- Mathematical Logic (SS 2015) Students' Evaluation
- Quantum-Computing (SS 2015)
- Seminar Logic, Complexity, Games: Fixed-point logics (SS 2015)
- Mathematical Logic 2 (WS 2014/15) Students' Evaluation
- Seminar Logic, Complexity, Games: Computational Social Choice (WS 2014/15)
- Algorithmic Model Theory 2 (SS 2014)
- Mathematical Logic (SS 2014) Students' Evaluation
- Seminar Logic, Complexity, Games: Definability and Complexity (SS 2014)
- Seminar Logic, Complexity, Games: Axioms and Models of Set Theory (WS 2013/14)
- Algorithmic Model Theory (WS 2013/14) Students' Evaluation
- Mathematical Logic (SS 2013)
- Logic and Games (SS 2013)
- 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
- 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
- Complexity Theory and Quantum Computing (WS 2009/10) Students' Evaluation
- Seminar Logic, Complexity, Games: Modern Solution Concepts in Game Theory (WS 2009/10)
- Logic and Games (SS 2009) Students' Evaluation
- Mathematical Logic (SS 2009) Students' Evaluation
- Seminar Logic, Complexity, Games: Fixed-Point Logics (SS 2009) Students' Evaluation
- Mathematical Logic II (WS 2008/09) Students' Evaluation
- 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