coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFP: special issue of JAR on HoTT and univalent foundations

From: nicolas tabareau <nicolas.tabareau AT inria.fr>
To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, "HomotopyTypeTheory AT googlegroups.com" <HomotopyTypeTheory AT googlegroups.com>
Subject: [Coq-Club] CFP: special issue of JAR on HoTT and univalent foundations
Date: Mon, 25 Jul 2016 09:54:58 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tabareau.nicolas AT gmail.com; spf=Pass smtp.mailfrom=tabareau.nicolas AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f68.google.com
Ironport-phdr: 9a23:mv7CBxfurad+XzjybWIwDLLtlGMj4u6mDksu8pMizoh2WeGdxc+ybR7h7PlgxGXEQZ/co6odzbGH6+a+ASdavsfJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/mj6bso9aJPFQArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBLnrZ6kjCLVeCjM7NWs4zMnqrgXYCxCC72BaT30blBwODgTYqFnxWY60uS/nvMJ83jObNIv4V/R8ExSl6qB3Twf5tDYfOgI5/WbNm+R/i6VUpB+uvRti25WSa4aQfrIqXqTYes8dXXt9T95cayxMBZmtR4QICOUFMOlCqJTlvB0Fqh7oVjOhHOf+9jgdgH792qkzyKI9GAvPxgEpAvoPtm7VpZP7LvQ8S+ewma/JxjLHZugexT734ZLFew1p9feNVrV0eNGX1UAlHhnIh0i4qIr/PjrT2P5b4DvT1PZpSe/60z1vkAp2uDX6nso=

-----------------------------------------------------------------------------

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: 20 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.tabareau AT inria.fr)

The HoTT/UF organizers

[Coq-Club] CFP: special issue of JAR on HoTT and univalent foundations, nicolas tabareau, 07/25/2016