[Agda] Call for Participation: Workshop on HoTT/UF (with FSCD 2017)
Simon Huber
simonhu at chalmers.se
Fri Jul 28 14:50:32 CEST 2017
==========================================================
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.
More information about the Agda
mailing list