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.
For more information, see
https://fscd2026.github.io/awards/.