A pair of metric spaces (X;Y) is said to have the Lipschitz extension property if any Lipschitz map from a subset of X into Y can be extended to a globally defined Lipschitz map to the whole space X. In this talk I will first recall some classical extension results for spaces with a linear structure, and I will present recent results for the case when the target space Y is the Heisenberg group.