Sections
Headlines ILLC News
Headlines ILLC Events this week
ILLC News
-
Assistant Professor of Natural Language Processing
Deadline: Wednesday 7 October 2026The NLP-group of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an Assistant Professor to work on large reasoning models, AI alignment and AI for science and research.
For more information, see here or at https://werkenbij.uva.nl/en/vacancies/assistant-professor-of-natural-language-processing-netherlands-15374 or contact Jelle Zuidema at W.H.Zuidema at uva.nl. -
Assistant Professor Machine Learning for Formal Reasoning and Verification
Deadline: Wednesday 7 October 2026The TCS-group of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an Assistant Professor to work on machine learning for formal reasoning and verification.
For more information, see here or at https://werkenbij.uva.nl/en/vacancies/assistant-professor-machine-learning-for-formal-reasoning-and-verification-netherlands-15373 or contact Balder ten Cate at B.D.tenCate at uva.nl. -
(New) Celebrating Jouko Väänänen’s Honorary Doctorate from the National University of Colombia
We are very happy to share some wonderful news: Jouko Väänänen has been awarded an Honorary Doctorate by the National University of Colombia (Universidad Nacional de Colombia), recognizing both his remarkable contributions to mathematical logic and his long-standing commitment to the mathematical community in Colombia.
Click on the link to read the full laudatio (in pdf).
For more information, see http://settheory.eu/documents/Vaananenhonorarydoctorate.pdf.
ILLC Events this week
-
28 September 2026, Nordic Online Logic Seminar, Juha Kontinen
Date & Time: Monday 28 September 2026, 16:00-17:30
Speaker: Juha KontinenTitle: Aspects of Coherence in Dependence LogicLocation: ZoomThe Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
See the announcement for the next talk in the link below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.
For more information, see https://scandinavianlogic.org/2026-09-15-NOL-Seminar-Juha-Kontinen.html or contact Val Goranko at valentin.goranko at philosophy.su.se.