CADE-24 Skolem Award

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.


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4198141