1: \begin{abstract}

2: We define and analyse the properties of contact Lie systems, namely systems of first-order differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional Lie algebra of Hamiltonian vector fields relative to a contact manifold. All contact automorphic Lie systems associated with left-invariant contact forms on three-dimensional Lie groups are classified. In particular, we study the so-called conservative contact Lie systems, which are invariant relative to the flow of the Reeb vector field. Liouville theorems, contact Marsden--Weinstein reductions, and Gromov non-squeezing theorems are developed and applied to contact Lie systems. Our results are illustrated by examples with relevant physical and mathematical applications, e.g. Schwarz equations, Brockett systems, quantum mechanical systems, etc. Finally, a Poisson coalgebra method for the determination of superposition rules for contact Lie systems is developed.

3: \end{abstract}

4: