Benedikt Ahrens
unread,Aug 10, 2017, 7:19:47 AM8/10/17Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Sign in to report message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to types-a...@lists.seas.upenn.edu, homotopytypetheory, ag...@lists.chalmers.se, eut...@cs.ru.nl, Univalent Mathematics, coq-...@inria.fr, lean...@googlegroups.com
==========================================================
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.