Recent Progress in Formal Theory
  This is a summary talk covering recent progress in perturbative methods for gauge theories and gravity, applications of AdS/CFT duality, vacuum energy, and string theory models of particle physics and cosmology. 
Joseph Polchinski