coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2016-2017 at the IAS

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, Coq Club <coq-club AT inria.fr>, Agda mailing list <agda AT lists.chalmers.se>, Types list list <types-announce AT lists.seas.upenn.edu>
Cc: "Prof. Vladimir Voevodsky" <vladimir AT ias.edu>
Subject: [Coq-Club] 2016-2017 at the IAS
Date: Tue, 13 Oct 2015 15:33:49 -0400
Authentication-results: mail2-smtp-roc.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:we14IxOvMa2bx2LRZZkl6mtUPXoX/o7sNwtQ0KIMzox0Lv/5rarrMEGX3/hxlliBBdydsKIYzbqL+Pm5CCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTrkbDvsMSKMk1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCuI43wAVX0H2iZZGwWN0BH3WY3g+n/6se96xC6CLNHnVb0oWTml9bZDRxjvhyMKOCQ+7XnMzMd3ifQf6DmmvlRUx5PeKNWeM+M7dafAd/sbQ3BAV4BfTXoFSqqzY4JHCuMAOedeoMH5pkAS5U+3CgWlLOfu0SNTwHT21Kk/3v46VxrLikhoI8MWvW+cqNTuKO8WUPuphP3U3C3OdLZf3zH69Y7DfzgloOqQRvRrfMPKj1Q3GgXDyFictNq2ESmS07Ezt2GX7u9hT6qRjGM5rA1qoSnnktkog4XIg4MP4lHN7mN0zJtjdo7wc1JyfdPxSMgYjCqdLYYjB5p6G2w=

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

[Coq-Club] 2016-2017 at the IAS, Vladimir Voevodsky, 10/13/2015
- [Coq-Club] 2016-2017 at the IAS, Vladimir Voevodsky, 10/14/2015