BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20150928T113000Z
DTEND:20150928T123000Z
DCREATED:20150914T062705Z
UID:ATEvent-9d4c58b2425d4e7f982641307f489560
SEQUENCE:0
LAST-MODIFIED:20150914T062724Z
SUMMARY:Risc Colloquium
DESCRIPTION:Tetsuo Ida: On a geometric algebra: its formalization by t
 he proof assistant and application to computational origami
LOCATION:Seminar room pond
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR