As is well known, many materials freeze at low temperatures. Microscopically, this means that their molecules form a phase where there is long range order in their positions. Despite their ubiquity, proving that these freezing transitions occur in realistic microscopic models has been a significant challenge, and it remains an open problems in continuum models at positive temperatures. In this talk, I will focus on lattice particle models, in which the positions of particles are discrete, and discuss a general criterion under which crystallization can be proved to occur. The class of models that the criterion applies to are those in which there is *no sliding*, that is, particles are largely locked in place when the density is large. The tool used in the proof is Pirogov-Sinai theory and cluster expansions. I will present the criterion in its general formulation, and discuss some concrete examples.

This is joint work with Qidong He and Joel L. Lebowitz.