BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Formalizing Fermat: how it's going - Kevin Buzzard (Imperial Colle
 ge London)
DTSTART:20250609T091500Z
DTEND:20250609T101500Z
UID:TALK230596@talks.cam.ac.uk
DESCRIPTION:I am running an EPSRC-funded 5 year project which involves tea
 ching a modern proof of Fermat's Last Theorem to the Lean theorem prover. 
 It has been running for just over 8 months. In the talk I'll explain more 
 about the goals\, and give an overview of how it's going and the things th
 at we've learnt so far. Rest assured that I will not be assuming that the 
 audience knows anything about the technicalities of the proof.\n&nbsp\;
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR