Aktuelles
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...
12.05.2022
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:...
07.04.2022
Drei Artikel bzgl. Mehrwertige Systeme wurden zur Präsentation und Veröffentlichung im Rahmen des ISMVL-2022 akzeptiert.
Es handelt sich um...
31.03.2022
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...
22.03.2022
New journal TheoretiCS launched
We are happy to announce the launch of TheoretiCS, a new open-access journal dedicated to Theoretical Computer Science.
