[TYPES/announce] [Coq-Club] 2016-2017 at the IAS

[Vladimir Voevodsky]

Hello,

let me provide another reminder: the deadline for applications for the 206/17 academic year at the IAS is December 1, 2015.

With best regards,
Vladimir.

> On Oct 13, 2015, at 3:33 PM, Vladimir Voevodsky <vladimir at ias.edu> wrote:
> 
> Hello,
> 
> I would like to remind to everybody that just as the last year, this year year the School of Mathematics at the Institute for Advanced Study in Princeton is looking for applications for memberships from people working in the Univalent Foundations as well as other areas of Type Theory, Constructive Mathematics and formalization of mathematics.
> 
> The applications can be submitted through the MathJobs.
> 
> Vladimir.
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151125/2dbac535/attachment-0001.asc>