Lehrveranstaltungen
im Wintersemester 2022/2023
- Formale Grundlagen der Informatik/Theoretische Informatik I
- Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
- Proofs by Automated Systems: Applications and Desirable Features
- Cartesisches Seminar
- Theorie-Kolloquium