[TYPES/announce] HoTT/UF 2017: 2nd Call for Participation

[Benedikt Ahrens]

==========================================================
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.