uva.nl

Institute for Logic, Language and Computation

News and Events: Upcoming Events

Headlines Upcoming Events

Upcoming Events

  • 19 February 2026, Logic and Interactive Rationality (LIRa), Søren Knudstorp

    Date & Time: Thursday 19 February 2026, 16:30
    Speaker: Søren Knudstorp
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/01/lira-session-soren-knudstorp-2/.

  • 19 February 2026, Joint Nihil-LIRa session, Søren Knudstorp

    Date & Time: Thursday 19 February 2026, 16:30
    Speaker: Søren Knudstorp
    Title: Truthmakers and Information States: Inclusion, Containment, Duality
    Location: ILLC Seminar Room F1.15, Science Park 107 and online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/01/joint-nihil-lira-session-soren-knudstorp/.

  • (New) 20 February 2026, TEAP, Matteo Plebani

    Date & Time: Friday 20 February 2026, 11:00-13:00
    Speaker: Matteo Plebani (University of Turin)
    Title: Variations on a theme from Linnebo
    Location: online

    I will use Linnebo's notion of non-instantial generality to shed some light on Wittgenstein's tantalizing claim that “the generality required in mathematics is not an accidental generality” [T 6.031]. I will also compare the type of truthmaker semantics presented in Linnebo's “Generality explained” with Kleene realizability semantics.

    Connect via this link: https://univienna.zoom.us/j/64044125993?pwd=afg14Q6ljTU6Zg43xEZVu3nWmJaobZ.1 

    For more information, see https://sites.google.com/view/themeseap or contact Caterina Sisti at .

  • 20 February 2026, FOAM Seminar, Patrick Lederer

    Date & Time: Friday 20 February 2026, 15:00-16:15
    Speaker: Patrick Lederer (ILLC)
    Title: Approximate Axiomatics in Social Choice Theory
    Location: Room L2.06, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk30/ or contact Gregor Behnke at , or Ronald de Haan at .

  • (New) 20 February 2026, DIP Colloquium, Gil Sagi

    Date & Time: Friday 20 February 2026, 16:00-17:30
    Speaker: Gil Sagi (Haifa)
    Title: Engineering mathematical concepts
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35282/Gil-Sagi-Haifa-Engineering-mathematical-concepts.

  • (New) 20 February 2026, Shrek + Karaoke = SHREKAOKE

    Date & Time: Friday 20 February 2026, 19:30-23:30
    Location: ILLC Common Room F1.21, Room F1,21, Science Park 107, Amsterdam
    Target audience: ILLC Master and PhD students

    Celebrate Valentine’s Day by watching the classic romantic film known as “Shrek”. Then stick around and sing your heart out to classics from the soundtrack like “I’m a Believer” and “All Star”, along with other bops of the era.

    • “Shrek” movie screening: 19:30
    • Karaoke: 21:00

    As per usual, all Master of Logic, Logic Year, and ILLC PhD students are invited!

    For more information, see https://resources.illc.uva.nl/ExFalso/p/shrek--karaoke-shrekaoke/.

  • (Updated) 25 February 2026, LLAMA seminar, Takahiro Yamada

    Date & Time: Wednesday 25 February 2026, 16:00-17:00
    Speaker: Takahiro Yamada (Utrecht University)
    Title: Overview of Strict Finitistic Logic
    Location: ILLC Seminar Room F1.15, Science Park 107 and online (see website)
    For more information, see https://events.illc.uva.nl/llama/#talk-takahiro-yamada-2026 or contact Marianna Girlando at .

  • (New) 26 February 2026, ARA Seminar, Xiaoshuang Yang

    Date & Time: Thursday 26 February 2026, 15:00-16:15
    Speaker: Xiaoshuang Yang
    Title: Paper Discussion: "On the Completeness of Interpolation Algorithms"
    Location: Room L2.07, ILLC Lab42, Science Park 900, Amsterdam

    Abstract:
    We will discuss this paper by Hetzl and Jalali

    Abstract:

    Craig interpolation is a fundamental property of logics with a plethora of applications from philosophical logic to computer-aided verification. The question of which interpolants can be obtained from an interpolation algorithm is of profound importance. Motivated by this question, we initiate the study of completeness properties of int...

    For more information, see https://events.illc.uva.nl/ARA/posts/talk06/ or contact Arie Soeteman at , or Balder ten Cate at .

  • 26 February 2026, Logic and Interactive Rationality (LIRa), Alexandru Baltag

    Date & Time: Thursday 26 February 2026, 16:30
    Speaker: Alexandru Baltag
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam and online via Zoom
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2025/12/lira-session-alexandru-baltag-6/.

  • 27 February 2026, DIP Colloquium, Hans Kamp

    Date & Time: Friday 27 February 2026, 16:00-17:30
    Speaker: Hans Kamp (Sttutgart/UT Austin)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35275/Hans-Kamp-Sttutgart-UT-Austin.

  • (Updated) 4 March 2026, LLAMA seminar, Johannes Kloibhofer

    Date & Time: Wednesday 4 March 2026, 16:00-17:00
    Speaker: Johannes Kloibhofer (ILLC)
    Title: Interpolation with cyclic proofs
    Location: ILLC Seminar Room F1.15, Science Park 107 and online (see website)
    For more information, see https://events.illc.uva.nl/llama/#talk-kloibhofer-2026 or contact Marianna Girlando at .
  • 20comsoc300.png

    5 March 2026, Computational Social Choice Seminar, Rachel Ruellé

    Date & Time: Thursday 5 March 2026, 15:00
    Speaker: Rachel Ruellé
    Title: A Ceteris Paribus Borda Solution to the Social Ranking Problem
    Location: Room L2.06, Lab42, Science Park 900, Amsterdam

    In our society, individuals are often rewarded based on their merits when they work in cooperation. In this presentation, we focus on a novel social ranking solution where individuals are ranked based on the pairwise comparison of coalitions that differ for one single element (denoted in the related literature as Ceteris Paribus (CP-)comparison). 

    For more information, see https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .

  • 10 March 2026, Computational Linguistics Seminar, Elisa Bassignana

    Date & Time: Tuesday 10 March 2026, 15:30
    Speaker: Elisa Bassignana (IT University of Copenhagen, Pioneer Center for Artificial Intelligence)
    Location: Room L2.06 at LAB42, Amsterdam Science Park and online (Zoom).
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.

  • (New) 12 March 2026, ARA Seminar, Arie Soeteman and Balder ten Cate

    Date & Time: Thursday 12 March 2026, 16:00-17:15
    Speaker: Arie Soeteman and Balder ten Cate
    Location: Room L2.07, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/ARA/posts/talk07/ or contact Arie Soeteman at , or Balder ten Cate at .

  • 12 March 2026, Logic and Interactive Rationality (LIRa), Djanira dos Santos Gomes

    Date & Time: Thursday 12 March 2026, 16:30
    Speaker: Djanira dos Santos Gomes
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam and online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2025/12/lira-session-djanira-dos-santos-gomes/.

  • 13 March 2026, DIP Colloquium, Michael Franke

    Date & Time: Friday 13 March 2026, 16:00-17:30
    Speaker: Michael Franke (Tübingen)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35273/Michael-Franke-Tübingen.

  • (New) 18 March 2026, LLAMA seminar, Tenyo Takahashi

    Date & Time: Wednesday 18 March 2026, 16:00-17:00
    Speaker: Tenyo Takahashi (ILLC)
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam and online (see website)
    For more information, see https://events.illc.uva.nl/llama/#talk-takahashi-2026 or contact Marianna Girlando at .
  • 21comsoc300.png

    19 March 2026, Computational Social Choice Seminar, Patrick Lederer

    Date & Time: Thursday 19 March 2026, 15:00
    Speaker: Patrick Lederer
    Title: The Impossibility of Strategyproof Rank Aggregation
    Location: Room L2.07, Lab42, Science Park 900, Amsterdam

    In rank aggregation, the goal is to combine multiple input rankings into a single output ranking. In this paper, we analyze rank aggregation methods, so-called social welfare functions (SWFs), with respect to strategyproofness, which requires that no agent can misreport his ranking to obtain an output ranking that is closer to his true ranking in terms of the Kemeny distance. As our main result, we show that no anonymous SWF satisfies unanimity and strategyproofness if there are at least four alternatives. This result is proven by SAT solving, a computer-aided theorem proving technique, and verified by Isabelle, a highly trustworthy interactive proof assistant. Moreover, we show by hand that strategyproofness is incompatible with majority consistency, a variant of Condorcet-consistency for SWFs. Lastly, we demonstrate for two large classes of SWFs that all SWFs within these classes have a high incentive ratio and are thus severely manipulable. This is joint work with Manuel Eberl.

    For more information, see https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .

  • 19 March 2026, Logic and Interactive Rationality (LIRa), Johan van Benthem

    Date & Time: Thursday 19 March 2026, 16:30
    Speaker: Johan van Benthem
    Location: ILLC Seminar Room F1.15, Science Park 107 and online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/02/lira-session-johan-van-benthem-6/.

  • 20 March 2026, FOAM Seminar, John van de Wetering

    Date & Time: Friday 20 March 2026, 15:00-16:15
    Speaker: John van de Wetering (IvI)
    Title: Picturing Quantum Software
    Location: Room L1.07 (LAB42), Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk31/ or contact Gregor Behnke at , or Ronald de Haan at .

  • 31 March 2026, Computational Linguistics Seminar, Claire Stevenson

    Date & Time: Tuesday 31 March 2026, 15:30
    Speaker: Claire Stevenson (UvA)
    Location: Room L3.36 at LAB42, Amsterdam Science Park and online (Zoom)
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.

  • 2 April 2026, Computational Linguistics Seminar, Kanishka Misra

    Date & Time: Thursday 2 April 2026, 15:30
    Speaker: Kanishka Misra (UT Austin)
    Location: Room L3.36 at LAB42, Amsterdam Science Park, plus live streaming on Zoom.
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.

  • 9 April 2026, Logic and Interactive Rationality (LIRa), Malvin Gattinger

    Date & Time: Thursday 9 April 2026, 15:30
    Speaker: Malvin Gattinger
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/01/lira-session-malvin-gattinger-2/.

  • 17 April 2026, FOAM Seminar, Divya Ravi

    Date & Time: Friday 17 April 2026, 15:00-16:15
    Speaker: Divya Ravi
    Title: Foundations of Secure Multi-Party Computation
    Location: Room L2.06, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk32/ or contact Gregor Behnke at , or Ronald de Haan at .

  • 24 April 2026, Joint DIP-LIRa session, Fabrizio Cariani

    Date & Time: Friday 24 April 2026, 16:00
    Speaker: Fabrizio Cariani
    Location: ILLC Seminar Room F1.15, Science Park 107 and online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/02/joint-dip-lira-session-fabrizio-cariani/.

  • 12 May 2026, ILLC Staff meeting 05/2026

    Date & Time: Tuesday 12 May 2026, 16:00-17:00
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    For more information, contact the ILLC Office at .

  • (New) 20 May 2026, LLAMA seminar, Han Gao

    Date & Time: Wednesday 20 May 2026, 16:00-17:00
    Speaker: Han Gao (Institute of Computer Science, The Czech Academy of Sciences)
    Location: ILLC Seminar Room F1.15, Science Park 107 and online (see website)
    For more information, see https://events.illc.uva.nl/llama/#talk-gao-2026 or contact Marianna Girlando at .

  • 22 May 2026, FOAM Seminar, Twan Kroll

    Date & Time: Friday 22 May 2026, 15:00-16:15
    Speaker: Twan Kroll
    Title: The Price of Anarchy of Simultaneous First-Price Auctions with Budgets
    Location: Room L2.06, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk33/ or contact Gregor Behnke at , or Ronald de Haan at .

  • 22 May 2026, Joint DIP-LIRa session, Adam Bjorndahl

    Date & Time: Friday 22 May 2026, 16:00
    Speaker: Adam Bjorndahl
    Location: ILLC Seminar Room F1.15, Science Park 107 and online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/02/joint-dip-lira-session-adam-bjorndahl/.

  • 28 May 2026, Logic and Interactive Rationality (LIRa), Aybüke Özgün

    Date & Time: Thursday 28 May 2026, 16:30
    Speaker: Aybüke Özgün
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/01/lira-session-aybuke-ozgun-2/.

  • 19 June 2026, ILLC Current Affairs Meeting & ILLC Colloquium

    Date & Time: Friday 19 June 2026, 15:30-18:30
    For more information, see https://www.illc.uva.nl/ILLCColloquium/Autumn-2026 or contact Aybüke Özgün at .
  • Poster_final_conference_2026.jpg

    25 - 26 June 2026, New Perspectives on the Semantics–Pragmatics Distinction

    Date & Time: 25 - 26 June 2026, 09:30-18:00
    Location: Vrije Universiteit Amsterdam
    Target audience: Philosophy, linguistics, logic

    This two-day workshop brings together an international line-up of female researchers working at the intersection of philosophy, theoretical linguistics, computational linguistics, logic, formal semantics and pragmatics, psychology, and political and social science. The event explores diverse perspectives on the semantics–pragmatics distinction, highlighting how interdisciplinary approaches can advance our understanding of meaning, context, and interpretation.

    The workshop is in-person only. Attendance is free of charge, but registration is mandatory as places are limited. To register, please email Tamara Dobler.

    For more information, see here or contact Tamara Dobler at .

  • 29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands

    Date: 29 June - 3 July 2026
    Location: Amsterdam, The Netherlands
    Deadline: Friday 20 February 2026

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

  • 3 - 14 August 2026, 37th European Summer School in Logic, Language and Information (ESSLLI 2026), Prague (Czech Republic)

    Date: 3 - 14 August 2026
    Location: Prague (Czech Republic)
    Deadline: Wednesday 1 October 2025

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

  • 25 September 2026, ILLC Current Affairs Meeting & ILLC Colloquium

    Date & Time: Friday 25 September 2026, 15:30-17:30
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    For more information, see https://www.illc.uva.nl/ILLCColloquium/Autumn-2026/ or contact Aybüke Özgün at .

  • 6 October 2026, ILLC Staff meeting 10/2026

    Date & Time: Tuesday 6 October 2026, 16:00-17:00
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    For more information, contact the ILLC Office at .

  • 11 December 2026, ILLC Current Affairs Meeting & ILLC Colloquium

    Date & Time: Friday 11 December 2026, 15:30-17:30
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    For more information, see https://www.illc.uva.nl/ILLCColloquium/Winter-2026 or contact Aybüke Özgün at .

  • ILLC Heidag 2027

    The annual ILLC Heidag will be held on on the 29th of January 2027, starting at 09.30 and running until 17.00. Please fill out this form to help up plan for the event.

    What is a ''heidag''? It is a meeting during which the management and/or employees of an organization meet and discuss in an informal atmosphere outside their familiar working environment, especially about subjects that transcend daily practice.