BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260417T123038Z
CREATED:20170522T063543Z
UID:ATEvent-91512d2690ba4b4ebca9bc53f996ed15
LAST-MODIFIED:20170522T102537Z
SUMMARY:RISC Forum
DTSTART:20170522T113000Z
DTEND:20170522T120000Z
DESCRIPTION:Dr. Tudor Jebelean: Experiments on Natural-Style Proving u
 sing Cylindrical Algebraic Decomposition
LOCATION:Seminar room castle
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR