International Conference on Automated Deduction (CADE) Skolem Award for a CADE paper that has Passed the Test of Time, by being a Most Influential Paper in the field. Presented to
Radu Iosif, Adam Rogalewicz, Jirí Simácek
for the paper “The Tree Width of Separation Logic with Recursive Definitions”, published in the CADE-24 proceedings in 2013. The paper is recognized for being the first to show decidability of a fragment of separating logic that can deal with recursively defined data structures such as trees, and thereby triggering extensive research on the decidability and complexity of such fragments.
Presented at CADE-29 The 29th International Conference on Automated Deduction July, 2023
Jürgen Giesl President of CADE Inc.
The Skolem Award Committee consisted of Franz Baader (chair), Clare Dixon, Pascal Fontaine, Martin Giese, Konstantin Korovin, Tobias Nipkow, and Sarah M. Winkler.