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


  "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:

  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