Prof. Kevin Buzzard | Formalizing Fermat: how it's going

Title: Formalizing Fermat: how it's going Speaker: Professor Kevin Buzzard (Imperial College London) Date: 9th Jun 2025 - 10:15 to 11:15 🗓️ Event: (BPRW03) Big proof: formalizing mathematics at scale 🔗 Find out more: https://www.newton.ac.uk/seminar/46695 ------------------- FOLLOW US 🌐| Website: https://www.newton.ac.uk 🎥| Main Channel: https://www.youtube.com/@isaacnewtoninstitute 🐦| Twitter: https://twitter.com/NewtonInstitute 💬| Facebook: https://www.facebook.com/newton.institute 📷| Instagram: https://www.instagram.com/isaacnewtoninstitute 🔗| LinkedIn: https://www.linkedin.com/company/isaac-newton-institute-for-mathematical-sciences SEMINAR ROOMS 🥇| INI Seminar Room 1: https://www.youtube.com/@iniseminarroom1 🥈| INI Seminar Room 2: https://www.youtube.com/@iniseminarroom2 🛰️| INI Satellite Events: https://www.youtube.com/@inisatellite ABOUT The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period. 👉 Learn more about us and our events here: https://www.newton.ac.uk