  We establish basic results on p-adic shtukas and apply them to the theory of
local and global Shimura varieties, and on their interrelation. We construct
canonical integral models for (local, and global) Shimura varieties of Hodge
type with parahoric level structure.
