Headlines Upcoming Events
- (Updated) 21 May 2025, LLAMA seminar, Victoria Barrett
- 22 May 2025, KNAW Symposium "Proofs: From Euclid to AI - Exploring the Power of Deep Learning"
- (New) 22 May 2025, Symposium Proofs: from Euclid to AI. Exploring the power of deep learning
- (Updated) 22 May 2025, Logic and Interactive Rationality (LIRa), Franz Berto
- (New) 23 May 2025, Talent Programme information meeting (Rubicon, Veni, Vidi, Vici)
- 23 May 2025, DIP Colloquium, Ofra Magidor
- 2 June 2025, ILLC Current Affairs Meeting & Midsummer Colloquium 2025
- (New) 3 June 2025, Kick-off event International Dual Career Network
- (New) 3 June 2025, Panel: Diversity, Inclusion & AI
- 6 June 2025, Meaning, Logic, and Cognition (MLC) Seminar, Camila Gallovich
- 11 June 2025, LLAMA seminar, Jed Forman
- 18 June 2025, Book launch of the Springer volume “Dick de Jongh on Intuitionistic and Provability Logics” in the series Outstanding Contributions to Logic
- 19 June 2025, SignLab Open House
- 26 June 2025, Dutch Formal Methods Day, Lab42, Science Park 900, Amsterdam
- (Updated) 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025)
Upcoming Events
-
(Updated) 21 May 2025, LLAMA seminar, Victoria Barrett
Speaker: Victoria Barrett (Inria Saclay)Title: Proof compression in subatomic logicLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / OnlineFor more information, see https://events.illc.uva.nl/llama/#talk-barrett-2025 or contact Marianna Girlando at m.girlando at uva.nl. -
22 May 2025, KNAW Symposium "Proofs: From Euclid to AI - Exploring the Power of Deep Learning"
Location: KNAW Trippenhuis - Kloveniersburgwal 29, AmsterdamCosts: FreeKNAW 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 SymposiumThe full schedule and list of speakers can be found on the website, as well as the registration link.
For more information, see https://www.knaw.nl/en/events/proofs-euclid-ai-exploring-power-deep-learning. -
(New) 22 May 2025, Symposium Proofs: from Euclid to AI. Exploring the power of deep learning
Location: Het Trippenhuis, Kloveniersburgwal 29, AmsterdamAn expert meeting (afternoon) and a symposium (evening) for a broader public. You are welcome to attend both meetings.
For more information, see here or at https://www.knaw.nl/en/events/proofs-euclid-ai-exploring-power-deep-learning or contact Martine Koot at congresbureau at knaw.nl.. -
(Updated) 22 May 2025, Logic and Interactive Rationality (LIRa), Franz Berto
Speaker: Franz Berto (University of St Andrews)Title: Counterfactual SuppositionLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/11/lira-session-franz-berto-2/. -
(New) 23 May 2025, Talent Programme information meeting (Rubicon, Veni, Vidi, Vici)
Location: NWO Utrecht or onlineTarget audience: Researchers: both online and offline, Grant advisors: online onlyDo you want to learn more about the process behind the Rubicon, Veni, Vidi and Vici grants? Join us on May 23 2025 at NWO Utrecht or online for an information meeting about the NWO-Talent Programme for researchers.
For more information, see https://www.nwo.nl/en/meetings/talent-programme-information-meeting-rubicon-veni-vidi-vici or contact talentvoorlichting at nwo.nl. -
23 May 2025, DIP Colloquium, Ofra Magidor
Speaker: Ofra Magidor (Oxford)Title: Polysemy and Observations in LinguisticsLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam -
2 June 2025, ILLC Current Affairs Meeting & Midsummer Colloquium 2025
Location: Room F1.15, ILLC, Science Park 107, AmsterdamThe 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 a.ozgun at uva.nl. -
(New) 3 June 2025, Kick-off event International Dual Career Network
Location: De Brug - Roeterseilandcampus, Nieuwe Achtergracht 127, AmsterdamTarget audience: Spouses of international UvA-employeesCosts: FreeWe 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 h.vanzetten at uva.nl. -
(New) 3 June 2025, Panel: Diversity, Inclusion & AI
Location: Room L1.01, Lab42, Science Park 900, AmsterdamThe 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 info-iai at uva.n. -
6 June 2025, Meaning, Logic, and Cognition (MLC) Seminar, Camila Gallovich
Speaker: Camila Gallovich (Buenos Aires)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor 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
Speaker: Jed Forman (Simpson College)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / OnlineFor more information, see https://events.illc.uva.nl/llama/#talk-forman-2025 or contact Marianna Girlando at m.girlando at uva.nl. -
18 June 2025, Book launch of the Springer volume “Dick de Jongh on Intuitionistic and Provability Logics” in the series Outstanding Contributions to Logic
Location: ILLC common room F1.21, Science Park 107, Amsterdam / OnlineThe 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 DrinksAttendance 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 YangFor more information, see https://sites.google.com/view/dick-de-jongh-book-launch or contact Nick Bezhanishvili at N.Bezhanishvili at uva.nl. -
19 June 2025, SignLab Open House
Location: Auditorium van het Matrix Innovation Center, Science Park 301, AmsterdamCosts: gratisOp 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 m.oomen2 at uva.nl. -
26 June 2025, Dutch Formal Methods Day, Lab42, Science Park 900, Amsterdam
Location: Lab42, Science Park 900, AmsterdamCosts: NoneDeadline: Friday 9 May 2025The 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 b.vandenberg3 at uav.nl. -
(Updated) 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025)
Location: Bochum (Germany)Deadline: Saturday 31 May 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.
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 essllipublicity at gmail.com.