  We show that the emptiness formation probability of the six-vertex model with
domain wall boundary conditions at its free-fermion point is a $\tau$-function
of the sixth Painlev\'e equation. Using this fact we derive asymptotics of the
emptiness formation probability in the thermodynamic limit.
