Aktuelles
Neues DFG-Projekt "Foundations of work-efficient constant-time parallel dynamic and static algorithms"
Die DFG fördert das Projekt "Foundations of work-efficient constant-time parallel dynamic and static algorithms" für drei Jahre...

37. Campuslauf der TU Dortmund am 24. Mai 2023
Auch beim diesjährigen Campuslauf der TU Dortmund gingen wieder mehrere wiss. Mitarbeitende und Professoren unseres Lehrstuhls an den Start...

Lehrveranstaltungen im Sommersemester 2023
Die Lehrveranstaltungen für das Sommersemester 2023 sind ab jetzt online.

SchwentickFest
Anlässlich des 60. Geburtstages von Prof. Thomas Schwentick findet am Rande der in Warschau stattfindenden Konferenz Computer Science Logic (CSL 2023)…

Der Lehrstuhl Informatik 1 freut sich über Verstärkung
Seit dem 1.11.2022 ist Prof. Jean Christoph Jung neues Mitglied des Lehrstuhls.
Lehrveranstaltungen im Wintersemester 2022/2023
Die Lehrveranstaltungen für das Wintersemester 2022/2023 sind ab jetzt online.

Outstanding Paper Award
Am 52. Internationalen Symposium über Mehrwertige Logik...

Vier Arbeiten der IE-Gruppe wurden bei der 31st International Joint Conference on Artificial Intelligence / 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) angenommen.
Es handelt sich um folgende Arbeiten:...