[Agda] 2016-2017 at the IAS

[Vladimir Voevodsky]

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.chalmers.se/pipermail/agda/attachments/20151013/2b23d47e/signature.bin