Aktuelles
Workshop zu Craig Interpolation, Beth Definability und Quantoren-Elimination bei FLoC’2026

Paper aus der Arbeitsgruppe Knowledge-Based Systems bei der LICS 2026 angenommen

Artikel aus der Arbeitsgruppe LogiDAC in der Zeitschrift LMCS erschienen

Daniel Spenner erhält den Hans-Uhde-Preis 2026

Arbeit aus der Arbeitsgruppe Knowledge-Based Systems auf der IJCAI-ECAI 2026 akzeptiert

Arbeit von Daniel Alexander Spenner auf ICALP 2026 akzeptiert

Arbeit von Daniel Albert auf der CPM 2026 akzeptiert

Soroptimisten-Preis an Antonia van Ophuysen

Übersicht der Lehrveranstaltungen im Sommersemester 2026

