Skip to Content
Skip to Main Navigation
Skip to Footer
Skip to Search
You Are Here: Academics
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
This is the archive of past lectures and seminars.
more...zu: Previous Semesters
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