These talks will give an introductory survey of the following topics: an introduction to the Langlands conjectures in their classical form as motivated from problems in number theory and automorphic representation theory, uses of the trace formula and problems such as the fundamental lemma that it motivates, and a survey of the proof of the fundamental lemma and its transfer back to characteristic zero.