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.
You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
Headlines Upcoming Events
- 10 January 2025, STiHAC Joint Meeting, Catalina Torres Perres
- (New) 14 January 2025, Computational Linguistics Seminar, Ana Lucic
- (New) 16 January 2025, N&O seminar, Marco Scarsini
- 17 January 2025, FOAM Seminar, Marianna Girlando
- 17 January 2025, DIP Colloquium, Mora Maldonado
- (Updated) 31 January 2025, STiHAC Joint Meeting, Juan Aguilera
- 31 January 2025, Meaning, Logic, and Cognition (MLC) Seminar, Pablo Rivas-Robledo
- 6 February 2025, Joint CLS-DIP-Nihil-LIRa session, Raffaella Bernardi
- 10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
- (New) 11 February 2025, Computational Linguistics Seminar, Martha Lewis
- 13 February 2025, Logic and Interactive Rationality (LIRa), Maria Aloni
- 14 February 2025, STiHAC Joint Meeting, Peter Holy
- (New) 20 February 2025, Logic and Interactive Rationality (LIRa), Timo Eckhardt and David J. Pym
- 21 February 2025, Meaning, Logic, and Cognition (MLC) Seminar, Valentin D. Richard
- (New) 25 February 2025, Computational Linguistics Seminar, Laura Ruis
- 27 February 2025, Logic and Interactive Rationality (LIRa), Michael Cohen
- 6 March 2025, Logic and Interactive Rationality (LIRa), Bartosz Więckowski
- (New) 14 March 2025, Heyting Day 2025 - Models of intuitionism and computability: symposium in honour of Jaap van Oosten
- 20 March 2025, Logic and Interactive Rationality (LIRa), Tai-Wei Hu
- (New) 3 - 4 April 2025, 3rd Amsterdam / Saint-Etienne Workshop on Social Choice
- 3 April 2025, Logic and Interactive Rationality (LIRa), Hein Duijf
- 22 May 2025, Logic and Interactive Rationality (LIRa), Franz Berto
- 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)
Upcoming Events
-
10 January 2025, STiHAC Joint Meeting, Catalina Torres Perres
Speaker: Catalina Torres Perres (Barcelona)Title: Iterated stationary reflection on ℘κ(λ)Location: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
(New) 14 January 2025, Computational Linguistics Seminar, Ana Lucic
Speaker: Ana Lucic (ILLC, University of Amsterdam)Location: Room TBA, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
(New) 16 January 2025, N&O seminar, Marco Scarsini
Speaker: Marco ScarsiniTitle: Approximation and Convergence of Large Atomic Congestion GamesLocation: CWI room L016, Science Park 123, AmsterdamMarco Scarsini (Luiss University, Rome) will be visiting us from January 16-17, 2025 and give a talk at CWI on Thursday, January 16, 11:00-12:00, room L016.
For more information, see here or at https://www.cwi.nl/en/groups/networks-and-optimization/more-networks-and-optimization/aco-seminar/seminars-2021-2025/ or contact Guido Schäfer at g.schaefer at cwi.nl. -
17 January 2025, FOAM Seminar, Marianna Girlando
Speaker: Marianna GirlandoLocation: Room TBA, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk20/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
17 January 2025, DIP Colloquium, Mora Maldonado
Speaker: Mora Maldonado (Nantes)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35246/Mora-Maldonado-Nantes. -
(Updated) 31 January 2025, STiHAC Joint Meeting, Juan Aguilera
Speaker: Juan Aguilera (Vienna)Title: Local Hanf-Tarski numbersLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
31 January 2025, Meaning, Logic, and Cognition (MLC) Seminar, Pablo Rivas-Robledo
Speaker: Pablo Rivas-RobledoLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/MLC-Seminar/event/35255/Pablo-Rivas-Robledo-TBA. -
6 February 2025, Joint CLS-DIP-Nihil-LIRa session, Raffaella Bernardi
Speaker: Raffaella Bernardi (University of Trento)Title: The interplay between language and reasoning.Location: Room TBA, ILLC, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/11/joint-cls-dip-nihil-lira-session-raffaella-bernardi/. -
10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
Location: Amsterdam, the NetherlandsCSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.
Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).
For more information, see https://csl2025.github.io/ or contact Balder ten Cate at b.d.tencate at uva.nl. -
(New) 11 February 2025, Computational Linguistics Seminar, Martha Lewis
Speaker: Martha Lewis (ILLC, University of Amsterdam)Title: Compositional Approaches to Modelling Language and ConceptsLocation: Room L3.36, ILLC Lab42, Science Park 900, AmsterdamRecent neural approaches to modelling language and concepts have proven quite effective, with a proliferation of large models trained on correspondingly massive datasets. However, these models still fail on some tasks that humans, and symbolic approaches, can easily solve. Large neural models are also, to a certain extent, black boxes - particularly those that are proprietary. There is therefore a need to integrate compositional and neural approaches, firstly to potentially improve the performance of large neural models, and secondly to analyze and explain the representations that these systems are using. In this talk I will present results showing that large neural models can fail at tasks that humans are able to do, and discuss alternative, theory-based approaches that have the potential to perform more strongly. I will give applications in language, reasoning, and vision. Finally, I will present some future directions in understanding the types of reasoning or symbol manipulation that large neural models may be performing.
For more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
13 February 2025, Logic and Interactive Rationality (LIRa), Maria Aloni
Speaker: Maria Aloni (ILLC, University of Amsterdam)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/08/lira-session-maria-aloni-2/. -
14 February 2025, STiHAC Joint Meeting, Peter Holy
Speaker: Peter Holy (Vienna)Title: Linear orders and dependent choice (without the axiom of choice), and global linear orders without global choiceLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
(New) 20 February 2025, Logic and Interactive Rationality (LIRa), Timo Eckhardt and David J. Pym
Speaker: Timo Eckhardt (University College London) and David J. Pym (University College London & Institute of Philosophy, University of London)Location: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/12/lira-session-timo-eckhardt-and-david-j-pym/. -
21 February 2025, Meaning, Logic, and Cognition (MLC) Seminar, Valentin D. Richard
Speaker: Valentin D. RichardLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/MLC-Seminar/event/35254/Valentin-D-Richard-TBA. -
(New) 25 February 2025, Computational Linguistics Seminar, Laura Ruis
Speaker: Laura Ruis (University College London)Location: Room TBA, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
27 February 2025, Logic and Interactive Rationality (LIRa), Michael Cohen
Speaker: Michael Cohen (Tilburg University)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-michael-cohen/. -
6 March 2025, Logic and Interactive Rationality (LIRa), Bartosz Więckowski
Speaker: Bartosz Więckowski (Goethe Universität Frankfurt am Main)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/10/lira-session-bartosz-wieckowski/. -
(New) 14 March 2025, Heyting Day 2025 - Models of intuitionism and computability: symposium in honour of Jaap van Oosten
Location: KNAW Trippenhuis, Kloveniersburgwal 29, AmsterdamCan we imagine a world in which computability is built-in into the very fabric of reality? The answer is a resounding yes. However, it took us almost 40 years to get the first detailed picture of such a world. Our speakers will give you a scenic tour around worlds of computability. They will introduce the relevant concepts and discuss the many amazing properties of such worlds. The symposium marks the retirement of Jaap van Oosten and will be conducted in English.
Invited speakers: Andy Pitts (University of Cambridge), Andrej Bauer (University of Ljubljana), Sebastiaan Terwijn (Radboud University) and Jaap van Oosten (Utrecht University),
For more information, see https://www.knaw.nl/en/events/heyting-day-2025-models-intuitionism-and-computability or contact Benno van den Berg at b.vandenberg3 at uva.nl. -
20 March 2025, Logic and Interactive Rationality (LIRa), Tai-Wei Hu
Speaker: Tai-Wei Hu (University of Bristol)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/08/lira-session-tai-wei-hu/. -
(New) 3 - 4 April 2025, 3rd Amsterdam / Saint-Etienne Workshop on Social Choice
Location: SustainaLab, MatrixOne, Science Park 301, AmsterdamCosts: FreeDeadline: Friday 14 March 2025Join us for the 3rd Amsterdam/Saint-Etienne Workshop on Social Choice on at Science Park in Amsterdam! We will be discussing questions of social choice in all of its many facets, including in particular the perspectives provided by computer science, economics, and political science. Registration is free but required.
For more information, see https://sites.google.com/view/amsterdam-saint-etienne-2025/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
3 April 2025, Logic and Interactive Rationality (LIRa), Hein Duijf
Speaker: Hein Duijf (Utrecht University)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-hein-duijf-4/. -
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/. -
28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)
Location: Bochum (Germany)Deadline: Wednesday 10 July 2024Under 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.
For more information, see here or at https://openreview.net/group?id=ESSLLI.eu/2025/Summer_School_Proposals#tab-recent-activity.