  Time in quantum gravity is not a well-defined notion, despite its central
role in the very definition of dynamics. Using the formalism of quantum
geometrodynamics, we shortly review the problem and illustrate it with two
proposed solutions. Our main application is quantum cosmology -- the
application of quantum gravity to the Universe as a whole.
