Aktuelles
Übersicht der Lehrveranstaltungen im Sommersemester 2025

Lehrpreis der TU Dortmund an Thomas Schwentick verliehen

2nd Workshop on Craig Interpolation and Beth Definability, Nov 27-28th

Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert

Übersicht der Lehrveranstaltungen im Wintersemester 2024/2025

Prof. Dr-Ing Dr. h.c. Claudio Moraga - Hauptvortrag über die Geschichte der ISMVL Symposia

Workshop on Answer Set Programming – May 28, 2024

Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert
