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.

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 …

25th September 2020

79. Workshop über Algorithmen und Komplexität

Der Workshop findet am 17.11.2020 virtuell über Zoom statt. Mehr Infos hier. Der Workshop findet am 17.11.2020 virtuell über Zoom statt. Mehr Infos hier.

Show all news

Complexity of Constraints

Introduction to Circuit Complexity

Dependence Logic - Theory and Applications

FREQUENTLY SEARCHED LINKS

Stud.IP

Course Catalogue

Semestertermine