[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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.
