Startseite – Institut für Theoretische Informatik

Wir vertreten die Theoretische Informatik in Forschung und Lehre, insbesondere die Gebiete Komplexitätstheorie, Effiziente Algorithmen, Formale Sprachen und Logik in der Informatik.

Institutskalender

Standortfinder

Personenverzeichnis

Publikationen

AKTUELLE MELDUNGEN

25. 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.

24. 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!

30. Juni 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 …

Alle Meldungen anzeigen