BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Model Invariance Problem in Homotopy Type Theory - Anthony Bordg
  (University of Cambridge)
DTSTART:20181030T141500Z
DTEND:20181030T151500Z
UID:TALK112528@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:I will present a model invariance problem in the context of th
 e semantics of Homotopy Type Theory and I will report on progress towards 
 a model invariance principle.
LOCATION:MR4\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR