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

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 …

1. Juni 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.

13. Mai 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, …

Alle Meldungen anzeigen