next year memberships at the IAS

0 views

Skip to first unread message

Vladimir Voevodsky

unread,

Jul 29, 2015, 10:00:53 PM7/29/15

to homotopytypetheory, Types list list, Coq Club, Agda mailing list, Prof. Vladimir Voevodsky, Bob Constable

Hello,

there is now an explicit mention here 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.

signature.asc

Reply all

Reply to author

Forward

0 new messages