Der Beitrag "Solving Polynomial Equations Over Finite Fields" von unserem Mitarbeiter Anselm Haak wurde auf der SODA25 (ACM-SIAM Symposium on Discrete Algorithms) akzeptiert.
Eine Liste der veröffentlichten Paper finden Sie hier.
Das Paper Reasoning in Rough Description Logics with Multiple Indiscernibility Relations von Rafael Peñaloza und Anni-Yasmin Turhan wurde mit dem Harold Boley Distinguished Paper Award von der International Joint Conference on Rules and Reasoning (RuleML+RR) ausgezeichnetz. Ein Foto von der Verleihung finden sie hier.