Hello, and my apologies for multiple postings. A new announcement for the special program on Univalent Foundations of Mathematics at the Institute for Advanced Study in Princeton, NJ has been put on the institute web-page http://www.math.ias.edu/ . The new announcement contains info on how to apply for the program. Vladimir Voevodsky.