BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:What is HoTT? - Professor Steve Awodey - Departments of Philosophy
  and Mathematics\, Carnegie Mellon University 
DTSTART:20260128T150500Z
DTEND:20260128T155500Z
UID:TALK237235@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:Abstract:  Homotopy Type Theory (HoTT) is a new field of resea
 rch combining constructive type theory\, homotopy theory\, and higher cate
 gory theory\, with applications to the formalization of mathematics.  This
  survey talk will introduce the basic theory\, explain the surprising conn
 ection between the foundations of mathematics and algebraic topology\, and
  survey some of the resulting developments in formal theorem proving in th
 e years since its discovery.  \n\nAbout the speaker: Steve Awodey is a Roy
 al Society Wolfson Visiting Fellow at Cambridge CST for 2026-7.  In real l
 ife he is the Dean’s Chair of Logic at Carnegie Mellon University.\n\nLi
 nk to join virtually: https://cam-ac-uk.zoom.us/j/89473073451\n\nA recordi
 ng of this talk is available at the following link: https://www.cl.cam.ac.
 uk/seminars/wednesday/video/\n\nThis talk is being recorded. If you do not
  wish to be seen in the recording\, please avoid sitting in the front thre
 e rows of seats in the lecture theatre. Any questions asked will also be i
 ncluded in the recording. The recording will be made available on the Depa
 rtment’s webpage
LOCATION:Lecture Theatre 1\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR