Dear Categories, A new announcement for the 2012-13 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/ . This program has connections to homotopy theory and higher categories, and applications from researchers working in those areas -- and interested in such connections -- are most welcome. The announcement contains information on how to apply for the program. Feel free to contact the organizers (Steve Awodey, Thierry Coquand, Vladimir Voevodsky) with other questions and for more detailed information. Regards, Steve Awodey [For admin and other information see: http://www.mta.ca/~cat-dist/ ]