Mechanization and Mathematical Research

15 - 19 September 2025

Venue: Lorentz Center@Oort

If you are invited or already registered for this workshop, you have received login details by email.


    September 15

    September 16

    September 17

    September 18

    September 19

    Please login to view the participants information. You have received the log in details in your registration confirmation.

    Lenny Taelman, Universiteit van Amsterdam  

    Johan Commelin, Universiteit Utrecht  

    Rodrigo Ochigame, Leiden University  

    Akshay Venkatesh, Institute for Advanced Study  

    Mateja Jamnik, Cambridge University  


Follow us on:

Niels Bohrweg 1 & 2

2333 CA Leiden

The Netherlands

+31 71 527 5400