Miscellaneous

• 

  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/.
• 

  Arie Soeteman is one of the new KNAW Faces of Science

  Arie Soeteman investigates how artificial intelligence can reason in a way that resembles how humans think, according to the laws of logic. Using mathematical proofs and by having AI systems solve puzzles, he demonstrates how self-learning computer systems arrive at conclusions. The goal is to develop AI models that we can understand and trust.

  For more information, see https://www.knaw.nl/nieuws/van-erfgoedtalen-tot-zelfherstellende-nieren-ontmoet-de-nieuwe-faces-science.