Hi Bob. Below is an announcement from Types, which may be interesting to others on the categories list: they are having a year on dependent types at the Institute of Advanced Study (run by Steve Awodey, Thierry Coquand, and Vladimir Voevodsky) , and many category theorists will be there (some even resident) during the course of the year. Here is the website: http://www.math.ias.edu/sp/univalent For now, though, the wiki started below is still very basic. Cheers, Phil Begin forwarded message:
From: Vladimir Voevodsky <vladimir@ias.edu> Date: August 30, 2012 2:20:24 PM EDT To: Types list list <types-announce@lists.seas.upenn.edu>, Coq Club <coq-club@inria.fr>, agda list <agda@lists.chalmers.se> Subject: [TYPES/announce] IAS program wiki
[ 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.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]