Headlines Upcoming Events
- 5 December 2025, Computational Social Choice Seminar, Federico Fioravanti
- 5 December 2025, Meaning, Logic, and Cognition (MLC) Seminar, Timo Beringer
- 8 - 13 December 2025, Logic, Categories and Decision-making: Algebraic and Proof-theoretic Methods (LoCaD 2025)
- 9 December 2025, Workshop: Dealing with the media
- 10 December 2025, LLAMA seminar, Ilijas Farah
- (Updated) 11 December 2025, Introduction to Type Theory by Thorsten Altenkirch (University of Nottingham)
- (Updated) 11 December 2025, DIP Colloquium (joint with SignLab), Kathryn Davidson
- 11 December 2025, ILLC Midwinter Colloquium 2025 and Christmas Party
- (Updated) 12 December 2025, FOAM Seminar, Nicolas Resch
- 12 December 2025, AIC&S Seminar Series, Antoine Doucet; Marijn Koolen
- (Updated) 12 December 2025, DIP Colloquium, Martin Lipman
- (Updated) 15 December 2025, Annual VvL Seminar 2025
- 15 December 2025, Visit dean FNWI to ILLC
- (New) 15 December 2025, Nordic Online Logic (NOL) Seminar, Phokion Kolaitis
- 16 December 2025, Computational Linguistics Seminar, Tomáš Musil
- 19 December 2025, STiHAC Joint Meeting, Alejandro Poveda
- 21 January 2026, Computational Social Choice Seminar, Xiaochen Yu
- 26 January 2026, ILLC PhD Day 2026
- 27 January 2026, Computational Linguistics Seminar, Federico Adolfi)
- 28 January 2026, Deep Tech Day 2026
- (New) 4 February 2026, LLAMA seminar, Norihiro Yamada
- 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
-

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. -
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, Workshop: Dealing with the media
Location: Room B2.10, Roeterseilandcampus, Nieuwe Achtergracht 166, 1018 WV AmsterdamTarget audience: UvA research staffCosts: freeWould you like to put your research in the spotlight, but are unsure how to approach the media? Or are you afraid that journalists will twist your story? In this basic introduction, UvA press officers will give you the tools to help you confidently deal with news media.
This workshop also takes place on 2 December in Dutch. More dates (both in NL and EN) are available next year.
-

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. -
(Updated) 11 December 2025, Introduction to Type Theory by Thorsten Altenkirch (University of Nottingham)
Location: Alsterterrasse 1, 20354 Hamburg [D]Deadline: Wednesday 10 December 2025In this course we will use the Agda system to explore the central concepts of Type Theory. Topics include dependent types, dependent functions, propositions-as-types, and formal reasoning within type theory. If time permits, we will also discuss recent developments such as Homotopy Type Theory and its implementation in Cubical Agda. This is an introductory lecture - no previous knowledge of Type Theory is required.
Registrations are accepted on a rolling basis, spots are limited.
For more information, see https://sites.google.com/view/mc-intro-tt-by-ta/ or contact Deniz Sarikaya at d.sarikaya at uni-luebeck.de. -
(Updated) 11 December 2025, DIP Colloquium (joint with SignLab), Kathryn Davidson
Speaker: Kathryn Davidson (Harvard)Title: What can a word mean (but not a picture): Insights from sign language semanticsLocation: 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. -
11 December 2025, ILLC Midwinter Colloquium 2025 and Christmas Party
Title: ILLC Midwinter Colloquium 2025 and Christmas PartyLocation: Room F1.21, ILLC Common Room, Science Park 107, AmsterdamThe ILLC Midwinter Colloquium will feature two speakers under the theme "Technology and Society".
The colloquium is preceded by the Current Affairs meeting and followed by the Christmas Party.
All staff members, PhD candidates, MoL students and any guests of the ILLC are welcome to attend the colloquium.
For more information, see https://www.illc.uva.nl/ILLCColloquium/ILLC-Midwinter-Colloquium-2025/ or contact Dr Aybüke Özgün at a.ozgun at uva.nl. -
(Updated) 12 December 2025, FOAM Seminar, Nicolas Resch
Speaker: Nicolas ReschTitle: Efficient Cryptographic Proofs from RAA CodesLocation: Room L1.14, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk27/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
12 December 2025, AIC&S Seminar Series, Antoine Doucet; Marijn Koolen
Speaker: Antoine Doucet (University of La Rochelle); Marijn Koolen (Huygens Institute for the History of the Netherlands)Title: Digital Research Infrastructures and the HumanitiesLocation: L2.07, Lab42, Science Park 900, AmsterdamWe kindly invite you to this year's first seminar of the AI, Culture, and Society Seminar Series organised by the AI, Culture, and Society (AIC&S) research group at the ILLC and the Multimedia Analytics research group at IvI.
This month's theme will be Digital Research Infrastructures and the Humanities, with contributions from Prof. Antoine Doucet (University of La Rochelle) and Dr. Marijn Koolen (Huygens Institute for the History of the Netherlands). The seminars will be followed by drinks!
For more information, see https://aiculturesociety.github.io/. -
(Updated) 12 December 2025, DIP Colloquium, Martin Lipman
Speaker: Martin Lipman (Leiden, NL)Title: In Defense of FragmentalismLocation: 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. -
(Updated) 15 December 2025, Annual VvL Seminar 2025
Location: Room A0.08, The Kamerlingh Onnes Gebouw, Steenschuur 25, Leiden [NL]The 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. -
(New) 15 December 2025, Nordic Online Logic (NOL) Seminar, Phokion Kolaitis
Speaker: Phokion KolaitisTitle: Possible Worlds and Certain AnswersLocation: ZoomThe 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-12-01-NOL-Seminar-Phokion-Kolaitis.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
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. -

21 January 2026, Computational Social Choice Seminar, Xiaochen Yu
Speaker: Xiaochen YuTitle: An Axiomatic Characterization of the Minimax Voting MethodLocation: Room L2.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. -

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.. -
27 January 2026, 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/. -

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. -

(New) 4 February 2026, LLAMA seminar, Norihiro Yamada
Speaker: Norihiro Yamada (Centre for Mathematics of the University of Coimbra)Location: F1.15, Science Park 107, Amsterdam [NL] and onlineFor more information, see https://events.illc.uva.nl/llama/#talk-yamada-2026 or contact Marianna Girlando at m.girlando at uva.nl. -
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.