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