Langlands Program, Trace Formulas, and their Geometrization - Edward Frenkel (Bull. Amer. Math. Soc., 2012)