Zum Inhalt
Fakultät für Informatik

Aktuelles

31.01.2025

Übersicht der Lehrveranstaltungen im Sommersemester 2025

Die Übersicht der Lehrveranstaltungen für das Sommersemester 2025 ist ab jetzt online.
News-Icon Prüfung / Klausur
08.01.2025

Lehrpreis der TU Dortmund an Thomas Schwentick verliehen

Auf der akademischen Jahresfeier am 17.12.2024 wurde Thomas Schwentick der Lehrpreis der TU Dortmund in der Kategorie I ‚Vorlesungen über 60 Personen‘…
Lehrpreis der TU Dortmund an T. Schwentick verliehen
18.11.2024

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

On November 27-28th, the Knowledge-Based Systems Group of Chair 1 will host the 2nd workshop on Craig Interpolation and Beth Definability.
news-icon conference
05.11.2024

Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert

Eine Arbeit der AG Knowledge-Based Systems wurde bei der KR 2024 angenommen.
news-icon conference
18.07.2024

Übersicht der Lehrveranstaltungen im Wintersemester 2024/2025

Die Übersicht der Lehrveranstaltungen für das Wintersemester 2024/2025 ist ab jetzt online.
News-Icon Prüfung / Klausur
06.06.2024

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

Das 54 International Symposium über Merwertige Logik fand in der letzten Maiwoche an der Masarik Universität, in Brno, Czech Republik, statt. In…
news-icon conference
17.05.2024

Workshop on Answer Set Programming – May 28, 2024

On May 28, 2024, the Information Engineering Group of Chair 1 will host a workshop on Answer Set Programming (ASP).
news-icon conference
17.05.2024

Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert

Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2024 angenommen.
news-icon conference