BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20170522T113000Z
DTEND:20170522T120000Z
DCREATED:20170522T063543Z
UID:ATEvent-91512d2690ba4b4ebca9bc53f996ed15
SEQUENCE:0
LAST-MODIFIED:20170522T102537Z
SUMMARY:RISC Forum
DESCRIPTION:Dr. Tudor Jebelean: Experiments on Natural-Style Proving u
 sing Cylindrical Algebraic Decomposition
LOCATION:Seminar room castle
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR