Aktuelles
Ü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 News-Icon Prüfung / Klausur](/storages/zentraler_bilderpool/_processed_/f/7/csm_news-pruefung-klausur_12366db610.jpg)
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 news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
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 news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert
Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2024 angenommen.
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
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 Bent Functions and Permutation Methods](/storages/logic-in-cs/_processed_/4/2/csm_Bent_Functions_3eee0d6bdd.png)
Übersicht der Lehrveranstaltungen im Sommersemester 2024
Die Übersicht der Lehrveranstaltungen für das Sommersemester 2024 ist ab jetzt online.
![News-Icon Prüfung / Klausur News-Icon Prüfung / Klausur](/storages/zentraler_bilderpool/_processed_/f/7/csm_news-pruefung-klausur_12366db610.jpg)
Stellenangebot für eine studentische Hilfskraft (SHK)
Die Arbeitsgruppe Information Engineering (Prof. Dr. G. Kern-Isberner) sucht eine studentische Hilfskraft (SHK).
![News-Icon Personengruppe Drei Personenicons auf grauem Hintergrund](/storages/zentraler_bilderpool/_processed_/1/4/csm_Personen_schwarz_6167fb713f.jpg)
Distinguished Paper auf IJCAI 2023
Prof. Jung erhält Distinguished Paper Award für die Arbeit „SAT-Based Learning of Description Logic Concepts“.
![News-Icon Buch und Weltkugel Icon einer angedeuteten Weltkugel mit geöffnetem Projekt-Buch](/storages/zentraler_bilderpool/_processed_/6/0/csm_Publikation_d3ba4c9092.png)
Übersicht der Lehrveranstaltungen im Wintersemester 2023/2024
Die Übersicht der Lehrveranstaltungen für das Wintersemester 2023/2024 ist ab jetzt online.
![News-Icon Prüfung / Klausur News-Icon Prüfung / Klausur](/storages/zentraler_bilderpool/_processed_/f/7/csm_news-pruefung-klausur_12366db610.jpg)