The announcement and the preliminary description of the 2012-2013 special program are on the IAS web site now. Go to http://www.math.ias.edu/ and click at the link under "Univalent Foundations of Mathematics". Vladimir.