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.

more...zu: Current Lectures, Seminars, and Practical Courses

 

Previous Semesters

This is the archive of past lectures and seminars.

more...zu: Previous Semesters

 

Bachelor's and Master's Theses

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.

read more...zu: Bachelor's and Master's Theses