Please note that this newsitem has been archived, and may contain outdated information or links.
Søren Brinck Knudstorp receives the 2024 Kleene Award
Søren Brinck Knudstorp was awarded the 2024 Kleene Award for Best Student Paper at LICS 2024. His paper, Relevant S is Undecidable, is available at https://doi.org/10.1145/3661814.3662128.
Please note that this newsitem has been archived, and may contain outdated information or links.