Smith theory is a type of equivariant localization with respect to a cyclic group of prime order pp, with coefficients in a field of the same characteristic pp. It has been the source of various recent advances in modular representation theory and mod pp Langlands functoriality, some of which will be discussed later in the seminar. I will give an introduction to the basic formalism.