Aktuelles
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)
Tutorial zum Lernen von Beschreibungslogik-Konzepten auf der KR 2023
Jean Christoph Jung wird gemeinsam mit Kollegen von den Universitäten Paderborn, Leipzig und Liverpool ein Tutorial zum Lernen von Konzepten auf der…
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
Drei Arbeiten aus dem Bereich Logik in der Informatik bei der MFCS 2023 akzeptiert
Bei der Konferenz MFCS 2023 wurden zwei Arbeiten aus der Arbeitsgruppe Logic and Computing sowie eine Arbeit eines Bachelor-Studierenden akzeptiert.
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
Neues DFG-Projekt „Plausibles Schlussfolgern und plausible Wissensrevision in der KI entlang zweier Dimensionen: Syntax Splitting und Kinematik“
Die DFG fördert das Projekt "Plausibles Schlussfolgern und plausible Wissensrevision in der KI entlang zweier Dimensionen: Syntax Splitting und…
![DFG](/storages/logic-in-cs/_processed_/5/7/csm_dfg_logo_schriftzug_blau_foerderung_4c_726289fec4.jpg)