This workshop, sponsored by AIM and the NSF, will be devoted to new developments in integral p-adic cohomology theories, focusing in particular on their applications to the study of integral models of Shimura varieties. The main topics for the workshop are (1) Prismatic/syntomic realizations for Shimura varieties beyond hyperspecial level. (2) Characterizing and constructing integral models of local and global Shimura varieties. (3) Applications to automorphic forms and cohomology of Shimura varieties