Move on to the covariant formulation of loop quantum gravity, that is to the spin foam formalism. Brief summary of the kinematical states of the theory [cylindrical functions and spin networks, as in lattice gauge theory]. Summary of the covariant definition of the dynamics: spin foams as histories of spin networks, defined by 2-complexes with the same type of coloring as spin network states.