BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UM//UM*Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Detroit
TZURL:http://tzurl.org/zoneinfo/America/Detroit
X-LIC-LOCATION:America/Detroit
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20070311T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20071104T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260129T100652
DTSTART;TZID=America/Detroit:20260227T130000
DTEND;TZID=America/Detroit:20260227T140000
SUMMARY:Workshop / Seminar:Type theory seminar: Identity types
DESCRIPTION:This is a learning seminar on dependent type theory\, following Egbert Rijke's book \"Introduction to Homotopy Type Theory.\" This talk will cover chapter 5 of Rijke's book\, on identity types.
UID:144703-21895743@events.umich.edu
URL:https://events.umich.edu/event/144703
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 3088
CONTACT:
END:VEVENT
END:VCALENDAR