Automated Reasoning for Quantum Mechanics

WE Heraeus-Lorentz workshop

13 - 17 July 2026

Venue: Lorentz Center@lambda

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


    July 20

    July 21

    July 22

    July 23

    July 24

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

    Alfons Laarman, Leiden University  

    Kuldeep Meel, Georgia Institute of Technology  

    Robert Wille, Technical University of Munich  

    Natalia Chepiga, TU Delft  


Follow us on:

Niels Bohrweg 1

2333 CA Leiden

The Netherlands

+31 71 527 5400