Research group on theoretical computer science
Research group on theoretical computer science
EN
EN
Welcome
Members
Research
Research
Research
Research
Publications
A Brief History of Constraint Satisfaction
Courses
Courses
Courses
Courses
Core module: Discrete Algebraic Structures
Mathematics of Constraint Satisfaction
TCS >
Courses
Courses offered by the institute of TCS
The following courses are offered by the institute:
Mathematics of Constraint Satisfaction
(Summer Semester 2026)
Logic in Computer Science (Summer Semester 2026)
Theoretical CS Seminar (Summer Semester 2026)
Discrete Algebraic Structures
(Winter Semester 2025/2026)