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