BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T044028Z
CREATED:20160913T063455Z
UID:ATEvent-0f8acdd35a324bb69318376e9e8e74ed
LAST-MODIFIED:20161012T061214Z
SUMMARY:Risc Colloquium
DTSTART:20161017T113000Z
DTEND:20161017T123000Z
DESCRIPTION:Prof. Masahiko Sato: Proof theory of the lambda calculus
LOCATION:Seminar room castle
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR