Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* [HoTT] HoTT 2019 proceedings — deadline extension
@ 2019-11-15 22:19 Peter LeFanu Lumsdaine
  0 siblings, 0 replies; only message in thread
From: Peter LeFanu Lumsdaine @ 2019-11-15 22:19 UTC (permalink / raw)
  To: HomotopyTypeTheory, Categories list, constructivenews

[-- Attachment #1: Type: text/plain, Size: 2400 bytes --]

Dear all,

We are extending the submission deadline for the HoTT 2019 proceedings
special issue of MSCS; the new deadline is *Friday 13 December*.

Two notes for submitters:

- If you already submitted for the original deadline but would like to use
the extra time to revise your submission, let us know, and we will hold
back from sending your submission out for refereeing for now.

- There are problems with the MSCS LaTeX class file currently linked in the
author instructions.  Hopefully this should be fixed soon, but for now,
don’t worry about putting submissions into the journal style — this can be
done later after acceptance.

Best wishes,
–Peter and Dan.

Original CfP:

Submissions are now open for a special issue of Mathematical Structures in
Computer Science on the proceedings of the HoTT 2019 conference, edited by
Dan Licata and Peter LeFanu Lumsdaine.

Papers on work presented at the HoTT19 conference are particularly
encouraged, but the special issue is open to any work on homotopy type
theory and related research areas.

Specific topics include but are not limited to: homotopical and
higher-categorical semantics of type theory; synthetic homotopy theory;
applications of univalence and higher inductive types; cubical type
theories and cubical models; formalization of mathematics and computer
science in homotopy type theory / univalent foundations; and new type
theories based on higher-dimensional ideas.

To submit a paper, please follow the general MSCS submission procedure at
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science
.
When giving the submission details, select “Homotopy Type Theory 2019” for
the field “Special Issue”.

More information at:
- https://www.cambridge.org/core/news/homotopy-type-theory
-
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science
- https://hott.github.io/HoTT-2019/

Best,
Dan and Peter.

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-%3DyOcx5dLEuG0vC5eTQq7EXY88LYZrTQGEmMf2BSU6e5Q%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 3436 bytes --]

<div dir="ltr"><div dir="ltr"><div>Dear all,</div><div><br></div><div>We are extending the submission deadline for the HoTT 2019 proceedings special issue of MSCS; the new deadline is *Friday 13 December*.</div><div><br></div><div>Two notes for submitters:</div><div><br></div><div><div style="color:rgb(0,0,0)">- If you already submitted for the original deadline but would like to use the extra time to revise your submission, let us know, and we will hold back from sending your submission out for refereeing for now.</div><div style="color:rgb(0,0,0)"><br></div></div><div>- There are problems with the MSCS LaTeX class file currently linked in the author instructions.  Hopefully this should be fixed soon, but for now, don’t worry about putting submissions into the journal style — this can be done later after acceptance.</div><div><br></div><div>Best wishes,</div><div>–Peter and Dan.</div><div><br></div><div>Original CfP:</div><div dir="ltr"><br></div><div dir="ltr">Submissions are now open for a special issue of Mathematical Structures in Computer Science on the proceedings of the HoTT 2019 conference, edited by Dan Licata and Peter LeFanu Lumsdaine.<br><br>Papers on work presented at the HoTT19 conference are particularly encouraged, but the special issue is open to any work on homotopy type theory and related research areas.<br><br>Specific topics include but are not limited to: homotopical and higher-categorical semantics of type theory; synthetic homotopy theory; applications of univalence and higher inductive types; cubical type theories and cubical models; formalization of mathematics and computer science in homotopy type theory / univalent foundations; and new type theories based on higher-dimensional ideas.<br><br>To submit a paper, please follow the general MSCS submission procedure at <a href="https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science" target="_blank">https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science</a> .  When giving the submission details, select “Homotopy Type Theory 2019” for the field “Special Issue”.<div><br></div><div>More information at:</div><div>- <a href="https://www.cambridge.org/core/news/homotopy-type-theory" target="_blank">https://www.cambridge.org/core/news/homotopy-type-theory</a></div><div>- <a href="https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science" target="_blank">https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science</a><br>- <a href="https://hott.github.io/HoTT-2019/" target="_blank">https://hott.github.io/HoTT-2019/</a><br><br></div><div>Best,</div><div>Dan and Peter.</div></div></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &quot;Homotopy Type Theory&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:HomotopyTypeTheory+unsubscribe@googlegroups.com">HomotopyTypeTheory+unsubscribe@googlegroups.com</a>.<br />
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-%3DyOcx5dLEuG0vC5eTQq7EXY88LYZrTQGEmMf2BSU6e5Q%40mail.gmail.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-%3DyOcx5dLEuG0vC5eTQq7EXY88LYZrTQGEmMf2BSU6e5Q%40mail.gmail.com</a>.<br />

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-15 22:19 [HoTT] HoTT 2019 proceedings — deadline extension Peter LeFanu Lumsdaine

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git