Events

Here are some future and past HoTT events.

Upcoming:

• The Institute for Advanced Study will have a year-long special program devoted to the Univalent Foundations Program in 2012-13.  See the list of Participants here.
• Mathematic Foundations of Programming Semantics in Bath 6-9.6. will feature a special session on Logic, Computation and Algebraic Topology, with talks by Andrej Bauer, Nicola Gambino and others.  Steve Awodey will also give an invited lecture.
• The 4th Workshop on Formal Topology in Ljubljana 15-19.6. will feature several talks related to HoTT, including keynote speakers Per Martin-Löf, Ieke Moerdijk, and Vladimir Voevodsky.
• There will be a 4WFT-related Workshop on Higher Dimensional Algebra, Categories and Types in Ljubljana 20.6., with talks by Thorsten Altenkirch, Steve Awodey, Emily Riehl, and others.
• The European Logic Colloquium in Manchester 12-18.7 will feature a special session on HoTT, with talks by Peter Aczel, Nicola Gambino, Martin Hyland, and Peter Lumsdaine.
• There will be a special issue of Mathematical Structures in Computer Science, entitled “From Type Theory and Homotopy Theory to Univalent Foundations”.  See the call for papers here.

Past:

• There was a mini-course on Modern perspectives in homotopy theory: Infinity categories, Infinity operads, and Homotopy Type Theory in Swansea, 10-13.4.12, featuring talks by Moerdijk, Gepner, and Shulman.
• Steve Awodey gave a plenary lecture on HoTT at the 2011 Logic Colloquium in Barcelona.  The slides are here.
• There was a mini-workshop on the Homotopy Interpretation of Constructive Type Theory, held 27.2.11 – 5.3.11 at the Mathematisches Forschungsinstitut in Oberwolfach Germany.  Here are a few photos, and here is a copy of the workshop report.
• Here are the slides from Thierry Coquand’s talk at Oberwolfach.
• Nicola Gambino gave a plenary lecture on HoTT at the 2010 Logic Colloquium in Paris.  The slides are here.

To add something to this list, just leave a reply below.