The ADM formalism applied to homogeneous cosmologies -- The Hamiltonian formalism: Simple examples, their classical and quantum behavior -- The Hamiltonian formulation applied to more complex systems -- Applications to Bianchi-type universes -- Superspace -- Quantization.