Current Lectures, Seminar and Praktika

Lecture in auditorium

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

Master Thesis

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