The six-vertex model of statistical mechanics is a prototypical model for the area with lots of different applications. Initially motivated by modelling the formation of ice it has for instance be used in proving the Alternating Sign Matrix Conjecture in enumerative combinatorics.