A concise review of the progress of lattice calculations at non-zero density since QM2006, with emphasis on the high baryon density, low temperature domain. Possibilities for exploring densities higher than those studied by standard techniques are analysed. The phase transitions of cold, dense matter, where the sign problem remains severe, are discussed in the context of QCD-like models and app...