OxTalks is Changing
OxTalks will soon be transitioning to Oxford Events (full details are available on the Staff Gateway). A two-week publishing freeze is expected in early Hilary to allow all events to be migrated to the new platform. During this period, you will not be able to submit or edit events on OxTalks. The exact freeze dates will be confirmed as soon as possible.
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
