BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20161017T113000Z
DTEND:20161017T123000Z
DCREATED:20160913T063455Z
UID:ATEvent-0f8acdd35a324bb69318376e9e8e74ed
SEQUENCE:0
LAST-MODIFIED:20161012T061214Z
SUMMARY:Risc Colloquium
DESCRIPTION:Prof. Masahiko Sato: Proof theory of the lambda calculus
LOCATION:Seminar room castle
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR