BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260714T014001Z
CREATED:20251208T225017Z
UID:ATEvent-c785cfd970644f808ab30cfe0c6af43e
LAST-MODIFIED:20251208T225028Z
SUMMARY:CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics
DTSTART:20260720T150000Z
DTEND:20260731T230000Z
LOCATION:IMUNAM,Oaxaca
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR