  We prove an analogue for algebraic stacks of Hermite-Minkowski's finiteness
theorem from algebraic number theory, and establish a Chevalley-Weil type
theorem for integral points on stacks. As an application of our results, we
prove analogues of the Shafarevich conjecture for some surfaces of general
type.
