News
07/09/2026
Workshop on Craig Interpolation, Beth Definability, and Quantifier Elimination at FLoC’2026
Jean Christoph Jung is co-organizing a workshop as part of FLoC.
07/09/2026
One article by group Knowledge-Based Systems Working Group accepted at LICS 2026
One article by group Knowledge-Based Systems has been accepted at LICS 2026.
06/16/2026
One Article by group LogiDAC published in the journal LMCS
One article from the LogiDAC group published in the journal "Logical Methods in Computer Science".
06/10/2026
Hans Uhde Prize 2026 for Daniel Spenner
Chair 1 is delighted that Daniel Alexander Spenner has been honored with the Hans Uhde Prize 2026.
05/13/2026
One article by group Knowledge-Based Systems accepted at IJCAI-ECAI 2026
One article by group Knowledge-Based Systems has been accepted at IJCAI-ECAI 2026.
05/13/2026
One article by Daniel Alexander Spenner accepted at ICALP 2026
One article by Daniel Alexander Spenner has been accepted at ICALP 2026.
04/28/2026
One article by Daniel Albert accepted at CPM 2026
One article by Daniel Albert has been accepted at CPM 2026.
03/10/2026
Soroptimist Award for Antonia van Ophuysen
We congratulate Antonia van Ophuysen on being awarded the Soroptimist Prize.
