Algorithms in Combinatorics (bachelor seminar)
Computational Logic (bachelor project)
Doktorandenseminar
Formal Languages and Automata Theory
Logic in Computer Science