We will start these series by reviewing the general framework of geometric Langlands correspondence, and state the main conjectures in the de Rham and Betti settings. We will also recall V. Lafforgue’s theorem about the spectral decomposition in the classical Langlands over function fields. We will then proceed to the formulation of “restricted” Langlands correspondence, which unifies the different contexts. We will state the restricted version of the geometric Langlands conjecture, and explain its relation with the classical Langlands conjecture via the operation of categorical trace.