coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] HoTT/UF 2017: 2nd Call for Participation

From: Benedikt Ahrens <benedikt.ahrens AT gmail.com>
To: types-announce AT lists.seas.upenn.edu, homotopytypetheory <homotopytypetheory AT googlegroups.com>, agda AT lists.chalmers.se, eutypes AT cs.ru.nl, Univalent Mathematics <univalent-mathematics AT googlegroups.com>, coq-club AT inria.fr, lean-user AT googlegroups.com
Subject: [Coq-Club] HoTT/UF 2017: 2nd Call for Participation
Date: Thu, 10 Aug 2017 13:19:43 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=benedikt.ahrens AT gmail.com; spf=Pass smtp.mailfrom=benedikt.ahrens AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr0-f177.google.com
Ironport-phdr: 9a23:Q3S4YBQpkRsFqrmxW5dQkN9EBNpsv+yvbD5Q0YIujvd0So/mwa67ZBKAt8tkgFKBZ4jH8fUM07OQ6PGwHzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjSwbLdxIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlDkIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZHI2yb5YBAekPM+lWoIbyu1QAoACiBQSvHu7j1iNEi3H00KA8zu8vERvG3AslH98WrXnbstP1O7kPXuC0z6nI0SjIYu9W2Tfn9ofIdAshquyLUL1rb8XRz1cgGB7EjlWTtYzpJSma1uQXs2eF6epgTvmii2Eiqw5rozivwt0ghZXOhoIQ013J8zhyzogyJd29UkF7YNikHYNftyGbK4t2Qt4iTHpytCY7zb0Lv4OwcisSyJk/2RLTd/iKf5KL7x/jTuqdPCl0iXF/dL6ihRu/81Csx+/4W8WuzlpHoTZJnsPRun0CyxDf8NaLR/9780y8wziAzRrT5ftBIU0slarUNZohwrkom5oWq0vDHyv2lFz4ja+Makko4+ao5/nlb7jkvJOcOIh0igbxMqQqhMOzG/g3Mg8LX2SD+OS80qPs/VHhTblUkvE7lrPVvZPaKMgBu6K1HQxY3pw+5xu9DTqqyNEYkmMGLFJBdhKHlY/pO1TWLf/jE/i/hUqjnypqx/DFIr3tGI/CLnjZkLj/e7Z98FVRyAU2zd9F5pJUDqsNL+70Wk/0rNDYFAM2MxSow+b7D9Vwzp8RWWWWAqOALKzStUKI6fk0LumXZI4VvS79JOI/6/7vi385g14dcrOz0ZsZcnDrVshhdlmIeXf3x94HF2AXuAEzZOjrk0GZFyVebm30Qrox4Dd9BY67Sc/DQYWqnLuZzTuqBpBKZm1BEEHERXfvcoKYXO8ddDOKL9NhnzseRJCuTIgu0Ryhrgjn06EhJe3RrGlQvJ3v3fBx5vbPjlc59TVwCsmHyCeWQiU8k34UVic7x4h0ugpn1xGF1ewwvvpZC9VX6vVVGiIzKZ7RyuVmCtvpElbceNaXQVKrRMnjBDgtTt80ysMPaF1VFNKlgRTO0DCtHqcO0beMAcpwuqnbxj36I9t343fAzqgoyVc8BoNLOGSgw7Nk+hL7CInOnEGUmLytaLwHmiXK8TSt122L6WtVVgN8UKbZFVkffEbQtpyt7E7EQrOvCqhhOwtbxMiZAqRPY9zty15BQaGwa5zlf2utljLoVl6zzbSWYd+vIj1F0Q==

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

[Coq-Club] HoTT/UF 2017: 2nd Call for Participation, Benedikt Ahrens, 08/10/2017