  We prove that the, appropriately rescaled, boundary of the north polar region
in the Aztec diamond converges to the Airy process. The proof uses certain
determinantal point processes given by the extended Krawtchouk kernel. We also
prove a version of Propp's conjecture concerning the structure of the tiling at
the center of the Aztec diamond.
