* IAS Univalent Foundations Program 2012-2013
@ 2011-09-20 14:17 Steve Awodey
0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 2011-09-20 14:17 UTC (permalink / raw)
To: categories
Dear Categories,
A new announcement for the 2012-13 special program on Univalent
Foundations of Mathematics at the Institute for Advanced Study in
Princeton, NJ has been put on the institute web-page http://www.math.ias.edu/
.
This program has connections to homotopy theory and higher categories,
and applications from researchers working in those areas -- and
interested in such connections -- are most welcome.
The announcement contains information on how to apply for the program.
Feel free to contact the organizers (Steve Awodey, Thierry Coquand,
Vladimir Voevodsky) with other questions and for more detailed
information.
Regards,
Steve Awodey
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-09-20 14:17 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-09-20 14:17 IAS Univalent Foundations Program 2012-2013 Steve Awodey
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).