Arakelov theory is a new geometric approach to diophantine equations. It combines algebraic geometry, in the sense of Grothendieck, with refined analytic tools such as currents on complex manifolds and the spectrum of Laplace operators. It has been used by Faltings and Vojta in their proofs of outstanding conjectures in diophantine geometry.