BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260307T064547Z
CREATED:20161116T113746Z
UID:ATEvent-39ea55ebb7f0416f8e60530513e4c760
LAST-MODIFIED:20161116T113759Z
SUMMARY:RISC Forum
DTSTART:20161205T123000Z
DTEND:20161205T130000Z
DESCRIPTION:Wolfgang Schreiner: Verifying Algorithms via Checking Fini
 te Instances
LOCATION:Seminar room castle
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR