BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260417T123019Z
CREATED:20170123T133900Z
UID:ATEvent-0734193e09dc466b8b303775a5df1eb9
LAST-MODIFIED:20170123T133905Z
SUMMARY:RISC Forum
DTSTART:20170123T123000Z
DTEND:20170123T131500Z
DESCRIPTION:Peter Paule: announcement `10 years DESY-RISC colloquium'\
 ; David Cerna: Clausal\nanalysis in proof theory
LOCATION:Seminar room castle
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR