Shimura varieties play an important role in the Langlands program since their cohomology con-jecturally realizes correspondences between Galois representations and representations of linear algebraic groups. I will give an overview of recent results on the geometry of the reduc-tion modulo a prime p of Shimura varieties.