[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/UF, at FSCD 2017)
September 8-9, 2017, Oxford, United Kingdom

1. Invited talks
2. Contributed talks now on the website
3. Special issue with MSCS

1. Invited talks/tutorials
* Thorsten Altenkirch (University of Nottingham):
  Naïve Type Theory (tutorial)
* Ulrik Buchholtz (Technical University of Darmstadt):
  Formalizing type theory in type theory using nominal techniques
* Thierry Coquand (University of Gothenburg):
  Sheaf models for univalent type theory

2. Contributed talks
Titles and abstracts for the contributed talks are now available
on the website:

3. Special issue with MSCS
The publication of a special issue in association with
the HoTT/UF workshop is being planned, in the journal
*Mathematical Structures in Computer Science* (CUP).

Submission to the special issue will be open to all.
Submissions will be reviewed and published on a rolling
basis on MSCS 'FirstView'.
More details will be given in a separate announcement.

Reply via email to