BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20180311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20181104T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a24c53d7910a
DTSTART;TZID=America/Toronto:20181115T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20181115T150000
URL:https://uwaterloo.ca/pure-mathematics/events/homotopy-type-seminar
SUMMARY:Homotopy Type Seminar
CLASS:PUBLIC
DESCRIPTION:ANDREJ VUKOVIC\, PURE MATH DEPARTMENT\, UNIVERSITY OF WATERLOO 
 \n\n\"Univalence Implies Function Extensionality\" \nSince we did not get 
 around to it last time\, in this week's meeting of\nthe Homotopy Type Theo
 ry Seminar\, we prove that univalence implies\nfunction extensionality. \n
 MC 5413
DTSTAMP:20260607T011125Z
END:VEVENT
END:VCALENDAR