[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
========================================================== CALL FOR PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF, at FSCD 2017) September 8-9, 2017, Oxford, United Kingdom https://hott-uf.github.io/2017/ ========================================================== Contents: 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: https://hott-uf.github.io/2017/ 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.