1 semester
Non-Classical Logics Seminar 1
2 semester
Applications of Finite Automata
Consistency and Independence in Set Theory
Lambda Calculus and Proof Theory
Logics for Space and Time-Region-based Approach
Non-Classical Logics Seminar 2
3 semester
Thesis project (C)
Master Thesis