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
A paper co-authored by Nick Bezhanishvili received the Italian Logic Society Best Paper Award
The paper "Profiniteness and representability of spectra of Heyting algebras", Advances in Mathematics, 391 (2021) co-authored by Nick Bezhanishvili with G. Bezhanishvili, T. Moraschini and M. Stronkowski, received the Ada Lettieri Best Paper Award by the Italian Logic Society.For more information, see https://www.ailalogica.it/premi/premio-ada-lettieri/.
ERC Starting Grant for Lorenz Demey
The ILLC congratulates Lorenz Demey with the ERC Starting grant for his research in logical geometry [the logic of aristotelian diagrams] at the KU Leuven. In the upcoming months various positions on the ECR project will be opened up, both PhD and Postdoc. For those interested: keep an eye on the ILLC News, as further information will be distributed soon.For more information, see https://nieuws.kuleuven.be/en/content/2022/three-erc-starting-grants-ku-leuven-researchers or contact Lorenz Demey at lorenz.demey at kuleuven.be.
NWO Veni for Jonas Groschwitz
We are pleased to announce that Jonas Groschwitz has been awarded an NWO Veni, to work on the project named "Helping computers say what they mean to say".For more information, see https://www.uva.nl/en/content/news/news/2021/12/veni-grants-for-nine-uva-researchers.html.
Professorship for Christian Schaffner
The ILLC is proud to announce that Christian Schaffner, who has been at the ILLC since 2011, has been appointed to the Chair in Theoretical Computer Science at our sister institute, the Institute for Informatics. Congratulations! Christian is taking up his professorship this month, and will continue to collaborate closely with researchers at the ILLC.For more information, contact Chris Schaffner at c.schaffner at uva.nl.
Dominik Wehr awarded second prize Young Talent KNVI/KIVI Thesis Award for Informatics and Information Science
We are very pleased to announce that Dominik Wehr received the second prize in the Young Talent KNVI/KIVI Thesis Prize for Informatics and Information Science for his thesis 'An abstract Framework for the Analysis of Cyclic Deriviation'. Dominik will continue the line of his thesis research as a PhD candidate at the Logic Group of Gothenburg University, under the supervision of Graham Leigh and Bahareh Afshari.
The event can be followed via a livestream on 29 November 2021 from 14:00 till 18:00.For more information, see https://khmw.nl/livestream-prijsuitreikingen-29-november-2021/.