Emptiness formation probability of the six-vertex model and the sixth Painlev\'e equation

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.