Lide Grotenhuis and Lukas Zenger awarded Best Junior Researcher Paper at Tableaux 2023

Lide Grotenhuis (ILLC) and Lukas Zenger (University of Bern, previously ILLC) won the Best Junior Researcher Paper Award at the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods for the paper “Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic” co-authored with Bahareh Afshari and Graham Leigh. Many congratulations to Lide and Lukas.