May 8 — 11, 2013, there was a special session on Univalent Foundations at the North American Annual Meeting of the Association for Symbolic Logic in Waterloo, Canada. Vladimir Voevodsky was a plenary speaker.

September 22 — 27, 2013, there was a Conference on Type Theory, Homotopy Theory, and Univalent Foundations at the Centre de Recerca Matemàtica, Bellaterra (Barcelona). See the Program announcement here.

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.

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.