[ 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. Post-proceedings 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. Post-proceedings with MSCS ============================= The publication of post-proceedings of the HoTT/UF'17 workshop is being planned, as a special issue of *Mathematical Structures in Computer Science* (CUP). Submission to the post-proceedings will be open to all, with a submission deadline in late spring 2018. More details will be announced in due course.