The purpose of this talk is to give quantitative convergence estimates proving that time splitting methods for quantum dynamics converge uniformly in the semiclassical regime. (Joint work with Shi Jin and Thierry Paul).