[TYPES/announce] Deadline extension: JAR special issue on HoTT/UF
Peter LeFanu Lumsdaine
p.l.lumsdaine at gmail.com
Fri Nov 18 18:07:10 EST 2016
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.tabareau at inria.fr)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161118/103d7e8c/attachment.html>
More information about the Types-announce
mailing list