uva.nl

Institute for Logic, Language and Computation

News and Events: Upcoming Events

Headlines Upcoming Events

Upcoming Events

  • Flyer_IDCN.jpg

    3 June 2025, Kick-off event International Dual Career Network

    Date & Time: Tuesday 3 June 2025, 09:30-12:00
    Location: De Brug - Roeterseilandcampus, Nieuwe Achtergracht 127, Amsterdam
    Target audience: Spouses of international UvA-employees
    Costs: Free

    We are thrilled to announce that the University of Amsterdam is part of the International Dual Career Network (IDCN)! This network offers a unique opportunity for partners of our international staff to integrate more quickly and easily into life in the Netherlands. The University of Amsterdam is also hosting the first face-to-face event for the Amsterdam-Utrecht-chapter of the network on the 3rd of June from 09:30 AM until 12:00 AM at de Brug, Roeterseilandcampus!!

    For more information, see here or at https://idcn.info/event/the-importance-of-dutch-language-in-the-dutch-labour-market-03-jun-2025/ or contact Erik van Zetten at .
  • Inclusive_AI_Panel_Small_.png

    3 June 2025, Panel: Diversity, Inclusion & AI

    Date & Time: Tuesday 3 June 2025, 17:00-19:30
    Location: Room L1.01, Lab42, Science Park 900, Amsterdam

    The Boad of Inclusive AI Community is excited to host the second edition of our panel on Diversity, Inclusion, and AI. This panel brings together experts from government, academia, and civil society to explore how we can create AI technologies that reflect the richness of our societies and work for everyone. How can we ensure that AI systems are designed with inclusivity and diversity at their core—not as afterthoughts, but as guiding principles?

    Topics include:
    - Is AI currently fostering a more inclusive society—or not?
    - What can policymakers, educators, and industry do to drive change?
    - How can we design datasets and systems that reflect diverse perspectives?
    - What technical and policy actions are needed to tackle bias in AI?

    For more information, see https://ivi.fnwi.uva.nl/ellis/events/panel-diversity-inclusion-ai/ or contact .

  • 5 June 2025, IAS Project kick-off event, Dr. Femke Bekius

    Date & Time: Thursday 5 June 2025, 12:00-14:00
    Speaker: Dr. Femke Bekius
    Title: Exploring formal models to characterize strategic uncertainty in complex decision-making
    Location: Institute for Advanced Study, Sweelinck Room, Oude Turfmarkt 145-147, Amsterdam

    Former ILLC MoL Student Femke Bekius is currently a research fellow at the Institute of Advanced Study (UvA) in Amsterdam. At Thursday June 5 a kick-off event is organized where she introduces the project: "Exploring formal models to characterize strategic uncertainty in complex decision-making".

    The program is as follows:
    12:00: Lunch
    12:30: Start kick-off event
    14:00: End

    If you want to join in Amsterdam (Oude Turfmarkt 147), please register via the link below. Here you can also find a bit more information about the project itself.

    For more information, see https://ias.uva.nl/content/events/2025/06/kick-off-event-femke-bekius.html?origin=PRy12xnsQemXLkKbh0An2g or contact Femke Bekius at .

  • (New) 5 June 2025, AI, Culture, and Society Seminar, Dr Noa Garcia

    Date & Time: Thursday 5 June 2025, 15:30
    Speaker: Dr Noa Garcia (Osaka University)
    Title: Generative Models and Art Analysis: New Tools, Old Biases
    Location: Room L1.07, ILLC Lab42, Science Park 900, Amsterdam

    Image generation has transformed how we create and engage with visual content, offering new tools and opportunities for art historical analysis. However, text-to-image models frequently rely on implicit assumptions that reinforce social stereotypes. In this talk, we will explore this duality.

    For more information, see here or at https://aiculturesociety.github.io/ or contact Gabriel Pereira at .

  • 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
    For more information, see https://projects.illc.uva.nl/FSPL/MLC-Seminar/event/35268/Camila-Gallovich-Buenos-Aires-TBA.

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

  • (New) 11 June 2025, KdVI General Mathematics Colloquium, Dhyan Aranha

    Date & Time: Wednesday 11 June 2025, 16:00-17:00
    Speaker: Dhyan Aranha
    Title: The Monsky Project
    Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam

    Abstract:  In the fall of 2024, a collection of masters and PhD students, post-docs and professors got together to learn about Lean and formalizing mathematics. This led to an effort to formalize a theorem of Monsky that there exist no odd dissections of a square by equal-area triangles, which was finally completed last month. In this talk I'd like to reflect on the journey as well as take the opportunity to do some live basic Lean coding (there is nothing to install and all you'll need is an internet connection if you'd like to bring your laptop and code along with me!).

    For more information, see https://kdvi.uva.nl/news-and-events/colloquia/general-mathematics-colloquium.html or contact Jeroen Zuiddam 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

    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 .
  • WiL_Online_-_Sara_Negri.jpg

    (New) 23 June 2025, Women in Logic Online, Sara Negri

    Date & Time: Monday 23 June 2025, 17:00
    Speaker: Sara Negri
    Title: Women in Logic Online with Sara Negri, June 23, virtual event
    Location: Online via Zoom

    Abstract:
    Over the past few decades, research in structural proof theory has made significant advances in converting axioms into inference rules, aiming to preserve the structural properties and proof-theoretic behaviour of a given logical calculus. This transformation is especially relevant for sequent calculi, where the addition of axioms as initial sequents would affect desirable properties such as cut elimination or analyticity. In this talk, we examine this conversion within the framework of intuitionistic logic, offering both a comparative analysis with the classical setting and novel extensions of the methodology.
    [Joint work with Matteo Tesi]

    For more information, see https://www.vcla.at/2025/05/women-in-logic-online-talk-with-sara-negri/ or contact VCLA 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)

    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 .