"Gaitsgory gives an informal introduction to the geometric Langlands program. This is a new and very active area of research which grew out of the theory of automorphic forms and is closely related to it. Roughly speaking, in this theory we everywhere replace functions—like automorphic forms—by sheaves on algebraic varieties; this allows us to use powerful methods of algebraic geometry in order to construcut "automorphic sheaves.""