uva.nl

Institute for Logic, Language and Computation

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

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

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