The core model induction, Boise Extravaganza in Set Theory, March 29, 2009, pdf

Hods of models of determinacy, Steel VIG, January 31, 2009,  pdf

The Mouse Set Conjecture, CUNY Logic Workshop, NYC, November 21, 2008. pdf

                                               Lake Tahoe, January 2009