BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Homotopy type theory and weak factorization systems - Paige North\
 , DPMMS
DTSTART:20140306T140000Z
DTEND:20140306T150000Z
UID:TALK51348@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:I will explain the connection between homotopy type theory and
  weak factorization systems\, and describe the kinds of weak factorization
  systems that can arise from models of homotopy type theory.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR