BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T095326Z
CREATED:20150914T062705Z
UID:ATEvent-9d4c58b2425d4e7f982641307f489560
LAST-MODIFIED:20150914T062724Z
SUMMARY:Risc Colloquium
DTSTART:20150928T113000Z
DTEND:20150928T123000Z
DESCRIPTION:Tetsuo Ida: On a geometric algebra: its formalization by t
 he proof assistant and application to computational origami
LOCATION:Seminar room pond
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR