Academics

Current Lectures, Seminars, and Practical Courses

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

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

This is the archive of past lectures and seminars.

We offer Bachelor's and Master's theses in the fields of logic, graph isomorphism and automata theory.

Topics for theses are provided by the lecturers upon request.