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:20260208T220419
DTSTART;TZID=America/Detroit:20260213T130000
DTEND;TZID=America/Detroit:20260213T140000
SUMMARY:Workshop / Seminar:Type theory seminar: Inductive 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 4 of Rijke's book\, on inductive types.
UID:144700-21895741@events.umich.edu
URL:https://events.umich.edu/event/144700
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 3088
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260209T181619
DTSTART;TZID=America/Detroit:20260213T132000
DTEND;TZID=America/Detroit:20260213T135000
SUMMARY:Performance:Adam Lenhart\, carillon
DESCRIPTION:Graduate student Adam Lenhart performs on the Ann & Robert H. Lurie Carillon\, an instrument of 60 bells with the lowest bell (bourdon) weighing 6 tons.\n\nThirty-minute recitals are performed on the Lurie Carillon every weekday that classes are in session. During these recitals\, visitors may take the elevator to level 2 to view the largest bells\, or to level 3 to see the carillonist performing. (Visitors subject to acrophobia are recommended to visit level 2 only.) An optional spiral stairway between levels 2 and 3 allows for up-close views of some of the largest bells.
UID:144370-21895240@events.umich.edu
URL:https://events.umich.edu/event/144370
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Free,Music,North Campus
LOCATION:Lurie Ann & Robert H. Tower
CONTACT:
END:VEVENT
END:VCALENDAR