Fwd: [TYPES/announce] IAS program wiki

Fwd: [TYPES/announce] IAS program wiki

[Philip Scott]

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/ ]