About the workshop
We invite the mathematics community of the Netherlands to discuss what the future of mathematics with AI should look like. The organisers will prepare a draft vision document before the workshop. Based on feedback and discussions during the workshop, the draft will be further developed towards a published document stating a shared vision of AIM and the broader Dutch mathematics community for the future of mathematics with AI.
We will build on discussions started in, for example:
- Leiden Declaration on Artificial Intelligence and Mathematics
A community initiative, endorsed by the International Mathematical Union - A Severe Misalignment of AI in Mathematics
Declaration signed by 25 Fields medallists, 11 September 2026 - KWG Math & AI day
Utrecht, 23 October 2026 — a closely related meeting of the Royal Dutch Mathematical Society
Programme
Provisional — details to be announced.
09:30 Arrival with coffee and tea
10:00 Welcome and introduction
10:15 Presentation draft vision document
10:45 Break
11:00 Plenary discussion
12:00 Lunch
13:00 Breakout discussions
Working towards a shared vision in small groups
14:00 Break
14:15 Plenary synthesis
Reporting back and next steps
15:00 End of workshop
Registration
The registration fee of €35 includes coffee, tea, refreshments, and lunch. For registration and fee payment click on this link. Cancellations received before 1 December are eligible for a full refund. To cancel your registration, please email Nada Mitrovic.
Who should attend?
We encourage all interested mathematicians based in the Netherlands to attend, including PhD candidates, postdocs, independent researchers and senior academic staff. No expertise in AI or formalisation is required.
What will be discussed?
- What does it mean to be a mathematician in the presence of AI?
- Affirming the humanity of mathematics
- Skills & training
- Publishing & peer review
- Policy, funding & governance
Venue
The workshop takes place in the Turing room at Centrum Wiskunde & Informatica (CWI), Science Park 123, 1098 XG Amsterdam. CWI is on the Amsterdam Science Park campus, a short walk from Amsterdam Science Park railway station.
Directions and visitor information at cwi.nl
Organisers
The workshop is organised by AIM — AI & Mathematics in the Netherlands, the network uniting researchers in the Netherlands working on the interface of mathematics and AI.
- Christoph Brune, University of Twente (main contact)
- Tim van Erven, University of Amsterdam (main contact)
- Leo van Iersel, TU Delft
- Tristan van Leeuwen, CWI / Utrecht University
- Olivia Muthsam, NWO
- Jim Portegies, TU Eindhoven
We thank Platform Wiskunde Nederland (PWN) for funding this workshop and Centrum Wiskunde & Informatica (CWI) for providing the venue and organisational support.
