[TYPES/announce] next year memberships at the IAS

[Vladimir Voevodsky]

Hello,

there is now an explicit mention here https://www.math.ias.edu/administration/membership <https://www.math.ias.edu/administration/membership> and also in the Institute for Advanced Study MathJobs  announcement of the memberships that we are expected to offer next year (and the following years) in formalization of mathematics and related fields.

Please apply!

Vladimir.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150729/96618b66/attachment-0001.html>
-------------- 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.seas.upenn.edu/pipermail/types-announce/attachments/20150729/96618b66/attachment-0001.asc>