Logic List Mailing Archive

CfP: SI of Mathematical Structures in Computer Science on Advances in Homotopy Type Theory, Deadline: 31 January 2024

Dear all

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 i
n Homotopy Type Theory held at Carnegie Mellon University in May 2023 are e
ncouraged, but other papers are welcome too.


  �Submissions should be made via the MSCS Scholar One portal, choosing t
he 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, N
icola Gambino, and myself)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php