coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: Workshop on HoTT/UF (with FSCD 2017)

From: Simon Huber <simonhu AT chalmers.se>
To: <types-announce AT lists.seas.upenn.edu>, "HomotopyTypeTheory AT googlegroups.com" <homotopytypetheory AT googlegroups.com>, <coq-club AT inria.fr>, <agda AT lists.chalmers.se>, <eutypes AT cs.ru.nl>, <univalent-mathematics AT googlegroups.com>, <lean-user AT googlegroups.com>
Subject: [Coq-Club] Call for Participation: Workshop on HoTT/UF (with FSCD 2017)
Date: Fri, 28 Jul 2017 14:50:32 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=simonhu AT chalmers.se; spf=None smtp.mailfrom=simon.huber AT cse.gu.se; spf=None smtp.helo=postmaster AT arryn.ita.chalmers.se
Ironport-phdr: 9a23:QY/qdxEGSFs+0guJz/Mm1Z1GYnF86YWxBRYc798ds5kLTJ7yr8uwAkXT6L1XgUPTWs2DsrQf2rqQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOT43/m/Ul8J+kr5Urh2gpxFk347UeZuYOOZicq/Bf94XQ3dKUMZLVyxGB4Oxd5YBD+sEPeZfqYn2ulkArQalCgayHuPk1zhFhmT33a0/1OQhFwHG3BE7Et0SsHTbttH1NKIMXuCv16nE1y7DYO1P1Dr79YPGfBchofSWUrJxd8rc0UYvFwLZjlWQtIzqJCmZ1uUKs2Wd8uFuVvqvhnY6pw1vpjWj3Nogh4jTio4L1FzJ9D91zJs7KNC7UEJ3fMCoHZ9Kuy2HNoZ6WN4uT31ytCokxbALuZi2dzUQxps93R7QcfmHfpCI4h39UOaRJi91i2h/eLKlhxey91KsyuzgVsauylpFsipFncPItnAIyRPT8NOHRuFm/ki/wTqP1gbT5f9YIU0siKbXNZoszqQtmpcSq0jPADH6lUTsgKOLeEgp+fCk6+H9bbXnop+cOZV0igb7Mqk2gcy/AOE4Mg8IX2SB+eS8yabs8lPjQLhRkvI2ibfWvIrVJcQGvKK5GBFa3p456xmjFzemzMgYnX4fIV1ZfxKHlpHlNE3KIPDlFviymE+skTdux/DeJLLtGJTNLn7ZkLfgZ7lx8UBcyBBghexYssZIG6kMO7f6XEn2qdrTAzc9Mheo2KD8BdxmkJ4GVGSJRKKVLfWW+RWo4ecoP+6UdbMEoDvBK/Ui/e/Ggng+llsQcrOuwIMMLnu/G74ud0WeZH3whc8QDXYSsxY+QevwmXWNVjlcY3u9RaUh/ip9A4WjW8OLEouqmfmK2DqxNpxQfGFPTF6WRzOgI4yLV/4kbCOJPtQnmTwNUb2sUZRnzhz48Eeuxqd7P/LZ4QUTrtT5yZ5z47uX3UUv8z1qBsCQ1X3ISmhonm4NTiM317tXrkt6xVOO3rJ/nuRDU9dU4qUNGlM+OJfaivFhBsraVQXGcdOER0yhX829Rzo2S4Ri7cUJZhNGGtCliFjjwiCnGfdBjL2OA5o074rX33H1Istn0DDd2f9y3BEdXsJTODj+1eZE/A/JCtuRng==

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

[Coq-Club] Call for Participation: Workshop on HoTT/UF (with FSCD 2017), Simon Huber, 07/28/2017