The Department of Philosophy at the University of Bristol will be hosting the closing conference of the project Applying Homotopy Type Theory in Logic, Metaphysics, and Philosophy of Physics , on September 13-15th, 2016.
Both the project and the conference are generously funded by the Leverhulme Trust.
HoTT and Philosophy 