We announce the following result: every maximal globally hyperbolic 3-dimensional spacetime with compact Cauchy surface, and with nonpositive constant curvature admits a unique time function whose fibers are constant mean curvature surfaces. We discuss the extension of this result in higher dimensions.