[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, I have created a wiki for the forthcoming special year on Univalent Foundations at IAS. The wiki is in a very rudimentary stage yet but it will eventually get more content. It is here: uf-ias-2012.wikispaces.com Vladimir.