Proving Without Explaining, and Checking Without Understanding Scott Aaronson (MIT) Symposium on Proof, UPenn, Nov. 9, 2012 Looks good to me!
Feasible Combinatorial Matrix Theory - MFCS2013
Probabilistically Checkable Proofs Madhu Sudan MIT CSAIL.
