Teaching in the summer term 2022
In the summer term 2022, we offer a broad range of lectures.
Lectures
- Automaten, Sprachen, Komplexität (Löding)
- Formal System, Automata, Processes (Grohe)
- Graph Decompositions and Algorithmic Applications (Grohe)
- Fixpoints and Induction in Logic and Computer Science (Löding)
Seminars and Practical Courses
- Proseminar information theory (Grohe)
- Seminar complexity theory (Grohe)
- Practical course "Graph Learning" (Grohe)
-
Softwarelab for Mathematicians (Löding)