BEGIN:VCALENDAR
VERSION:2.0
BEGIN:VEVENT
DTSTART:20250919
DTEND:20250920
LOCATION:Leiden; Netherlands
SUMMARY:Symposium: Mathematics in the Age of Automated Proofs
URL:https://sites.google.com/view/mechanicalmath
END:VEVENT
END:VCALENDAR