Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonas-frey
jonas-frey committed Jan 24, 2024
1 parent 44dd78d commit 2a62c8a
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.


Expand Down

0 comments on commit 2a62c8a

Please sign in to comment.