Lehrveranstaltungen im Wintersemester 2023/2024
- Logik in der Informatik (Lehrveranstaltungsnummer 212013)
- Computational complexity theory (Lehrveranstaltungsnummer 211028)
- Seminar „Perlen der theoretischen Informatik“ (Lehrveranstaltungsnummer 211122)
- Seminar „Learning and Formal Methods“ (Lehrveranstaltungsnummer 212131)
Lehrveranstaltungen im Sommersemester 2023
- Model Checking (Lehrveranstaltungsnummer 211000)
- Seminar Satisfiability (Lehrveranstaltungsnummer 211117)
Lehrveranstaltungen im Wintersemester 2022/2023
- Informatik 3: Theoretische Informatik (Lehrveranstaltungsnummer 212002)
- Logik in der Informatik (Lehrveranstaltungsnummer 212013)
Lehrveranstaltungen im Sommersemester 2022