9-10 June 2016, Workshop at Kent: Type Theory and Philosophy, Canterbury, England

This is a workshop to be held in Canterbury which explores how type theory might play the kinds of role in philosophy taken at present by standard calculi such as first-order logic, set theory and modal logic. The event will consist of tutorials and talks and is open to anyone who would like to find out more about type theory.

For more details see https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy.