Shtukas for reductive groups and Langlands correspondence for function fields

We discuss recent developments in the Langlands program for function fields, and in the geometric Langlands program. In particular we explain a canonical decomposition of the space of cuspidal automorphic forms for any reductive group G over a function field, indexed by global Langlands parameters. The proof uses the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence.