Lehre im Sommersemester 2022
Wir bieten im Sommersemester 2022 folgende Veranstaltunge an.
Vorlesungen
- Automaten, Sprachen, Komplexität (Löding)
- Formale Systeme, Automaten und Prozesse (Grohe)
- Graphenzerlegung und algorithmische Anwendungen (Grohe)
- Fixpoints and Induction in Logic and Computer Science (Löding)
Seminare und Praktika
- Proseminar Informationstheorie (Grohe)
- Seminar Komplexitätstheorie (Grohe)
- Praktikum Graph Learning (Grohe)
- Informatikpraktikum für Mathematiker (Löding)