1. Georges Gonthier, The Computer Mathematics of Planarity streaming video
2. Jeremy Avigad, Verifying real inequalities streaming video
3. Tom Hales, Relaxation and the Kepler Conjecture streaming video
4. John Harrison, Hol Light streaming video
5. Andrzej Trybulec, changed to Arthur Kornilowicz Mizar streaming video
6. Rob Arthan, ProofPower streaming video
7. Laurent Thery, Coq streaming video