BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AIM//Events//EN
BEGIN:VEVENT
UID:aim-public-lecture-series@aimath.org
DTSTART:20260523T020000Z
DTEND:20260523T040000Z
SUMMARY:Terence Tao - Machine Assisted Proof
DESCRIPTION:
LOCATION:Beckman Auditorium, Caltech Campus, 1200 E California Blvd, Pasadena, CA, United States
URL:https://dev.aimath.org/events/aim-public-lecture-series/
END:VEVENT
END:VCALENDAR