BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20141103T123000Z
DTEND:20141103T131000Z
DCREATED:20141006T132110Z
UID:ATEvent-6854a57a1ca444dc961372a783a68223
SEQUENCE:0
LAST-MODIFIED:20141022T140414Z
SUMMARY:RISC Forum
DESCRIPTION:Wolfgang.Schreiner\, Walther Neuper: Polynomial Arithmetic
  in Isabelle
LOCATION:Seminar Room pond\, RISC
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR