* [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; only message in thread
From: Benedikt Ahrens @ 2018-10-25 16:47 UTC (permalink / raw)
To: types-announce, homotopytypetheory, coq-club, agda, eutypes,
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
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.
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
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:
* 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 HomotopyTypeTheoryemail@example.com.
For more options, visit https://groups.google.com/d/optout.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-10-25 16:47 UTC | newest]
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
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).