The paper "Solving Polynomial Equations Over Finite Fields" by our colleague Anselm Haak was published on SODA25 (ACM-SIAM Symposium on Discrete Algorithms).
A list of the published papers can be found here.
The paper Reasoning in Rough Description Logics with Multiple Indiscernibility Relations by Rafael Peñaloza and Anni-Yasmin Turhan has been awarded the Harold Boley Distinguished Paper Award of the International Joint Conference on Rules and Reasoning (RuleML+RR). A picture of the award ceremony can be found here.
