Mathematics Research Community in HoTT
Posted by Emily Riehl
I am delighted to announce that from June 4-10, 2017, there will be a workshop on homotopy type theory as one of the AMS’s Mathematical Research Communities.
The MRC program, whose workshops are held in the “breathtaking mountain setting” of Snowbird Resort in Utah,
nurtures early-career mathematicians — those who are close to finishing their doctorates or have recently finished — and provides them with opportunities to build social and collaborative networks to inspire and sustain each other in their work.
The organizers for the HoTT MRC include our fearless leader Chris Kapulkin, Dan Christensen, Dan Licata, Mike Shulman and myself.
The goal of this workshop is to bring together advanced graduate students and postdocs having some background in one (or more) areas such as algebraic topology, category theory, mathematical logic, or computer science, with the goal of learning how these areas come together in homotopy type theory, and working together to prove new results. Basic knowledge of just one of these areas will be sufficient to be a successful participant.
If you are a peridoctoral student (within a few years of your Ph.D. on either side) and are interested in HoTT, perhaps as a new research direction (as it is for me), please consider applying! The MRC program is run by the American Mathematical Society and therefore directed at U.S. citizens or students affiliated with U.S. institutions, though a few international participants or researchers beyond the targeted mathematical age range may be accepted on a case-by-case basis. Women and underrepresented minorities are especially encouraged to apply.
Even though the application deadline is not until March 1, we would appreciate it for planning purposes if interested folks could apply as soon as possible. I think this has the potential to be a really exciting week and a great way to “jump-start” a research career in HoTT.
The program description contains more information about potential research directions that participants will work on during the week of the workshop. The specific problems we work on, for instance in synthetic homotopy theory which is ripe with “low-hanging fruit”, will be tailored to the strengths and interests of those attending, which is another reason why it would be helpful to apply as soon as possible.
Feel free to direct questions to any of the organizers or ask them in the comments below.