We have two open PhD positions in natural language processing (NLP), in the context of the new ERC project CulturAL. The project focuses on the development of methodologies for multilingual NLP and alignment of large language models (LLMs).

Over several years Kees Doets, who died in November 2024 at the age of 83, was giving at the ILLC institute at the University of Amsterdam a course `Zermelo-Fraenkel Set Theory'. Kees was known for his elegant and lucid writing style. Thanks to Kees' family his unpublished lecture notes from this course are now available online at https://resources.illc.uva.nl/emeriti/Kees-Doets/Publicaties/. The notes deal with constructible sets, forcing, and iterated forcing and include more than 250 exercises, with selected solutions.

Programme:

15:00-15:15 Opening and the presentation of the book
15:15-16:00 Dick de Jongh: Notes on my scientific life
16:00-16:15 Break
16:15-17:00 Personal words by colleagues
17:00-18:30 Drinks

Attendance is free, but we kindly ask you to register, so that we know how many participants to expect. It will also be possible to follow the event online via Zoom. The online version of the book can be found at https://link.springer.com/book/10.1007/978-3-031-47921-2.

Abstract: In this survey we review dynamic epistemic logics with modalities for quantification over information change. Of such logics we present complete axiomatizations, focussing on axioms involving the interaction between knowledge and such quantifiers, we report on their relative expressivity, on decidability and on the complexity of model checking and satisfiability, and on applications. We focus on open problems and new directions for research.

Do you want to take your research skills to the next level with Deep Learning methods? And have you already made your first acquaintance with Python and the machine learning framework Pytorch? Then this workshop is for you.

Hurray! (Astronomical) spring is almost here! ♡＼(￣▽￣)／♡ Ex Falso is celebrating its arrival with a game night on March 28 (Friday) from 18:00 to 23:00 in room F3.20 (Science Park 107, floor 3). You can take this as a chance to celebrate the end of finals’ week, too. Free snacks and drinks will be provided. If you are a Master of Logic/Logic Year/PhD student, feel free to drop by!

We are organizing a workshop on team semantics and related topics on the occasion of Aleksi Anttila's PhD defence. The speakers include Aleksi Anttila, Ivano Ciardelli, Simone Conti, Matilda Häggblom, Juha Kontinen, Jouko Väänänen, and Haoyu Wang.