BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20161205T123000Z
DTEND:20161205T130000Z
DCREATED:20161116T113746Z
UID:ATEvent-39ea55ebb7f0416f8e60530513e4c760
SEQUENCE:0
LAST-MODIFIED:20161116T113759Z
SUMMARY:RISC Forum
DESCRIPTION:Wolfgang Schreiner: Verifying Algorithms via Checking Fini
 te Instances
LOCATION:Seminar room castle
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR