To content
Department of Com­pu­ter Science

News

02/01/2024

Courses for the summer semester 2024

The overview of the courses for the summer semester 2024 is now online.

news-icon exam
09/15/2023

Distinguished Paper at IJCAI 2023

Prof. Jung receives Distinguished Paper Award for the paper „SAT-Based Learning of Description Logic Concepts“.

[Translate to English:]
07/13/2023

Courses for the winter semester 2023/2024

The overview of the courses for the winter semester 2023/2024 is now online.

[Translate to English:]
07/13/2023

Tutorial on Concept Learning in Description Logics at KR 2023

Jointly with colleagues from the universities of Paderborn, Leipzig, and Liverpool, Jean Christoph Jung will offer a tutorial on concept learning in…

news-icon conference
06/29/2023

Three articles by group Logic and Computing accepted at MFCS 2023

At the conference MFCS 2023 two papers from the Logic and Computing group and one paper from an undergraduate student were accepted.

news-icon conference
06/05/2023

New DFG-funded project „Plausible Reasoning and Revision in AI Along Two Dimensions: Syntax Splitting and Kinematics Principles“

The DFG funds the project "Plausible Reasoning and Revision in AI Along Two Dimensions: Syntax Splitting and Kinematics Principles" for three years...

05/30/2023

One Article by group Knowledge-Based Systems accepted at IJCAI 2023

The article "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (Leipzig University),…

news-icon conference
05/26/2023

New DFG-funded project „Foundations of work-efficient constant-time parallel dynamic and static algorithms“

The DFG funds the project "Foundations of work-efficient constant-time parallel dynamic and static algorithms" for three years. The project of the…