* preliminary planning
| Analysis 2 (en) (4+2), Kohlenbach |
| Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer |
| Specialisation (en): Computational Complexity (4+2), Eickmeyer |
| Specialisation (en): Basic Applied Proof Theory (2+1), Kohlenbach |
| Specialisation (en): Logics of Knowledge and Information (4+2), Otto |
| Seminar (en): Decidability and Undecidability in Logic, Otto |
| Linear Algebra 1 (en) (4+2), Otto |
| Introduction to Mathematical Logic (4+2), Eickmeyer |
| Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Kohlenbach |
| Mathematik für Chemiker (4+2), Eickmeyer |
| Mathematik für Informatiker 1 (4+2), Eickmeyer |
| Specialisation (en): Advanced Applied Proof Theory (2+1), Kohlenbach |
| Specialisation (en): Finite Model Theory (2+1), Otto |
| Specialisation (en): Algorithms and Symmetry (4+2), Schweitzer |
| Proseminar (en), Kohlenbach |
| Seminar, Schweitzer |
