BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Homotopy theory and dependent type theory
DTSTART:20111115T141500
DTSTAMP:20260415T035705Z
UID:fafbf7a177b411cca6c52df5325541e1a0bb02589b6570f859ea964d
CATEGORIES:Conferences - Seminars
DESCRIPTION:Eric Finster\, EPFL\n
LOCATION:MA 10
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR