coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Types list list <types-announce AT lists.seas.upenn.edu>, Coq Club <coq-club AT inria.fr>, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, Agda mailing list <agda AT lists.chalmers.se>, categories AT mta.ca
Cc: "Prof. Vladimir Voevodsky" <vladimir AT ias.edu>
Subject: Re: [Coq-Club] 2016-2017 at the IAS
Date: Wed, 25 Nov 2015 08:41:00 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vladimir AT ias.edu; spf=None smtp.mailfrom=vladimir AT ias.edu; spf=None smtp.helo=postmaster AT pps3.ias.edu
Ironport-phdr: 9a23:7nWrYRItQMQXkCAA19mcpTZWNBhigK39O0sv0rFitYgSLvXxwZ3uMQTl6Ol3ixeRBMOAu68C1Lqd7v2ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLoh6vvptX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4CXSVQaUrn8dSXlelhtTH0CR8ADiU4y0uy38sfd70ySyOcztUatyQjmr9OF2UBLujmEKOyNvtCn8jdU4p6ZGqlr1rBtmhoXQfYu9Nfxkf6qbc8lMASJhWcNWSytZE8uAfpMCR9YBMOFCvsGpp1wLqge5HRiwFfvi1j9FgWXn9aI91OslHA7c2xE4BJQFt3GC6J3cO6sbGeW8za3JyzqLa/JNxX+p4YfEezgloOqQRvR7ccPVzEQ1DEXegwPU4YfsIz6a0f4MvnOz6vZpE+mm2EA9rAQknDymysYpi5OBuIUY1FfI7iZoiNIrIdS0SUt6e/alGYAWui2HYdglCvg+Sn1l7X5pgoYNvoS2KW1TkMwq

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.
>

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

Re: [Coq-Club] 2016-2017 at the IAS, Vladimir Voevodsky, 11/25/2015