Headlines Upcoming Events
- (New) 14 November 2025, Meaning, Logic, and Cognition (MLC) Seminar, Marius Tritschler
- 18 November 2025, Computational Linguistics Seminar, Dennis Ulmer
- 21 November 2025, Joint DIP-LIRa session, Elaine Pimentel
- 21 November 2025, STiHAC Joint Meeting, Anna Lenz
- (New) 24 November 2025, Meaning, Logic, and Cognition (MLC) Seminar, Robert van Rooij
- 25 November 2025, Computational Linguistics Seminar, Mert Yazan
- 26 November 2025, Women in Logic Online, Elaine Pimentel
- (New) 27 November 2025, Alexandru Baltag awarded the Dov Gabbay Prize 2025 - Online ceremony and talks
- 28 November 2025, Meaning, Logic, and Cognition (MLC) Seminar, Maximilian Roderich van Remmen
- 28 November 2025, STiHAC Joint Meeting, Lyra Gardiner
- 2 December 2025, Computational Linguistics Seminar, Duarte Alves
- 4 December 2025, Logic and Interactive Rationality (LIRa), Tomasz Klochowicz
- (New) 5 December 2025, Computational Social Choice Seminar, Federico Fioravanti
- 5 December 2025, Meaning, Logic, and Cognition (MLC) Seminar, Timo Beringer
- (New) 8 - 13 December 2025, Logic, Categories and Decision-making: Algebraic and Proof-theoretic Methods (LoCaD 2025)
- 9 December 2025, Computational Social Choice Seminar, Xiaochen Yu
- 9 December 2025, Computational Linguistics Seminar, Federico Adolfi)
- 10 December 2025, LLAMA seminar, Ilijas Farah
- 11 December 2025, DIP Colloquium (joint with SignLab), Kathryn Davidson
- 12 December 2025, FOAM Seminar, Nicolas Resch
- 12 December 2025, DIP Colloquium, Martin Lipman
- 15 December 2025, Annual VvL Seminar 2025
- 15 December 2025, Visit dean FNWI to ILLC
- 16 December 2025, Computational Linguistics Seminar, Tomáš Musil
- 19 December 2025, STiHAC Joint Meeting, Alejandro Poveda
- 26 January 2026, ILLC PhD Day 2026
- 28 January 2026, Deep Tech Day 2026
- 13 February 2026, DIP Colloquium, Tim Button
- 27 February 2026, DIP Colloquium, Hans Kamp
- 13 March 2026, DIP Colloquium, Michael Franke
- 29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands
- 3 - 14 August 2026, 37th European Summer School in Logic, Language and Information (ESSLLI 2026), Prague (Czech Republic)
Upcoming Events
-
(New) 14 November 2025, Meaning, Logic, and Cognition (MLC) Seminar, Marius Tritschler
Speaker: Marius Tritschler (TU Darmstadt)Title: Analysing the Expressive Power of (Guarded) Team LogicsLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam -
18 November 2025, Computational Linguistics Seminar, Dennis Ulmer
Speaker: Dennis Ulmer (ILLC, University of Amsterdam)Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / OnlineFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -

21 November 2025, Joint DIP-LIRa session, Elaine Pimentel
Speaker: Elaine Pimentel (UCL)Title: The Modal Cube Revisited: Semantics without WorldsLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / OnlineFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35269/Elaine-Pimentel. -
21 November 2025, STiHAC Joint Meeting, Anna Lenz
Speaker: Anna Lenz (Hamburg)Title: Independence in higher Baire spacesLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
(New) 24 November 2025, Meaning, Logic, and Cognition (MLC) Seminar, Robert van Rooij
Speaker: Robert van RooijLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/MLC-Seminar/event/35280/Robert-van-Rooij-TBA. -
25 November 2025, Computational Linguistics Seminar, Mert Yazan
Speaker: Mert Yazan (Hogeschool van Amsterdam)Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / OnlineFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -

26 November 2025, Women in Logic Online, Elaine Pimentel
Speaker: Elaine PimentelTitle: Classical Versus Constructive: An Ecumenical ApproachLocation: Online via ZoomWomen in Logic presents: Classical Versus Constructive: An Ecumenical Approach by Elaine Pimentel.
You can register for free at https://tuwien.zoom.us/webinar/register/WN_TbJTkg66R1eJ7Bn9gtzoVQ.
For more information, see https://www.vcla.at/2025/11/women-in-logic-online-talk-with-elaine-pimentel/ or contact VCLA at office at vcla.at. -
(New) 27 November 2025, Alexandru Baltag awarded the Dov Gabbay Prize 2025 - Online ceremony and talks
Location: ZoomThe Jury of the Dov Gabbay Prize and the Initiative for Logic and Foundations have the great pleasure to announce the winner of the 2025 edition of this Prize, whose focus was Philosophical Logic: Alexandru Baltag. Congratulations!
The Online Award Ceremony organized on this occasion will include a laudatio by Johan van Benthem and a talk by Alexandru. The Zoom link will be shared upon registration by sending an email to dgp at iloaf.org.
Program (16h-18h CET):
1. Intro (ILOAF/Jury)
2. Laudatio by Johan van Benthem
3. Talk by Alexandru Baltag
4. TbaFor more information, see https://iloaf.org/dgp2025.html or contact ILOAF at dgp at iloaf.org. -
28 November 2025, Meaning, Logic, and Cognition (MLC) Seminar, Maximilian Roderich van Remmen
Speaker: Maximilian Roderich van RemmenLocation: KdVI seminar room F3.20, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/MLC-Seminar/event/35274/Maximilian-Roderich-van-Remmen. -
28 November 2025, STiHAC Joint Meeting, Lyra Gardiner
Speaker: Lyra Gardiner (Cambridge)Title: Structural IEPRs and weak choice principlesLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
2 December 2025, Computational Linguistics Seminar, Duarte Alves
Speaker: Duarte Alves (Lisbon)Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / OnlineFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -

4 December 2025, Logic and Interactive Rationality (LIRa), Tomasz Klochowicz
Speaker: Tomasz Klochowicz (ILLC, University of Amsterdam)Title: Non-empty beliefs and belief revision using BSML.Location: ILLC Seminar Room F1.15, Science Park 107 and online.For more information, see https://projects.illc.uva.nl/lgc/seminar/2025/10/lira-session-tomasz-klochowicz/. -

(New) 5 December 2025, Computational Social Choice Seminar, Federico Fioravanti
Speaker: Federico Fioravanti (Saint-Etienne)Title: Expert Binary AggregationLocation: Room L2.07, Lab42, Science Park 900, AmsterdamAbstract
We consider the aggregation problem where a collective decision is based on binary evaluations of several issues. An expert is an agent who is decisive over an issue, and an aggregator is Pareto if it respects unanimous valuations over an issue. We study the required conditions for a domain to admit Pareto aggregators with at least two experts. We show that several impossibility results from the literature can be derived from our model, while establishing new results for settings such as the single-peaked domain and approval-based committee voting.
For more information, see https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at u.endriss at uva.nl. -
5 December 2025, Meaning, Logic, and Cognition (MLC) Seminar, Timo Beringer
Speaker: Timo Beringer (Abstract)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/MLC-Seminar/event/35277/Timo-Beringer. -
(New) 8 - 13 December 2025, Logic, Categories and Decision-making: Algebraic and Proof-theoretic Methods (LoCaD 2025)
Location: Vrije Universiteit Amsterdam, De Boelelaan 1105, 1081 HV AmsterdamLoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.
LoCaD 2025 is organized on the occasion of PhD defenses.
For more information, see https://sites.google.com/view/locad2025/ or contact locad2025.amsterdam at gmail.com. -

9 December 2025, Computational Social Choice Seminar, Xiaochen Yu
Speaker: Xiaochen YuTitle: An Axiomatic Characterization of the Minimax Voting MethodLocation: Room L1.07, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
9 December 2025, Computational Linguistics Seminar, Federico Adolfi)
Speaker: Federico Adolfi (Ernst-Strüngmann Institute for Neuroscience (Max-Planck Society))Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / OnlineFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -

10 December 2025, LLAMA seminar, Ilijas Farah
Speaker: Ilijas Farah (York University)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / OnlineFor more information, see https://events.illc.uva.nl/llama/#talk-farah-2025bis or contact Marianna Girlando at m.girlando at uva.nl. -
11 December 2025, DIP Colloquium (joint with SignLab), Kathryn Davidson
Speaker: Kathryn Davidson (Harvard)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35278/Kathryn-Davidson-Harvard. -
12 December 2025, FOAM Seminar, Nicolas Resch
Speaker: Nicolas ReschTitle: Efficient Cryptographic Proofs from RAA CodesLocation: Room L3.36, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk28/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
12 December 2025, DIP Colloquium, Martin Lipman
Speaker: Martin Lipman (Leiden)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35272/Martin-Lipman-Leiden-TBA. -
15 December 2025, Annual VvL Seminar 2025
Location: Room A0.08, The Kamerlingh Onnes Gebouw, Steenschuur 25, LeidenThe Dutch Association for Logic and Philosophy of the Exact Sciences is known in Dutch as the Vereniging voor Logica en Wijsbegeerte van de Exacte Wetenschappen, commonly abbreviated as VvL. The fourth edition of the (in-person) Annual VvL Seminar will be organized by Leiden University. The event will also host the award ceremony of the VvL MSc Thesis Prize. The winners will give short presentations of their theses.
MSc Thesis Prize winners: Lingyuan Ye (Amsterdam), Andreea Minculescu (Groningen).
Main speakers: Rosalie Iemhoff (Utrecht) and David Mestel (Maastricht).For more information, see https://verenigingvoorlogica.nl/en/Activiteiten/VvL-Joint-Seminar/. -
15 December 2025, Visit dean FNWI to ILLC
Location: ILLC SP107 & LAB42, Science Park, AmsterdamOn the 15th of December 2025, the Dean of the Faculty of Science, Susan te Pas, will visit the ILLC for an informal introduction to the institute. All are invited to attend.
For more information, contact Peter van Ormondt at p.vanormondt at uva.nl. -
16 December 2025, Computational Linguistics Seminar, Tomáš Musil
Speaker: Tomáš Musil (Charles University)Location: Room TBA, ILLC Lab42, Science Park 900, Amsterdam / OnlineFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
19 December 2025, STiHAC Joint Meeting, Alejandro Poveda
Speaker: Alejandro Poveda (Barcelona)Title: A tutorial on Radin forcing, Part IIILocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -

26 January 2026, ILLC PhD Day 2026
Location: ILLC Lab42, Science Park 900, AmsterdamTarget audience: All ILLC PhD candidatesDeadline: Wednesday 31 December 2025The annual ILLC PhD Day is coming up! We look forward to another inspiring day of research and exchange within the ILLC community. The programme will feature presentations and posters by our PhD candidates, as well as opportunities to meet fellow researchers and discuss ongoing work across the four ILLC research units.
All new and senior PhD candidates are invited to present their research by submitting a poster or talk proposal. Due to limited slots, talks will be selected based on submitted abstracts. Please send your abstract (max. one page), clearly indicating whether it is for a post or a talk , by 31 December 2025.
For more information, contact ILLC PhD office at phd-illc at uva.nl.. -

28 January 2026, Deep Tech Day 2026
Location: Lab42, Science Park 900, AmsterdamOn 28 January 2026, the Faculty of Science will host the Deep Tech Day: an interactive event dedicated to deep technological research, innovation, and collaboration. Learn more about our leading research in areas ranging from quantum technologies to synthetic biology, and connect with policymakers, investors, startup founders and more.
For more information, see https://www.uva.nl/en/campaign/deeptechday. -
13 February 2026, DIP Colloquium, Tim Button
Speaker: Tim Button (UCL)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35270/Tim-Button-UCL. -
27 February 2026, DIP Colloquium, Hans Kamp
Speaker: Hans Kamp (Sttutgart/UT Austin)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35275/Hans-Kamp-Sttutgart-UT-Austin. -
13 March 2026, DIP Colloquium, Michael Franke
Speaker: Michael Franke (Tübingen)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35273/Michael-Franke-Tübingen. -
29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands
Location: Amsterdam, The NetherlandsDeadline: Friday 20 February 2026Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
For more information, see here or at https://events.illc.uva.nl/aiml2026/ or contact aiml2026-illc at uva.nl. -
3 - 14 August 2026, 37th European Summer School in Logic, Language and Information (ESSLLI 2026), Prague (Czech Republic)
Location: Prague (Czech Republic)Deadline: Wednesday 1 October 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. In 2026, ESSLLI returns to Prague after exactly 30 years.
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://2026.esslli.eu/ or contact Thomas Icard at icard at stanford.edu.