Advances in Homotopy type theory - MSCS special issue

[Maria Emilia Maietti]

Dear constructivists,

I am writing to invite you to  submit papers to a special issue of

Mathematical Structures in Computer Science

entitled

 “Advances in Homotopy Type Theory”.


 Submissions based on talks presented at the International Conference
in Homotopy Type Theory held at Carnegie Mellon University in May 2023
are encouraged, but other papers are welcome too.


 Submissions should be made via the MSCS Scholar One portal, choosing
the name of the special issue from the drop-down list on page one:
 https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science

 The deadline for submissions is

       31st January 2024.

 Many thanks for your attention!


 Milly Maietti

(on behalf of the guest editors, Thorsten Altenkirch, Benno van den
Berg, Nicola Gambino, and myself)