This lecture gives the proof of the horizontal Bonnet-Myers theorem for Riemannian foliations with totally geodesic leaves. The proof relies on diffusion semigroups methods.

Part 1 covers sections 6.1 and half of section 6.2 in the Lecture Notes and part 2 cover the other half of section 6.2.