Courses in Winter Semester 2025/2026
- Computational complexity theory (Lehrveranstaltungsnummer 211028)
- Informatik 3 – Theoretische Informatik (Lehrveranstaltungsnummer 212002)
- Seminar „Perlen der theoretischen Informatik“ (Lehrveranstaltungsnummer 211122)
- Seminar „Learning Meets Theoretical Computer Science“ (Lehrveranstaltungsnummer 212140)
Courses in Summer Semester 2025
- Highlights of Theoretical Computer Science (Lehrveranstaltungsnummer 211057)
- Logic in Computer Science (Lehrveranstaltungsnummer 211061)
- Seminar „Gems of Logic“ (Lehrveranstaltungsnummer 211117)
Courses in Winter Semester 2024/2025
- Computational Complexity Theory (Lehrveranstaltungsnummer 211028)
- Seminar „Gems of Theoretical Computer Science“ (Lehrveranstaltungsnummer 211122)
- Computer Science 3 – Theoretical Computer Science (Lehrveranstaltungsnummer 212002)
Courses in Summer Semester 2024
- Logic in Computer Science (Lehrveranstaltungsnummer 212013)
- Highlights of Theoretical Computer Science (Lehrveranstaltungsnummer 211057)
- Seminar „Gems of Logic“ (Lehrveranstaltungsnummer 211117)
Courses in Winter Semester 2023/2024
- Logic in Computer Science (Lehrveranstaltungsnummer 212013)
- Computational Complexity Theory (Lehrveranstaltungsnummer 211028)
- Seminar „Gems of Theoretical Computer Science“ (Lehrveranstaltungsnummer 211122)
- Seminar „Learning and Formal Methods“ (Lehrveranstaltungsnummer 212131)
Courses in Summer Semester 2023
- Model Checking (Lehrveranstaltungsnummer 211000)
- Seminar Satisfiability (Lehrveranstaltungsnummer 211117)
Courses in Winter Semester 2022/2023
- Computer Science 3: Theoretical Computer Science (Lehrveranstaltungsnummer 212002)
- Logic in Computer Science (Lehrveranstaltungsnummer 212013)
Courses in Summer Semester 2022