Univalent Foundations - How to Apply

  1. To apply for Term I, Term II or full year membership at the institute go to
    In the application form please choose “Computer science and discrete mathematics” as the field of work (even if you are a homotopy-theorist!) and mention “Univalent Foundations” in the “Specific Field of Research” area.
  2. To apply for a short term visit contact Vladimir Voevodsky at vladimir @ ias . edu