BEGIN:VCALENDAR
PRODID:-//Ben Fortuna//iCal4j 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20251128T035539Z
DTSTART:20251204T110039
SUMMARY:Charla "(Nested) Inductive Types in Lean and Rocq"
UID:20251128T035539Z-0@tomcat-magnoliapublic6401.uchile.cl
DESCRIPTION:descripcion
END:VEVENT
END:VCALENDAR