1. Jean B. Lasserre, Moments, Sum of Squares and Semidefinite Programming. streaming video
2. John Harrison, Formalizing Mathematics. streaming video