BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260417T131817Z
CREATED:20141006T132110Z
UID:ATEvent-6854a57a1ca444dc961372a783a68223
LAST-MODIFIED:20141022T140414Z
SUMMARY:RISC Forum
DTSTART:20141103T123000Z
DTEND:20141103T131000Z
DESCRIPTION:Wolfgang.Schreiner\, Walther Neuper: Polynomial Arithmetic
  in Isabelle
LOCATION:Seminar Room pond\, RISC
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR