News
Courses for the winter semester 2024/2025
The overview of the courses for the winter semester 2024/2025 is now online.
![news-icon exam news-icon exam](/storages/zentraler_bilderpool/_processed_/f/7/csm_news-pruefung-klausur_12366db610.jpg)
Prof. Dr-Ing Dr. h.c. Claudio Moraga - Keynote lecture on the history of the ISMVL Symposia
In the last week of May, the 54th International Symposium on Multiple-valued Logic was hosted by the Masarik University, in Brno, Czech Republic. 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)
One Article by group Knowledge-Based Systems accepted at IJCAI 2024
One Article by group Knowledge-Based Systems accepted at IJCAI 2024.
![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 involved as co-author in book publication
The book "Bent Functions and Permutation Methods" by Radomir Stanković, Milena Radomir Stanković, Claudio Moraga and Jakko Astola was published by…
![Bent Functions and Permutation Methods Bent Functions and Permutation Methods](/storages/logic-in-cs/_processed_/4/2/csm_Bent_Functions_3eee0d6bdd.png)
Courses for the summer semester 2024
The overview of the courses for the summer semester 2024 is now online.
![news-icon exam news-icon exam](/storages/zentraler_bilderpool/_processed_/f/7/csm_news-pruefung-klausur_12366db610.jpg)
Distinguished Paper at IJCAI 2023
Prof. Jung receives Distinguished Paper Award for the paper „SAT-Based Learning of Description Logic Concepts“.
![[Translate to English:] [Translate to English:]](/storages/zentraler_bilderpool/_processed_/6/0/csm_Publikation_b1bd3749ea.png)
Courses for the winter semester 2023/2024
The overview of the courses for the winter semester 2023/2024 is now online.
![[Translate to English:] [Translate to English:]](/storages/zentraler_bilderpool/_processed_/f/7/csm_news-pruefung-klausur_12366db610.jpg)