This monograph focuses on the geometric theory of motivic integration, which takes its values in the Grothendieck ring of varieties. This theory is rooted in a groundbreaking idea of Kontsevich and was further developed by Denef & Loeser and Sebag. It is presented in the context of formal schemes over a discrete valuation ring, without any restriction on the residue characteristic. The text first discusses the main features of the Grothendieck ring of varieties, arc schemes, and Greenberg schemes. It then moves on to motivic integration and its applications to birational geometry and non-Archimedean geometry. Also included in the work is a prologue on p-adic analytic manifolds, which served as a model for motivic integration. With its exten...