uva.nl

Institute for Logic, Language and Computation

News and Events: Upcoming Events

Headlines Upcoming Events

Upcoming Events

  • 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/.
  • 22comsoc300.png

    31 March 2026, Computational Social Choice Seminar, Paul Goldberg

    Date & Time: Tuesday 31 March 2026, 16:00
    Speaker: Paul Goldberg
    Title: Complexity of Unambiguous Problems in Σ^P_2
    Location: L1.12 in LAB42, Science Park 900, Amsterdam

    An unambiguous problem is a computational search problem for which any instance has at most one solution. We are interested in particular in problems where this uniqueness of solutions is due to the structure of the problem itself, as opposed to being due to a (hard to verify) promise that any solution is unique. There are not many such problems in the class NP (amongst problems that are not known to be polynomial-time solvable), but there are various interesting ones in the class Σ^P_2. For example, some are based on the idea that we can design competitions for which there is at most one winner. With exponentially-many competitors, we seek a competitor that beats all his opponents: if "beats" is checkable in polynomial time, we have a Σ^P_2 problem having at most one solution. Towards classifying the complexity of these problems, we introduce complexity classes "Polynomial Tournament Winner" and "Polynomial Condorcet Winner".

    This is joint work in progress with Matan Gilboa, Elias Koutsoupias, and Noam Nisan. I will try to include reminders of definitions of any complexity classes I refer to, apart from P and NP.

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

  • (New) 1 April 2026, LLAMA seminar, Joost J. Joosten

    Date & Time: Wednesday 1 April 2026, 15:00-16:00
    Speaker: Joost J. Joosten (University of Barcelona)
    Location: SP107 F1.15 and online (see website)
    For more information, see https://events.illc.uva.nl/llama/#talk-joosten-2026 or contact Marianna Girlando at .

  • 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/.
  • 23comsoc300.png

    14 April 2026, Computational Social Choice Seminar, Soumyajit Pyne

    Date & Time: Tuesday 14 April 2026, 16:00
    Speaker: Soumyajit Pyne
    Title: Equilibrium Computation in the Hotelling-Downs Model of Spatial Competition
    Location: Room L1.08, Lab42, Science Park 900, Amsterdam

    The Hotelling-Downs model studies strategic positioning of candidates along an ideological line where voters choose the nearest candidate. While equilibrium structure has been widely analyzed, little is known about the computational complexity of finding equilibria. We provide algorithmic results for computing equilibria in both discrete and continuous variants of the model. For the continuous case, we prove a structural result showing that whenever an equilibrium exists, one also exists with rational positions of bounded complexity, enabling discretization via a notion we call reflection barriers. Using dynamic programming, we show: (i) equilibrium existence is decidable in polynomial time for discrete candidate locations; (ii) in the continuous-candidate and discrete-voter setting, equilibria can be computed in pseudo-polynomial time; and (iii) in the fully continuous setting, an ϵ-equilibrium can be computed in time polynomial in 1/ϵ. This is joint work with Umang Bhaskar.

    For more information on the Computational Social Choice Seminar, please consult https://staff.science.uva.nl/u.endriss/seminar/.

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

  • 16 April 2026, Logic and Interactive Rationality (LIRa), Igor Sedlár

    Date & Time: Thursday 16 April 2026, 16:30
    Speaker: Igor Sedlár
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/02/lira-session-igor-sedlar-2/.

  • 17 April 2026, Meaning, Logic, and Cognition (MLC) Seminar, Beatrice Buonaguidi

    Date: Friday 17 April 2026
    Speaker: Beatrice Buonaguidi (KCL)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/FSPL/MLC-Seminar/event/35284/Beatrice-Buonaguidi-KCL-TBA.

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

  • 8 May 2026, Joint DIP-LIRa session, Paolo Santorio

    Date & Time: Friday 8 May 2026, 16:00
    Speaker: Paolo Santorio
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/02/joint-dip-lira-session-paolo-santorio/.

  • 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 .
  • LifeAfterILLC-final-poster.png

    18 May 2026, Life after ILLC: alumni panel discussion

    Date & Time: Monday 18 May 2026, 17:00-19:00
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    Target audience: Everyone: MoL, PhD, Postdocs, and Staff

    Logic?? What do you DO with THAT!?

    ILLC alumni are at the cutting-edge not only in academia, but also across tech, government, finance, nonprofit, and other sectors. Join us for a panel discussion with five ILLC alumni who are leading and innovating in their fields. Hear how their academic background informs their work in industry, and how they've navigated career changes and opportunities.

    Panel discussion and audience Q&A session followed by reception.

    For more information, contact Gidon Kaminer at , or Paul Weston at .

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

  • 29 May 2026, Anéla/VIOT Junior Day 2026 (Juniorendag)

    Date: Friday 29 May 2026
    Location: location TBA, University of Amsterdam [NL]
    Target audience: Junior researchers (Bachelor, Master, PhD students and recent graduates)
    Deadline: Friday 13 March 2026

    This event provides young shcolars with an opportunity to present their research in the field of applied linguistics (language use, language acquisition, language education, language proficiency, or communication). Both lectures and poster presentations are welcome. Lectures shall last 15 minutes. Additionally, the annual Anéla-VIOT Thesis Award for the best MA-thesis in the field will be awarded on this day.

    For more information, see https://anela.nl/en/activiteiten/juniorendag/.

  • 29 May 2026, DIP Colloquium, John MacFarlane

    Date & Time: Friday 29 May 2026, 16:00-17:30
    Speaker: John MacFarlane (UC Berkeley)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35283/John-MacFarlane-UC-Berkeley-TBA.

  • 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 .
  • h.j.jpg

    4 December 2026, Valedictory lecture Henkjan Honing, prof. dr. Henkjan Honing

    Date & Time: Friday 4 December 2026, 16:30-17:30
    Speaker: prof. dr. Henkjan Honing
    Location: Aula der Universiteit, Singel 411, Amsterdam
    For more information, contact Peter van Ormondt 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.