News

02/03/2023

Courses in the summer semester 2023

The courses for the summer semester 2023 are now online.

02/02/2023

SchwentickFest

On the occasion of Prof. Thomas Schwentick's 60th birthday, the "SchwentickFest", a workshop organized by some of Prof. Schwentick's cooperation…

11/03/2022

The chair 1 - Logic in Computer Science is pleased to welcome a new member

Since November 1, 2022, Prof. Jean Christoph Jung has been a new member of the chair.

10/01/2022

New DFG-funded project "CASPER – Conditionals and ASP for Expert Reasoning"

The DFG funds the project "A Hybrid Knowledge-Based System Using Conditionals and ASP With Interactive Modelling Environment and Application to…

08/23/2022

Courses in the winter semester 2022/2023

The courses for the winter semester 2022/2023 are now online.

06/07/2022

Outstanding Paper Award

At the 52nd International Symposium on Multiple-valued Logic...

05/12/2022

Four articles from the IE working group accepted at 31st International Joint Conference on Artificial Intelligence / 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022).

These are...

04/07/2022

Three articles related to Multiple-Valued Systems were accepted for presentation and publication as part of ISMVL-2022.

These are...

03/31/2022

Paper from the LogiDAC working group published and presented at ICDT 2022

The paper “Rewriting with Acyclic Queries: Mind Your Head” by Gaetano Geck, Jens Keppeler, Thomas Schwentick, and Christopher Spinrath has been...