Featuring updated versions of two research courses held at the Centre Émile Borel in Paris in 2001, this book describes the mathematical theory of convergence to equilibrium for the Boltzmann equation and its relation to various problems and fields. It also discusses four conjectures for the kinetic behavior of the hard sphere models and formulates four stochastic variations of this model, also reviewing known results for these.