We survey the connections between modular forms and representations of Galois groups that are predicted by the Langlands programme. We focus in particular on the applications of congruences between modular forms (through automorphy lifting theorems) to an improved understanding of these connections, including the author’s recent joint work with James Newton on the existence of the symmetric power liftings of Hilbert modular forms.