These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Projects and Awards
Projects and Awards
-
(New) Balder ten Cate and his co-authors to receive ACM PODS Alberto O. Mendelzon 10-year Test-of-Time Award
At the 2023 ACM SIGMOD PODS conference, Balder ten Cate and his co-authors will receive the ACM PODS Alberto O. Mendelzon Test-of-Time Award. Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, and Frank Wolter will be given the award for their article "Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP", first published at PODS 2013. The paper studies the expressive power and complexity of ontology-mediated database queries, establishing broad P/NP dichotomies and effective criteria for first-order rewritability and Datalog-rewritability.
For more information, contact Balder ten Cate at b.d.tencate at uva.nl. -
Alexandru Baltag, Nick Bezhanishvili and David Fernandez-Duque win Ray Reiter Best Paper Award
We are pleased to announce that Alexandru Baltag, Nick Bezhanishvili and David Fernandez-Duque win Ray Reiter Best Paper Award for their paper entitled The Topology of Sur-
prise at International Conference on Principles of Knowledge Representation and Reasoning (KR2022).For more information, see https://proceedings.kr.org/2022/kr2022-preface.pdf or contact Alexandru Baltag at A.Baltag at uva.nl. -
Ronald de Wolf and his co-authors received the prestigious ACM STOC 10-year Test of Time Award
On 23 June 2022, CWI researcher Ronald de Wolf and his co-authors received the prestigious ACM STOC 10-year Test of Time Award during the ACM Symposium on Theory of Computing (STOC), one of the most important conferences in theoretical computer science. Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary and Ronald de Wolf were given the award for their article ‘Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds’, originally published at STOC 2012. One of its main conclusions was that a particular attempt to solve the famous travelling salesman problem cannot possibly work.
For more information, see https://www.cwi.nl/news/2022/prestigious-acm-stoc-10-year-test-of-time-award-for-ronald-de-wolf-and-colleagues or contact Ronald de Wolf at Ronald.de.Wolf at cwi.nl.