CADE-24: Best Paper Award

Iosif Radu
Rogalewicz Adam, doc. Mgr., Ph.D.
Šimáček Jiří, Ing., Ph.D.

The paper "The tree width of separation logic with recursive definitions" by Radu Iosif, Adam Rogalewicz and Jiri Simacek, closed a clear open problem since 2004 and won the CADE-24 Best Paper Award.