Smooth valuations on manifolds are studied by establishing a link with the Rumin-de Rham complex of the co-sphere bundle. Several operations on differential forms induce operations on smooth valuations: signature operator, Rumin-Laplace operator,
Euler-Verdier involution and derivation operator. As an application, Alesker’s Hard Lefschetz Theorem for even translation invariant valuations on a finite-dimensional Euclidean space is generalized to all translation invariant valuations. The proof uses K¨ahler
identities, the Rumin-de Rham complex and spectral geometry.