Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
* [HoTT] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations
@ 2018-10-25 16:47 Benedikt Ahrens
  0 siblings, 0 replies; 1+ messages in thread
From: Benedikt Ahrens @ 2018-10-25 16:47 UTC (permalink / raw)
  To: types-announce, homotopytypetheory, coq-club, agda, eutypes,
	univalent-mathematics, lean-user



		       Open call for papers
                       for a Special Issue of

             Mathematical Structures in Computer Science

                 in association with the workshops on

            Homotopy Type Theory and Univalent Foundations
                        HoTT/UF 2017-2018

            https://hott-uf.github.io/special-issue-17-18/


BACKGROUND

Homotopy Type Theory is a young research area combining ideas from
several established fields: the use of dependent type theory as a
foundation for mathematics, inspired by ideas and tools from abstract
homotopy theory and higher category theory. Univalent Foundations are
foundations of mathematics based on the homotopical interpretation of
type theory. These ideas have led to many interesting developments,
from the study of syntax and semantics of type theories to practical
formalizations in proof assistants based on univalent type theory.

The HoTT/UF workshops, co-located with FSCD since 2016, started out as
a forum for formalization of mathematics in a univalent setting. From
the 2017 edition and onwards, its scope has been broadened to
encompass all aspects of Homotopy Type Theory and Univalent
Foundations, in particular (but not exclusively):

- semantics of (univalent) type theory,
- computational content of the univalence axiom,
- syntax and semantics of higher inductive types,
- synthetic homotopy theory, and
- formalization of mathematics and computer science in Homotopy Type
   Theory and Univalent Foundations.


SPECIAL ISSUE

We are soliciting submissions for a Special Issue of the journal

*Mathematical Structures in Computer Science*
(Cambridge University Press)

edited in association with the 2017 and 2018 editions of the HoTT/UF
workshop. Submission is open to everyone and not limited to workshop
participants.

Submission is open from now and contributions will be reviewed on a
*rolling basis*, as soon as they are received. Accepted papers will be
published on the MSCS website via 'FirstView' and will be citeable
through a DOI shortly after acceptance - before the completion of the
whole journal issue (expected end of 2019). Submission will be closed
on December 31, 2018.

For details and submission instructions see:

https://hott-uf.github.io/special-issue-17-18/


GUEST EDITORS

* Benedikt Ahrens
* Simon Huber
* Anders Mörtberg


-- 
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.
For more options, visit https://groups.google.com/d/optout.

^ permalink raw reply	[flat|nested] 1+ messages 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 --
2018-10-25 16:47 [HoTT] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations Benedikt Ahrens

Discussion of Homotopy Type Theory and Univalent Foundations

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

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


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