CADE-24: Best Paper Award

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

Článek "The tree width of separation logic with recursive definitions" autorů Radu Iosifa, Adama Rogalewicze a Jiřího šimáčka uzavřel problém otevřený od roku 2004 a vyhrál ocenění za nejlepší článek konference CADE-24.