[2016] Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet and Piotr Polesiuk for the paper “Environmental Bisimulations for Delimited-Control Operators With Dynamic Prompt Generation”
Best Student Paper Award
[2016] Dmitriy Traytel for the paper “Formal Languages, Formally and Conductively”
Best Paper Award for Junior Researcher
[2018] Ambrus Kaposi and András Kovács for the paper “A Syntax for Higher Inductive-Inductive Types”