BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:New Foundations: the story of a large formalisation project - Sky 
 Wilshaw (University of Nottingham)
DTSTART:20241024T160000Z
DTEND:20241024T170000Z
UID:TALK222292@talks.cam.ac.uk
CONTACT:Anand Rao Tadipatri
DESCRIPTION:In this talk\, I will discuss the experiences and challenges o
 f running a successful formalisation project: proving the consistency of Q
 uine’s set theory New Foundations. The main focus will be on the interes
 ting and unexpected ways in which large formalisation projects differ from
  small ones\, and how we can use formalisation to get better at ‘paper
 ’ mathematics.\n\n=== Hybrid talk ===\n\nRecording: https://www.youtube.
 com/watch?v=2MBe6minTfE
LOCATION:MR14 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR