Institute of Theoretical Computer Science – Theoretical Computer Science

We represent theoretical computer science in Hannover in research and teaching. Our key areas are complexity theory, efficient algorithms, formal languages and logic in computer science.

Calender of the ThI

Location Finder

Staff Directory

Publications

26th May 2021

81. Workshop über Algorithmen und Komplexität

9th February 2021

Das Institut zieht um

Wir ziehen am 17./18.2.21 in den 16. Stock der Appelstrasse 9a (Hochhaus). Wir ziehen am 17./18.2.21 in den 16. Stock der Appelstrasse 9a (Hochhaus).

28th January 2021

Klausur- und Prüfungsmodalitäten WS20/21

Hier gibt es Informationen zu den Klausur- und Prüfungsmodalitäten im Prüfungszeitraum WS20/21. Hier gibt es Informationen zu den Klausur- und Prüfungsmodalitäten im …

Show all news

Complexity of Constraints

Introduction to Circuit Complexity

Dependence Logic - Theory and Applications

FREQUENTLY SEARCHED LINKS

Stud.IP

Course Catalogue

Semestertermine