Aktuelles
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.
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…
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:...
Drei Artikel bzgl. Mehrwertige Systeme wurden zur Präsentation und Veröffentlichung im Rahmen des ISMVL-2022 akzeptiert.
Es handelt sich um...
Artikel aus der Arbeitsgruppe LogiDAC im Rahmen der ICDT 2022 veröffentlicht und präsentiert
Der Artikel “Rewriting with Acyclic Queries: Mind Your Head” von Gaetano Geck, Jens Keppeler, Thomas Schwentick, und Christopher Spinrath wurde im...
New journal TheoretiCS launched
We are happy to announce the launch of TheoretiCS, a new open-access journal dedicated to Theoretical Computer Science.
