The list of participants in the next year program on the Univalent Foundations at the IAS, Princeton, NJ is now posted at http://www.math.ias.edu/sp/univalent/participants It will be updated as more info becomes available. Vladimir.