News item

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Headlines News item

News item

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

    For more information, see http://tableaux2023.tableaux-ar.org/.
  • Balder ten Cate and his co-authors receive the IJCAI 2023 Distinguished Paper Award

    The paper IJCAI 2023 paper SAT-Based PAC Learning of Description Logic Concepts (Balder ten Cate, Maurice Funk, Jean Ch. Jung, and Carsten Lutz) has received the IJCAI'23 Distinguished Paper Prize.

    The IJCAI distinguished paper awards recognise the best papers presented at the conference each year. This year, three articles were selected as distinguished papers (out of 600+ accepted papers).

    For more information, see https://ijcai-23.org/distinguished-paper-awards/ or contact Balder ten Cate at .