Academics

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.

This is the archive of past lectures and seminars.

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.