Aktuelles

30.05.2023

Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2023 angenommen.

Die Arbeit "SAT-Based PAC learning of Description Logic Concepts" von Balder ten Cate (Universität von Amsterdam), Maurice Funk (Universität Leipzig),…

26.05.2023

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. In dem Projekt der…

25.05.2023

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

03.02.2023

Lehrveranstaltungen im Sommersemester 2023

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

02.02.2023

SchwentickFest

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

03.11.2022

Der Lehrstuhl Informatik 1 freut sich über Verstärkung

Seit dem 1.11.2022 ist Prof. Jean Christoph Jung neues Mitglied des Lehrstuhls.

01.10.2022

Neues DFG-Projekt "CASPER – Conditionals and ASP for Expert Reasoning"

Die DFG fördert das Projekt "Ein hybrides wissensbasiertes System auf der Basis von Konditionalen und ASP mit interaktiver Modellierungsumgebung und…

23.08.2022

Lehrveranstaltungen im Wintersemester 2022/2023

Die Lehrveranstaltungen für das Wintersemester 2022/2023 sind ab jetzt online.

07.06.2022

Outstanding Paper Award

Am 52. Internationalen Symposium über Mehrwertige Logik...