From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.99.103.66 with SMTP id b63mr786704pgc.81.1479510431866; Fri, 18 Nov 2016 15:07:11 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.157.46.111 with SMTP id c44ls7949026otd.21.gmail; Fri, 18 Nov 2016 15:07:11 -0800 (PST) X-Received: by 10.237.40.66 with SMTP id r60mr364659qtd.21.1479510431023; Fri, 18 Nov 2016 15:07:11 -0800 (PST) Return-Path: Received: from mail-vk0-x241.google.com (mail-vk0-x241.google.com. [2607:f8b0:400c:c05::241]) by gmr-mx.google.com with ESMTPS id s82si556567vke.3.2016.11.18.15.07.10 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 18 Nov 2016 15:07:11 -0800 (PST) Received-SPF: pass (google.com: domain of p.l.lu...@gmail.com designates 2607:f8b0:400c:c05::241 as permitted sender) client-ip=2607:f8b0:400c:c05::241; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com; spf=pass (google.com: domain of p.l.lu...@gmail.com designates 2607:f8b0:400c:c05::241 as permitted sender) smtp.mailfrom=p.l.lu...@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Received: by mail-vk0-x241.google.com with SMTP id x186so19029683vkd.2 for ; Fri, 18 Nov 2016 15:07:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=lAYXok9+3DYAfI1CoKVP0M03Hs51sWAZKGA3a/xT0uw=; b=lDMD0ILApc9QPy+Qu2K0tWoivVAI4kFZxuMfuHuPzgiZKGPH4OjJ4EtaJG9aHHawmr 5Q3CKfHVIxO4kG6qhLe9q3JHe0+aiHJR+BDccDlnCsw8TLH0f2/543pj67IRr0O3IE6W Xq5UnbBlbbQ8bSALlPUqIoIYTkVE7mYHGyTrjkHFUoQBV598XcIVH3PLJ5CSNXL/3D39 q0q/O1p6USJiJOrOlUDkUaeOBfyEBE5+8fcsmbmOUxjMx58VI7VP5IWBMWxsI3cOxOKd iqMvOXL8G2DdFdnydMAmVth73Oijm6yiYisg3o7ICK/M2H1G0LX9JMGzKuQfAh//7hho zT/g== X-Gm-Message-State: AKaTC03/YYQlkg0yd3db+t/j2EKpiD05zI/e092+coAxA0YXVfGep5kMMufIfJVNuKc3K0FWmjg3WoSNgzdQGQ== X-Received: by 10.31.170.208 with SMTP id t199mr1240152vke.6.1479510430783; Fri, 18 Nov 2016 15:07:10 -0800 (PST) MIME-Version: 1.0 Received: by 10.159.37.176 with HTTP; Fri, 18 Nov 2016 15:07:10 -0800 (PST) From: Peter LeFanu Lumsdaine Date: Fri, 18 Nov 2016 23:07:10 +0000 Message-ID: Subject: Deadline extension: JAR special issue on HoTT/UF To: types-a...@lists.seas.upenn.edu, "HomotopyT...@googlegroups.com" Content-Type: multipart/alternative; boundary=001a11432a6aab1d7205419b5d24 --001a11432a6aab1d7205419b5d24 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear all, by popular demand, the deadline for submissions is extended by a week, to Sunday 27 November. Best, =E2=80=93Peter 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, =E2=80= =A6). 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/1081= 7 * Submission is over easychair: https://easychair.org/conferences/?conf=3Dhottufspecialissue16 Please send any queries you may have to Nicolas Tabareau ( nicolas....@inria.fr) --001a11432a6aab1d7205419b5d24 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear all,

by popular = demand, the deadline for submissions is extended by a week, to Sunday 27 No= vember.

Best,
=E2=80=93Peter and N= icolas.

----------------------------------------------------------= -------------------
=C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0CALL FOR PAPERS

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0=C2=A0Journal of A= utomated Reasoning

Special=C2=A0Issue= =C2=A0on=C2=A0Homotopy Type Theory and Uni= valent Foundations

First Call for Papers
Guest editors:=C2=A0 Peter LeFanu Lumsdaine & Nicolas= Tabareau
Submission deadline:=C2=A027 Nov 2016
Notification:=C2=A020 Mar 2017

=
------------= ------------------------------= ------------------------------= -----


This=C2=A0special= =C2=A0issue=C2=A0is devoted to the 2nd international workshop on=C2=A0Hom= otopy Type Theory / Univalent Foundations=C2=A0(HoTT/UF 2016):

http://hott-uf.gforge.inria.fr/

Hom= otopy Type Theory/Univalent Foundations is a young area of logic,=C2=A0
combining ideas from several= established fields: the use of dependent=C2=A0
type theory as a foundation for mathematics, informe= d by ideas and=C2=A0
tool= s from abstract homotopy theory.

The workshop= focus on the practical formalisation of mathematics in=C2=A0
<= div>HoTT/UF-based style, in computer proof= assistants (Coq, Agda, Lean, =E2=80=A6).

Submission to this=C2=A0<= span style=3D"font-size:12.8px">special=C2=A0issue=C2=A0is open. We expect original articles=C2=A0
(typ= ically 20-30 pages) that present high-quality contributions,
and that must not b= e simultaneously submitted for publication elsewhere.

Submissions must be written in English and comply with=C2=A0JAR's author guidelines

http://www.sprin= ger.com/computer/theoretical+computer+science/journal/10817

Submission is over easychair:


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