BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Formalizing mathematics today - Kevin Buzzard (Imperial College Lo
 ndon)
DTSTART:20260331T103000Z
DTEND:20260331T113000Z
UID:TALK245710@talks.cam.ac.uk
DESCRIPTION:Formalization of mathematics is the process of translating it 
 from human language into the language of a computer proof assistant such a
 s Lean. Ten years ago it was mostly computer scientists doing it\, but now
  both mathematicians and machines have joined in. I will talk about the fo
 llowing questions. What is the point of doing it? Should humans or compute
 rs be doing it (related question: is it a science\, or an art)? What are t
 he pain points? And what does the future hold?
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR