From: Peter LeFanu Lumsdaine <p.l.lu...@gmail.com>
To: types-a...@lists.seas.upenn.edu,
"HomotopyT...@googlegroups.com" <homotopyt...@googlegroups.com>
Subject: Deadline extension: JAR special issue on HoTT/UF
Date: Fri, 18 Nov 2016 23:07:10 +0000 [thread overview]
Message-ID: <CAAkwb-nHsgvuy8mAVTp7oVkCrgS4LVw94u2F_RNX8_t0uq9TLQ@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1821 bytes --]
Dear all,
by popular demand, the deadline for submissions is extended by a week, to
Sunday 27 November.
Best,
–Peter and Nicolas.
------------------------------------------------------------
-----------------
CALL FOR PAPERS
Journal of Automated Reasoning
Special Issue on Homotopy Type Theory and Univalent Foundations
First Call for Papers
Guest editors: Peter LeFanu Lumsdaine & Nicolas Tabareau
Submission deadline: 27 Nov 2016
Notification: 20 Mar 2017
------------------------------------------------------------
-----------------
This special issue is devoted to the 2nd international workshop on Homotopy
Type Theory / Univalent Foundations (HoTT/UF 2016):
http://hott-uf.gforge.inria.fr/
Homotopy Type Theory/Univalent Foundations is a young area of logic,
combining ideas from several established fields: the use of dependent
type theory as a foundation for mathematics, informed by ideas and
tools from abstract homotopy theory.
The workshop focus on the practical formalisation of mathematics in
HoTT/UF-based style, in computer proof assistants (Coq, Agda, Lean, …).
Submission to this special issue is open. We expect original articles
(typically 20-30 pages) that present high-quality contributions,
and that must not be simultaneously submitted for publication elsewhere.
Submissions must be written in English and comply with JAR's author
guidelines
*http://www.springer.com/computer/theoretical+computer+science/journal/10817
<http://www.springer.com/computer/theoretical+computer+science/journal/10817>*
Submission is over easychair:
https://easychair.org/conferences/?conf=hottufspecialissue16
Please send any queries you may have to Nicolas Tabareau (
nicolas....@inria.fr)
[-- Attachment #2: Type: text/html, Size: 5508 bytes --]
reply other threads:[~2016-11-18 23:07 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAAkwb-nHsgvuy8mAVTp7oVkCrgS4LVw94u2F_RNX8_t0uq9TLQ@mail.gmail.com \
--to="p.l.lu..."@gmail.com \
--cc="homotopyt..."@googlegroups.com \
--cc="types-a..."@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).