Zum Inhalt
Fakultät für Informatik

Aktuelles

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
05.03.2024

Prof. Dr.-Ing. Dr. h. c. Claudio Moraga als Co-Autor an Buchveröffentlichung beteiligt

Das Buch “Bent Functions and Permutation Methods” von Radomir Stanković, Milena Radomir Stanković, Claudio Moraga und Jakko Astola wurde vom Springer…
Bent Functions and Permutation Methods