BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T095424Z
CREATED:20151124T154140Z
UID:ATEvent-6c1d7565bfd644f784aa28f0c72e1c9f
LAST-MODIFIED:20151130T145000Z
SUMMARY:RISC Forum
DTSTART:20151207T123000Z
DTEND:20151224T130500Z
DESCRIPTION:David Cerna: Space Analysis of a Predicate Logic Fragment 
 for the Specification of Stream Monitors\; Wolfgang Windsteiger: The R
 TMO Project at RISC Software
LOCATION:Seminar room pond
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR