- Developments in formal proofs, Bourbaki seminar, June 2014.
- Lessons learned from the formal Proof of the Kepler Conjecture, University of Edinburgh, March 2012.
- Computers and the future of mathematical proof, IMA Public Lecture, March 2005.
- Introduction to the fundamental lemma, Fields Institute, June 2003.
- Can p-adic integrals be computed? Conference on Automorphic Forms,
Institute for Advanced Study, April 2001.