* HoTT/UF 2017: 2nd Call for Participation
@ 2017-08-10 11:19 Benedikt Ahrens
0 siblings, 0 replies; only message in thread
From: Benedikt Ahrens @ 2017-08-10 11:19 UTC (permalink / raw)
To: types-a..., homotopytypetheory, ag..., eut...,
Univalent Mathematics, coq-..., lean...
==========================================================
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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2017-08-10 11:19 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-08-10 11:19 HoTT/UF 2017: 2nd Call for Participation Benedikt Ahrens
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).