BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An invitation to univalent foundations of mathematics - Dr Jon Ste
 rling - Department of Computer Science and Technology\, University of Camb
 ridge
DTSTART:20231025T140500Z
DTEND:20231025T145500Z
UID:TALK205306@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:Voevodsky’s univalent foundations and homotopy type theory c
 omprise a new and radical approach to the foundations of mathematics in wh
 ich the structural properties of equality are extended to every possible f
 orm of equivalence and symmetry\, leading to an expanded universe of disco
 urse in which ordinary sets and algebraic structures exist harmoniously al
 ongside infinite-dimensional spaces. In this talk\, I will expose the basi
 c grammar and vocabulary of the new univalent foundations — and explain 
 how they shed light on basic problems in theoretical computer science and 
 the specification of computer programs.\n\nLink to join virtually: https:/
 /cam-ac-uk.zoom.us/j/81322468305\n\nA recording of this talk is available 
 at the following link: https://www.cl.cam.ac.uk/seminars/wednesday/video/
LOCATION:Lecture Theatre 1\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR