abstract We prove that, for any theory defined over a space-time with boundary, the symplectic form derived in the covariant phase space is equivalent to the one derived from the canonical formalism.