9-10 Jun 2016
Canterbury, England
Workshop at Kent: Type Theory and Philosophy, 9-10 June 2016 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. There is some funding for PhD students and postdocs. Enquiries to me at d.corfield@kent.ac.uk. Best wishes, David Corfield -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam