From 2a62c8a04914d86e556645a50c8d3ab0375fb524 Mon Sep 17 00:00:00 2001 From: Jonas Frey Date: Tue, 23 Jan 2024 19:21:38 -0500 Subject: [PATCH] update --- index.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/index.md b/index.md index 5123b4d..6d53c52 100644 --- a/index.md +++ b/index.md @@ -18,10 +18,8 @@ Submissions are now open for a **special issue** of [Mathematical Structures in Computer Science](https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science) entitled **Advances in Homotopy Type Theory**. Papers based on talks presented -at the International Conference in Homotopy Type Theory held at Carnegie Mellon -University in May 2023 are encouraged. Submissions should be made via the [MSCS -Scholar One -portal](https://mc.manuscriptcentral.com/mscs), +at the Conference are encouraged. Submissions should be made via the [MSCS +Scholar One portal](https://mc.manuscriptcentral.com/mscs), choosing the name of the special issue from the drop-down list on page one.