[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