Headlines Upcoming Events
- (New) 22 April 2025, Computational Linguistics Seminar, Jirui Qi
- 23 April 2025, MoL thesis presentations - Logic and Language
- 23 April 2025, Ex Falso Night 2024/25x04: Film Night is Back!
- 24 - 25 April 2025, Polar question form[s] across languages
- (Updated) 24 April 2025, Logic and Interactive Rationality (LIRa), Dominik Klein
- 25 April 2025, FOAM Seminar, Carsten Lutz
- (New) 28 April 2025, Nordic Online Logic Seminar, Yde Venema
- 1 - 2 May 2025, Symposium on the occasion of Henri Bal's retirement
- 7 May 2025, Joint LLAMA/LIRa double session, Katsuhiko Sano, Alexander Kurz
- 9 May 2025, DIP Colloquium, Elio La Rosa
- 15 May 2025, Logic and Interactive Rationality (LIRa), Maaike Venema-Los
- 15 May 2025, Spinoza lectures, Jennifer Lackey
- 16 May 2025, FOAM Seminar, Jan-Willem van de Meent
- 21 May 2025, LLAMA seminar, Victoria Barrett
- 22 May 2025, Logic and Interactive Rationality (LIRa), Franz Berto
- 2 June 2025, ILLC Current Affairs Meeting & Midsummer Colloquium 2025
- 11 June 2025, LLAMA seminar, Jed Forman
- (New) 18 June 2025, Book launch of the Springer volume “Dick de Jongh on Intuitionistic and Provability Logics” in the series Outstanding Contributions to Logic
- 26 June 2025, Dutch Formal Methods Day, Lab42, Science Park 900, Amsterdam
- 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)
Upcoming Events
-
(New) 22 April 2025, Computational Linguistics Seminar, Jirui Qi
Speaker: Jirui Qi (University of Groningen)Title: Are LLMs consistent across languages? An empirical and model-internal analysis of retrieval augmented generation (RAG) in multilingual contexts.Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / OnlineFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
23 April 2025, MoL thesis presentations - Logic and Language
Speaker: MoL studentsTitle: MoL thesis presentations - Logic and LanguageLocation: Room C1.112, Science Park 904, AmsterdamFor more information, see https://www.marialoni.org/GradTraj24_25 or contact Maria Aloni at m.d.aloni at uva.nl. -
23 April 2025, Ex Falso Night 2024/25x04: Film Night is Back!
Location: ILLC Common Room F1.21, floor 1, Science Park 107, AmsterdamOur next film night, which will take place in the ILLC Common Room, on April 23 at 19:30. Snacks and drinks will be provided! As per usual, all Master of Logic, Logic Year, and ILLC PhD students are invited.
We are collecting ideas for the film night. After hearing your film ideas, we’ll open a poll to all students so that we can make a decision.
For more information, see https://resources.illc.uva.nl/ExFalso/p/ex-falso-night-2024/25x04-film-night-is-back/ or contact Stefano Volpe at foxy at teapot.ovh. -
24 - 25 April 2025, Polar question form[s] across languages
Location: Workshop space Humanities Labs (F0.01), Bushuis/Oost-Indisch Huis, Kloveniersburgwal 48, AmsterdamAfter the success of our first workshop Polar Question Meaning[s] Across Languages, we are launching a second POQAL meeting, this time focusing on form. How are polar questions expressed in syntax, morphology, intonation? How do components of the grammar of each language constrain and determine these ways, e.g. in the inventory of functional categories, the expression of negation, focus, polarity, intonational characteristics, pragmatic division of labor among forms? How do fine grammatical components correlate with fine components of meaning? What crosslinguistic generalizations can be made in this new level of granularity?
For more information, see https://sites.google.com/view/poqal-2/ or contact Beste Kamali at poqal.amsterdam at gmail.com. -
(Updated) 24 April 2025, Logic and Interactive Rationality (LIRa), Dominik Klein
Speaker: Dominik Klein (Utrecht University)Location: Online only (not hybrid)For more information, see https://projects.illc.uva.nl/lgc/seminar/2025/01/lira-session-dominik-klein-3/. -
25 April 2025, FOAM Seminar, Carsten Lutz
Speaker: Carsten LutzTitle: Logical Characterizations of Recurrent GNNsLocation: Room L1.04, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk22/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
(New) 28 April 2025, Nordic Online Logic Seminar, Yde Venema
Speaker: Yde VenemaTitle: Propositional Dynamic Logic (re)visitedLocation: 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.
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/2025-04-11-NOL-Seminar-Yde-Venema.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
1 - 2 May 2025, Symposium on the occasion of Henri Bal's retirement
Location: VU Campus, NU building, Theater 3On the occasion of prof. Henri Bal's retirement, and recognition of the important role Henri played in the history of research on computing in the Netherlands, the VU Computer Science Department is organizing a (free-of-charge) symposium on the 1st and 2nd of May, 2025.
Day 1 discusses the role of HPC in the roaring 20s, a time where computing research plays a crucial role in AI, sustainability, and many other topics of vital importance.
Day 2 commemorates Prof. Bal's time at VU. Speakers will discuss the early days of computing research in the Netherlands, Henri's years as a PhD student, young faculty and finally research leader of world renown.For more information, see here or at https://www.vucompsys.net/ or contact Mojca Lovrencak at m.lovrencak at vu.nl. -
7 May 2025, Joint LLAMA/LIRa double session, Katsuhiko Sano, Alexander Kurz
Speaker: Katsuhiko Sano (Hokkaido University), Alexander Kurz (Chapman University)Location: ILLC Seminar Room F1.15, Science Park 107 and online.For more information, see https://projects.illc.uva.nl/lgc/seminar/2025/01/joint-llama-lira-session-alexander-kurz/. -
9 May 2025, DIP Colloquium, Elio La Rosa
Speaker: Elio La Rosa (Munich)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35264/Elio-La-Rosa. -
15 May 2025, Logic and Interactive Rationality (LIRa), Maaike Venema-Los
Speaker: Maaike Venema-Los (University of Groningen)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2025/04/lira-session-maaike-venema-los/. -
15 May 2025, Spinoza lectures, Jennifer Lackey
Speaker: Jennifer LackeyTitle: Stories that Wrong and Stories that RepairLocation: Aula Lutherse Kerk, Singel 411, AmsterdamSince 1995, the Philosophy Department of the University of Amsterdam has annually appointed a foreign philosopher to the Spinoza chair. As part of the appointment, the Spinoza professor gives a number of lectures intended for a broad audience that wants to stay informed about contemporary developments in philosophy. This is the second of two lectures by the current Spinoza Chair holder, Jennifer Lackey, the Wayne and Elizabeth Jones Professor of Philosophy at Northwestern University.
For more information, see here or at https://www.uva.nl/en/shared-content/faculteiten/en/faculteit-der-geesteswetenschappen/events/2025/05/spinoza-lecture-2-stories-that-wrong-and-stories-that-repair.html or contact Prof. Mari Mikkola at communicatie-fgw at e.uva.nl. -
16 May 2025, FOAM Seminar, Jan-Willem van de Meent
Speaker: Jan-Willem van de MeentLocation: Room TBA, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk23/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
21 May 2025, LLAMA seminar, Victoria Barrett
Speaker: Victoria Barrett (Inria Saclay)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / OnlineFor more information, see https://events.illc.uva.nl/llama/#talk-barrett-2025 or contact Marianna Girlando at m.girlando at uva.nl. -
22 May 2025, Logic and Interactive Rationality (LIRa), Franz Berto
Speaker: Franz Berto (University of St Andrews)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/11/lira-session-franz-berto-2/. -
2 June 2025, ILLC Current Affairs Meeting & Midsummer Colloquium 2025
Location: Room F1.15, ILLC, Science Park 107, AmsterdamThe ILLC Colloquium happens three times per year (as the Autumn Colloquium, the Midwinter Colloquium, or the Midsummer Colloquium), usually directly after the Current Affairs meeting. The Colloquium brings together the six research units at the ILLC and each event consists of at least two talks by representatives from different units. The colloquium is concluded by a get together of the entire ILLC community.
All staff members, PhD candidates, MoL students and any guests of the ILLC are welcome to attend the colloquium.
Please note that this event was announced before to occur on the 20th of June.
For more information, see https://www.illc.uva.nl/ILLCColloquium/ or contact Aybüke Özgün at a.ozgun at uva.nl. -
11 June 2025, LLAMA seminar, Jed Forman
Speaker: Jed Forman (Simpson College)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / OnlineFor more information, see https://events.illc.uva.nl/llama/#talk-forman-2025 or contact Marianna Girlando at m.girlando at uva.nl. -
(New) 18 June 2025, Book launch of the Springer volume “Dick de Jongh on Intuitionistic and Provability Logics” in the series Outstanding Contributions to Logic
Location: ILLC common room F1.21, Science Park 107, Amsterdam / OnlineThe event will take place on Wednesday 18 June 2025, at 15:00 at Science Park 107 (Amsterdam) in the ILLC Common Room (1st floor)
Programme:
15:00-15:15 Opening and a 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 DrinksAttendance is free, but we kindly ask you to register, so that we know how many participants to expect. Registration can be done soon online. 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.
Organized by the editors of the volume:
Nick Bezhanishvili, Rosalie Iemhoff and Fan YangFor more information, see https://sites.google.com/view/dick-de-jongh-book-launch or contact Nick Bezhanishvili at N.Bezhanishvili at uva.nl. -
26 June 2025, Dutch Formal Methods Day, Lab42, Science Park 900, Amsterdam
Location: Lab42, Science Park 900, AmsterdamCosts: NoneDeadline: Friday 9 May 2025The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry, and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.
Coffee and lunch will be provided; there will be ample opportunity for networking with your colleagues and meeting new people. Experts and newcomers to the field are equally welcome.
All the talks will be given in English.
For more information, see here or at https://conf.researchr.org/home/dfdm-2025 or contact Benno van den Berg at b.vandenberg3 at uav.nl. -
28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)
Location: Bochum (Germany)Deadline: Saturday 31 May 2025Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world.
The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.
Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.
For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at essllipublicity at gmail.com.