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

Submission is over easychair:

https://easychair.org/conferences/?conf=hottufspecialissue16

Please send any queries you may have to Nicolas Tabareau (nicolas....@inria.fr)