abstract: CAT(0) cube complexes are cellular complexes built using euclidean cubes and admitting a non-positively curved metric. They are crucial in Agol's solution of the virtual Hacken conjecture. In this talk I will give equivalent definitions of CAT(0) cube complexes, examples and discuss related questions. This talk will be accessible to non-specialists.