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.

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.

24th August 2020

Klausur "Logik und formale Systeme" am 01.09.

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!

30th June 2020

Klausureinsicht Logik, GtI, KvA

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 …

Show all news

Complexity of Constraints

Introduction to Circuit Complexity

Dependence Logic - Theory and Applications

FREQUENTLY SEARCHED LINKS

Stud.IP

Course Catalogue

Semestertermine