BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20170123T123000Z
DTEND:20170123T131500Z
DCREATED:20170123T133900Z
UID:ATEvent-0734193e09dc466b8b303775a5df1eb9
SEQUENCE:0
LAST-MODIFIED:20170123T133905Z
SUMMARY:RISC Forum
DESCRIPTION:Peter Paule: announcement `10 years DESY-RISC colloquium'\
 ; David Cerna: Clausal\nanalysis in proof theory
LOCATION:Seminar room castle
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR