uva.nl

Institute for Logic, Language and Computation

News and Events: Projects and Awards

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 Projects and Awards

Projects and Awards

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

  • Iris van der Giessen is awarded an NWO Veni

    We are pleased to announce that dr. Iris van der Giessen (University of Birmingham) has been awarded an NWO Veni to work on the project entitled Interpolation in mathematical logic: when does it work?. Interpolation is a method of separating statements into different categories. Van der Giessen will develop new mathematical techniques to characterize criteria under which interpolation works and applies these results to solve questions about interpolation in the theory of knowledge bases.

    For more information, see https://www.nwo.nl/en/researchprogrammes/nwo-talent-programme/projects-veni/veni-2023 or contact .

  • Best Paper Award at FORTE 2024

    Nick Bezhanishvili and co-authors (Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink and Erik De Vink) received the best paper award at Forte 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems - for their work on polyhedral modal logic, paper titled "Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη".

    For more information, see https://www.discotec.org/2024/programme#discotec-2024-best-papers-session-1 or contact Nick Bezhanishvili at .

  • Runner up best paper award at Adaptive and Learning Agents 2024

    The paper "Learning in Public Goods Games with Non-Linear Utilities: a Multi-Objective Approach" by Davide Grossi and co-authors Nicole Orzan (RUG), Erman Acar (UvA) and Roxana Radulescu (UU), received the best paper runner up award at the Adaptive and Learning Agents workshop (ALA'24) at AAMAS 2024.

    For more information, see https://ala2024.github.io/#awards or contact Davide Grossi at .