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:20171105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a24fa3cb5f6f
DTSTART;TZID=America/Toronto:20180927T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20180927T150000
URL:https://uwaterloo.ca/pure-mathematics/events/homotopy-type-theory-semin
 ar-1
SUMMARY:Homotopy Type Theory Seminar
CLASS:PUBLIC
DESCRIPTION:JOHN DYKES\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF WAT
 ERLOO\n\n\"Putting the \"Homotopy\" in Homotopy Type Theory\"\n\nIn this w
 eek's meeting of the Homotopy Type Theory Seminar\, we begin\nby reviewing
  path induction. We then interpret Martin-Lof type theory\nin a homotopy-t
 heoretic manner\, viewing types as higher groupoids and\nfunctions as func
 tors. We also discuss in detail how the notion of a\nhomotopy between path
 s is related to identity types. Those who did not\nattend previous meeting
 s are still encouraged to come!\n\nMC 5413
DTSTAMP:20260607T045732Z
END:VEVENT
END:VCALENDAR