News and Events: Upcoming Events

Headlines Upcoming Events

Upcoming Events

  • (New) 14 May 2025, STiHAC Joint Meeting, Vincenzo Dimonte

    Date & Time: Wednesday 14 May 2025, 16:30-18:00
    Speaker: Vincenzo Dimonte (Udine)
    Title: Consistency Strength of Generalized Regularity Properties
    Location: Online via Zoom
  • (Updated) 15 May 2025, Logic and Interactive Rationality (LIRa), Maaike Venema-Los

    Date & Time: Thursday 15 May 2025, 15:30-18:00
    Speaker: Maaike Venema-Los (University of Groningen)
    Title: On the Graph Theory of Majority Illusions
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / Online
  • 15 May 2025, Spinoza lectures, Jennifer Lackey

    Date & Time: Thursday 15 May 2025, 18:30-21:30
    Speaker: Jennifer Lackey
    Title: Stories that Wrong and Stories that Repair
    Location: Aula Lutherse Kerk, Singel 411, Amsterdam

    Since 1995, the Philosophy Department of the University of Amsterdam has annually appointed a foreign philosopher to the Spinoza chair. As part of the appointment, the Spinoza professor gives a number of lectures intended for a broad audience that wants to stay informed about contemporary developments in philosophy. This is the second of two lectures by the current Spinoza Chair holder, Jennifer Lackey, the Wayne and Elizabeth Jones Professor of Philosophy at Northwestern University.

  • (New) 16 May 2025, SML 2025 Student Workshop on Logic and Probability

    Date & Time: Friday 16 May 2025, 13:00-17:30
    Location: Room C1.112, Science Park 904, Amsterdam
    Costs: Free

    This workshop is run by MSc of Logic students as part of the Seminar Mathematical Logic. The program consists of student presentations and an invited lecture by Jan-Willem van de Meent (AMLab, IvI)

    For more information, see https://sites.google.com/view/sml2025/.
  • (New) 16 May 2025, Computational Linguistics Seminar, Melanie Mitchell

    Date & Time: Friday 16 May 2025, 15:00
    Speaker: Melanie Mitchell (Santa Fe Institute)
    Title: AI's Challenge of Understanding the World
    Location: Room L1.02, ILLC Lab42, Science Park 900, Amsterdam

    I will survey a debate in the artificial intelligence (AI) research community on the extent to which current AI systems can be said to "understand" language and the physical and social situations language encodes. I will describe arguments that have been made for and against such understanding, hypothesize about what humanlike understanding entails, and discuss what methods can be used to fairly evaluate understanding and intelligence in AI systems.

    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • (Updated) 16 May 2025, FOAM Seminar, Jan-Willem van de Meent

    Date & Time: Friday 16 May 2025, 15:10-16:25
    Speaker: Jan-Willem van de Meent
    Title: Differential and Probabilistic Programming for Scientific Computation
    Location: Room C1.112, Science Park 904, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk23/ or contact Gregor Behnke at , or Ronald de Haan at .
  • (New) 16 May 2025, DIP Colloquium, Sebastian Speitel

    Date & Time: Friday 16 May 2025, 16:00-17:30
    Speaker: Sebastian Speitel (Bonn)
    Title: Mathematical Determinacy
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • (Updated) 21 May 2025, LLAMA seminar, Victoria Barrett

    Date & Time: Wednesday 21 May 2025, 16:00-17:00
    Speaker: Victoria Barrett (Inria Saclay)
    Title: Proof compression in subatomic logic
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / Online
    For more information, see https://events.illc.uva.nl/llama/#talk-barrett-2025 or contact Marianna Girlando at .
  • Screenshot_2025-05-07_122833.png

    (New) 22 May 2025, KNAW Symposium "Proofs: From Euclid to AI - Exploring the Power of Deep Learning"

    Date & Time: Thursday 22 May 2025, 14:00-21:00
    Location: KNAW Trippenhuis - Kloveniersburgwal 29, Amsterdam
    Costs: Free

    KNAW organises a symposium exploring the relation between mathematics and AI at the Trippenhuis in Amsterdam. The symposium consists of two parts.
    14.00-17.00 - Expert Meeting
    19.00-21.00 - General Audience Symposium

    The full schedule and list of speakers can be found on the website, as well as the registration link.

  • 22 May 2025, Logic and Interactive Rationality (LIRa), Franz Berto

    Date & Time: Thursday 22 May 2025, 16:30-18:00
    Speaker: Franz Berto (University of St Andrews)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • (New) 23 May 2025, DIP Colloquium, Ofra Magidor

    Date & Time: Friday 23 May 2025, 17:15-18:45
    Speaker: Ofra Magidor (Oxford)
    Title: Polysemy and Observations in Linguistics
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 2 June 2025, ILLC Current Affairs Meeting & Midsummer Colloquium 2025

    Date & Time: Monday 2 June 2025, 15:30-17:30
    Location: Room F1.15, ILLC, Science Park 107, Amsterdam

    The ILLC Colloquium happens three times per year (as the Autumn Colloquium, the Midwinter Colloquium, or the Midsummer Colloquium), usually directly after the Current Affairs meeting. The Colloquium brings together the six research units at the ILLC and each event consists of at least two talks by representatives from different units. The colloquium is concluded by a get together of the entire ILLC community.

    All staff members, PhD candidates, MoL students and any guests of the ILLC are welcome to attend the colloquium.

    Please note that this event was announced before to occur on the 20th of June.

    For more information, see https://www.illc.uva.nl/ILLCColloquium/ or contact Aybüke Özgün at .
  • (New) 6 June 2025, Meaning, Logic, and Cognition (MLC) Seminar, Camila Gallovich

    Date & Time: Friday 6 June 2025, 16:00-17:30
    Speaker: Camila Gallovich (Buenos Aires)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 11 June 2025, LLAMA seminar, Jed Forman

    Date & Time: Wednesday 11 June 2025, 16:00-17:00
    Speaker: Jed Forman (Simpson College)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / Online
    For more information, see https://events.illc.uva.nl/llama/#talk-forman-2025 or contact Marianna Girlando at .
  • 18 June 2025, Book launch of the Springer volume “Dick de Jongh on Intuitionistic and Provability Logics” in the series Outstanding Contributions to Logic

    Date & Time: Wednesday 18 June 2025, 15:00
    Location: ILLC common room F1.21, Science Park 107, Amsterdam / Online

    The event will take place on Wednesday 18 June 2025, at 15:00 at Science Park 107 (Amsterdam) in the ILLC Common Room (1st floor)

    Programme:
    15:00-15:15 Opening and a presentation of the book
    15:15-16:00 Dick de Jongh: Notes on my scientific life
    16:00-16:15 Break
    16:15-17:00 Personal words by colleagues
    17:00-18:30 Drinks

    Attendance is free, but we kindly ask you to register, so that we know how many participants to expect. Registration can be done soon online. It will also be possible to follow the event online via Zoom.

    The online version of the book can be found at https://link.springer.com/book/10.1007/978-3-031-47921-2.

    Organized by the editors of the volume:
    Nick Bezhanishvili, Rosalie Iemhoff and Fan Yang

    For more information, see https://sites.google.com/view/dick-de-jongh-book-launch or contact Nick Bezhanishvili at .
  • signlab-logo.png

    (New) 19 June 2025, SignLab Open House

    Date & Time: Thursday 19 June 2025, 18:30-22:00
    Location: Auditorium van het Matrix Innovation Center, Science Park 301, Amsterdam
    Costs: gratis

    Op 19 Juni organiseert SignLab weer een Open Avond. Dove en horende onderzoekers van de Universiteit van Amsterdam, de University of Central Lancashire en de University of Birmingham vertellen in een aantal korte presentaties waar zij de afgelopen tijd mee bezig zijn geweest en wat ze hebben ontdekt. Onderwerpen die aan bod komen zijn onder andere het gebruik van de ruimte om naar mensen, dieren en dingen te verwijzen in NGT, de toepassing van augmented reality voor tolken op afstand, en de invloed van International Sign op gebarentalen.

    Iedereen is van harte welkom! Aanmelden graag vóór 13 juni. Talen: NGT, International Sign, en Nederlands (geen Engels).

    For more information, see here or at https://www.signlab-amsterdam.nl/ or contact Marloes Oomen at .
  • 26 June 2025, Dutch Formal Methods Day, Lab42, Science Park 900, Amsterdam

    Date & Time: Thursday 26 June 2025, 10:00-18:00
    Location: Lab42, Science Park 900, Amsterdam
    Costs: None
    Deadline: Friday 9 May 2025

    The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry, and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.

    Coffee and lunch will be provided; there will be ample opportunity for networking with your colleagues and meeting new people. Experts and newcomers to the field are equally welcome.

    All the talks will be given in English.

    For more information, see here or at https://conf.researchr.org/home/dfdm-2025 or contact Benno van den Berg at .
  • 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

    Date: 28 July - 8 August 2025
    Location: Bochum (Germany)
    Deadline: Saturday 31 May 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.

    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.

    Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

    For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .