Prof. Franz Baader has been awarded with the Ray Reiter Best Paper Award at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR2024) for his joint work with Prof. Renata Wassermann (Universidade de São Paulo, Brazil) titled Contractions Based on Optimal Repairs.

Furthermore, our researchers Matti Berthold and Quentin Manière have been awarded twice for their video A Gentle Introduction to the Stable Model Semantics for Logic Programs: with the Best Video Award and the Peoples' Choice Award.