Best Paper Award by Junior Researchers

The ILLC is proud to announce that a paper by Bastiaan Laarakker, Daniël Otten, and Benno van den Berg, titled Constructing (Co)inductive Types via Large Sizes, has won the Best Paper Award by Junior Researchers. The prize will be awarded at the International Conference on Formal Structures for Computation and Deduction in Lisbon in July 2026.