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)