BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T044024Z
CREATED:20160314T160929Z
UID:ATEvent-70697ea3164841e0abc23a07c75d6257
LAST-MODIFIED:20160411T124908Z
SUMMARY:RISC Forum
DTSTART:20160411T113000Z
DTEND:20160411T123000Z
DESCRIPTION:David Cerna: Conference SCSS16\; Xinhua Xiong: Self-introd
 uction\; Tudor Jebelean: Proof-based Synthesis of Sorting Algorithms f
 or Trees
LOCATION:Seminar room castle
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR
