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.

Klausureinsicht zu Logik, GtI und KvA (WiSe 2019) am 13.07.2020. Anmeldung nötig. Infos hier! Klausureinsicht zu Logik, GtI und KvA (WiSe 2019) am 13.07.2020. Anmeldung …

1st June 2020

Nachholtermine Logik und KvA

Anmeldung für Räume im studIP! Genauere Infos hier und im studIP. Anmeldung für Räume im studIP! Genauere Infos hier und im studIP.

13th May 2020

Nachholungstermine für mündliche Prüfungen

Sie können sich nun einen Termin für die nachzuholenden Prüfungen (EA, FS, BuL, KT) reservieren. Sie können sich nun einen Termin für die nachzuholenden Prüfungen (EA, FS, BuL, …

Show all news

Complexity of Constraints

Introduction to Circuit Complexity

Dependence Logic - Theory and Applications

FREQUENTLY SEARCHED LINKS

Stud.IP

Course Catalogue

Semestertermine