CfP: HoTT 2019 proceedings, MSCS special issue

[Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com>]

Dear all,

Submissions are now open for a special issue of Mathematical Structures in
Computer Science on the proceedings of the HoTT 2019 conference, edited by
Dan Licata and Peter LeFanu Lumsdaine.

Submission deadline: 15 November, 2019

Papers on work presented at the HoTT19 conference are particularly
encouraged, but the special issue is open to any work on homotopy type
theory and related research areas.

Specific topics include but are not limited to: homotopical and
higher-categorical semantics of type theory; synthetic homotopy theory;
applications of univalence and higher inductive types; cubical type
theories and cubical models; formalization of mathematics and computer
science in homotopy type theory / univalent foundations; and new type
theories based on higher-dimensional ideas.

To submit a paper, please follow the general MSCS submission procedure at
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science
.  When giving the submission details, select “Homotopy Type Theory  2019”
for the field “Special Issue”.

More information at:
- https://www.cambridge.org/core/news/homotopy-type-theory
-
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science
- https://hott.github.io/HoTT-2019/

Best,
Dan and Peter.

Dan Licata, Wesleyan University, USA, dlicata@wesleyan.edu
Peter LeFanu Lumsdaine Stockholm University, Sweden,
p.l.lumsdaine@math.su.se


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]