Univalent Foundations of Mathematics


Welcome to the wiki of the special year on Univalent Foundations of Mathematics 2012/2013 at the Institute for Advanced Study in Princeton, NJ, coorganized by Steve Awodey, Thierry Coquand and Vladimir Voevodsky.

This wiki contains various material relevant to this special program.

Organization


A list of the participants to the special year is available at IAS program participants

On an average week we have

See Working Groups for more general informations on the working groups.

An up-to-date Google Calendar is available at Calendar.

Note: the seminars are sometimes recorded and the videos are available here: http://video.ias.edu/sm.

Notes from the final organizational meeting.

Resources


Notes, code, slides, references and resources are listed in the following pages (in alphabetical order), don’t hesitate to add relevant resources.


Other noteworthy pages



Technical informations


This wiki is set to "protected" mode which means that everyone can read everything but only members of the wiki can edit pages. Even without being a member of the wiki one can create a "discussion post" on any page. To do it press the button to the right from the "Edit" button in the top right area of the page and then the "new post" button.

To request membership please click "Join" (or, if you have a Wikispaces account, "Sign in") button located in the right upper corner of the window and follow the instructions provided there. In order for your request to be approved your real name should either be clear from your login name or be available on your Wikispaces profile page.

You can see everything that has been added or changed on the wiki since your last visit at Recent Changes.