[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 by Junior Researcher
[2018] Ambrus Kaposi and András Kovács for the paper “A Syntax for Higher Inductive-Inductive Types”
[2019]
Mirai Ikebuchi for her paper "A Lower Bound of The Number of Rewrite Rules Obtained by Homological Methods"
Jonathan Sterling, Carlo Angiuli and Daniel Gratzer for their paper "Cubical Syntax for Reflection-Free Extensional Equality"
[2020]
Andrej Dudenhefner for his paper "Undecidability of Semi-unification on a Napkin"
Petar Vukmirović, Alexander Bentkamp and Visa Nummelin for their paper "Efficient Full Higher-Order Unification"
[2021] Tom de Jong and Martin Escardo for the paper “Predicative Aspects of Order Theory in Univalent Foundations”
[2022] Marc Hermes and Dominik Kirst for the paper "An Analysis of Tennenbaum's Theorem in Constructive Type Theory"
[2023] Taichi Uemura for the paper "Homotopy type theory as internal languages of diagrams of $\infty$-logoses"
[2024] Victor Sannier for the paper "A Linear Type System for Lp-Metric Sensitivity Analysis" (co-authored with Patrick Baillot)
Best System Description by Junior Researcher
[2020] Ankush Das for his paper "Resource-Aware Session Types with Arithmetic Refinements" (co-authored with Frank Pfenning)