coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
First Call for Papers
Guest editors: Peter LeFanu Lumsdaine & Nicolas Tabareau
Submission deadline: 20 Nov 2016
Notification: 20 Mar 2017
-----------------------------------------------------------------------------
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
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:
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
Archive powered by MHonArc 2.6.18.