[TYPES/announce] Workshop - Practical and Foundational Aspects of Type Theory - Tuesday 19 June, Canterbury, Kent, UK

[Simon Thompson]

Practical and Foundational Aspects of Type Theory


An Interdisciplinary Workshop hosted by the Centre for Reasoning, University of Kent

Workshop Announcement - **Tuesday 19th June 2018**



Theme


Students of formal logic or foundations of mathematics often first encounter the phrase "type theory" in the context of Bertrand Russell's ramified theory of types. But type theory is in fact a diverse field of formal systems, many of which are currently undergoing rapid and fruitful development. This workshop will be devoted to certain theoretical aspects and practical implementations of dependent type theory - notably developed by Swedish logician, philosopher, and computer scientist Per Martin-Löf - which has been shown to have surprising and powerful connections to abstract fields of mathematics such as category theory and more recently homotopy theory. Dependent type theory can serve as: a foundation for constructive/intuitionistic mathematics; a logic and functional programming language under the propositions-as-types paradigm or Curry-Howard correspondence; and even as a basis for formal semantics of natural language. More generally, dependent type theory as a logic offers an alternative to classical first order predicate calculus in its various applications.



Speakers

​David Corfield (Philosophy, Kent)
Noam Zeilberger (Computer Science, Birmingham)
Sam Speight (Computer Science, Oxford)
Dominic Orchard (Computer Science, Kent)
Marco Paviotti (Computer Science, Kent)
Gavin Thomson (Philosophy, Kent)
Attendance

The workshop will begin at 9.30am with teas and coffees available from 9am. The venue will be Cornwallis Seminar Room 2 (TBC), University of Kent, Canterbury campus. 

**If you are interested in attending, please email grt20 at kent.ac.uk <mailto:grt20 at kent.ac.uk> as soon as possible (for reasons of catering, venue size, etc).**

​Further Details

A full schedule will soon be published at https://ncatlab.org/davidcorfield/show/Practical+and+Foundational+Aspects+of+Type+Theory <https://ncatlab.org/davidcorfield/show/Practical+and+Foundational+Aspects+of+Type+Theory>

Best Wishes,
Gavin Thomson



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180607/5354c202/attachment-0001.html>