Miscellaneous

• 

  (New) ESSLLI 2026 - Second Call for Participation (Early-bird extension)

  The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, organized under the auspices of the Association for Logic, Language and Information (FoLLI), and has been running since 1989. The ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science, also from wider scientific, historical, and philosophical perspectives.

  Registration: The early-bird registration deadline has been extended to June 15th

  For more information, see https://2026.esslli.eu/registration/registration.html or contact Dušan Variš at info2026 at esslli.eu.
• 

  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.