BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20260720T150000Z
DTEND:20260731T230000Z
DCREATED:20251208T225017Z
UID:ATEvent-c785cfd970644f808ab30cfe0c6af43e
SEQUENCE:0
LAST-MODIFIED:20251208T225028Z
SUMMARY:CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics
LOCATION:IMUNAM,Oaxaca
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR