The first part of the text is dedicated to developing the notion of automorphic representations. Next, it states a rough version of the Langlands functoriality conjecture, motivated by the description of unramified admissible representations of reductive groups over nonarchimedean local fields. The next chapters develop the theory necessary to make the Langlands functoriality conjecture precise.  Thus supercuspidal representations are defined locally, cuspidal representations and Eisenstein series are defined globally, and Rankin-Selberg L-functions are defined to give a link between the global and local settings. This preparation complete, the global Langlands functoriality conjectures are stated and known cases are discussed.

This is followed by a treatment of distinguished representations in global and local settings.  The link between distinguished representations and geometry is explained in a chapter on the cohomology of locally symmetric spaces (in particular, Shimura varieties).  The trace formula, an immensely powerful tool in the Langlands Program, is discussed in the final chapters of the book.  Simple versions of the general relative trace formulae are treated for the first time in a textbook, and a wealth of related material on algebraic group actions is included.  Outlines for several possible courses are provided in the Preface.