A double bill of big hitters for this annual lecture from the Department of Computer Science.
Leo De Moura (Amazon Web Services)- Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Kevin Buzzard (Imperial College) - Will Computers prove theorems?
14:30, Lecture Theatre 1, Mathematical Institute
Images
Bulletin category
Weight
0