Univalent Foundations - How to Apply

  1. To apply for Term I, Term II or full year membership at the institute go to
    https://www.math.ias.edu/administration/how-to-apply
    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