OxTalks is Changing
During Michaelmas Term, OxTalks will be moving to a new platform (full details are available on the Staff Gateway).
For now, continue using the current page and event submission process (freeze period dates to be advised).
If you have any questions, please contact halo@digital.ox.ac.uk
Name: Professor Kevin Buzzard
Imperial
https://www.imperial.ac.uk/people/k.buzzard
Events this person is speaking at:
Tuesday 6 May 2025
The Lean Theorem Prover/Will computers prove theorems?
Date: 6 May 2025, 14:30 - 16:30
Speaker
s:
Professor Leo De Moura (AWS),
Professor Kevin Buzzard (Imperial)
Venue: Mathematical Institute, Woodstock Road OX2 6GG
Venue Details: Lecture Theatre 1
Organisers:
TBA
Hosts:
TBA
