Current Lectures, Seminar and Praktika

FoSAP, BuK, AAT, Infinite Computations and Games, Foundations of Data Science, Graphs, Complexity theory,...

Detailed information about current courses and lectures can be found here.

more...zu: Current Lectures, Seminar and Praktika


Previous Semester

This is the archive of past lectures and seminars.

more...zu: Previous Semester


Final Exams

We offer final exmas in the fields of logic, graph isomorphism and automata theory.

Topics for the final exam will be provided by the docent.

read more...zu: Final Exams