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: Wed, 14 Oct 2015 11:25:13 -0400
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:1aLeYBUDHlbYgIyA5pgLbtLNBbfV8LGtZVwlr6E/grcLSJyIuqrYYBeHt8tkgFKBZ4jH8fUM07OQ6PC8Hzxfqsbe+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8GVM1oD1GX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S48VWARjh1QEkD5/Qn3Fqvxvyzgp6Ip2C6fOtHxVaEoSCyv86dmTwX5oCgAMDE9/W7NjdFol+RQpxf341RUxJecS4WIPrIqdaTEONgeWGBpX8BLViUHDJnqK8MmAOYIdeNRro38oVRGqRqlGUH4DezjwxdMh2Tqxusx0+0lFAzcx0o7EoRK+EjFtNjufKMTSvz9yKjT0X2Xc+JO1Cy44Y7OdQ0nqvykWbNrbdGX0kQmDEXYlliWr8roMy7DhcoXtG3O0e5pWeOqinRvlQZ8vD+j3cQ9wt3XgosZy1XF7w14yZ1zKNGlHh0oKeW4GYdd4nnJf7B9RdkvFiQx4H43

(sending again, with an important addition, since the first time did not
work)

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.

This year we will be specifically looking for one mid- or late career person
to help me (V.V) with the mentoring of the young members of the group. The
salary for this position will be substantially higher than the standard
membership salary.

Vladimir.

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