I will report some recent progress in the study of local models of Shimura varieties, including the proof of the coherence conjecture of Pappas-Rapoport and the Kottwitz conjecture.