Re: [Coq-Club] 2016-2017 at the IAS

Re: [Coq-Club] 2016-2017 at the IAS

[Vladimir Voevodsky]

[-- Attachment #1.1: Type: text/plain, Size: 720 bytes --]

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-7sGGXJK9R50@public.gmane.org> 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.
> 


[-- Attachment #1.2: Message signed with OpenPGP using GPGMail --]
[-- Type: application/pgp-signature, Size: 496 bytes --]

[-- Attachment #2: Type: text/plain, Size: 169 bytes --]

_______________________________________________
Agda mailing list
Agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org
https://lists.chalmers.se/mailman/listinfo/agda