coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Peter LeFanu Lumsdaine <p.l.lumsdaine AT gmail.com>
- To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, agda list <agda AT lists.chalmers.se>, "HomotopyTypeTheory AT googlegroups.com" <homotopytypetheory AT googlegroups.com>
- Cc: nicolas tabareau <nicolas.tabareau AT inria.fr>
- Subject: [Coq-Club] Second CfP: UF/HoTT Porto, 25--26 June, at FSCD 2016
- Date: Wed, 13 Apr 2016 16:34:09 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=p.l.lumsdaine AT gmail.com; spf=Pass smtp.mailfrom=p.l.lumsdaine AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f44.google.com
- Ironport-phdr: 9a23:2ExOHBeyFs79tHQcmVvNzAUOlGMj4u6mDksu8pMizoh2WeGdxci4ZR7h7PlgxGXEQZ/co6odzbGG4+a9Aidesd6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDivcCIKFsYzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQza+moEX35TmxxOBBXD5xzSWpbqrjC8red0w2+HJcDwS/Y5VSnmp6xsUVrjjDoNHz8/6mDezMJqyOpSrx6o7xh+2JKcNIiaOPNWeqLGYchcTmpIWsNcTTcHGY7qK8NFL+0EOvpft5jBtkMDkRuzAhO9LOzozTBMi3Ds2rAiyKIqFgSMlFggGNcJrHPMvcnkLKoOUe2y1rjgwjLEYPdb1i369ZDTNBsmpKffc6h3dJ/pxFUiDUvhg3uZr5GtGy6QzegEsm6Wp754E+bpj3MisA14oz6i7sgpg4jNwIkSzwaXpm1C3I8pKIjgGwZAatm+Hc4V7nnCOg==
=============================================
CALL FOR PARTICIPATION
Workshop on Univalent Foundations and Homotopy Type Theory
(UF/HoTT, at FSCD 2016)
=============================================
-------------------------------------------------------------------------------
Workshop on Univalent Foundations and Homotopy Type Theory
25–26 June 2016, Porto, Portugal
http://hott-uf.gforge.inria.fr/2016/
Co-located with FSCD 2016 (successor conference of RDP, RTA, TLCA)
http://fscd2016.dcc.fc.up.pt
Abstract submission deadline: Wed 20 April
-------------------------------------------------------------------------------
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.
Following last year’s instalment in Warsaw, this workshop will focus again on the practical formalisation of mathematics in HoTT/UF-based style, in computer proof assistants (Coq, Agda, Lean, …).
================
# Invited talks/tutorials
* Floris van Doorn
* Martin Escardo
* Anders Mörtberg
================
# Submissions
* Abstract submission deadline: Wed 20 April
* Acceptance notification: Wed 11 May
Submissions should consist of a title and abstract, in pdf or text format, via https://easychair.org/conferences/?conf=hottuf16
Talks on practical formalisation are particularly solicited, but submissions on all UF/HoTT topics are welcome.
=================
# Program committee
* Benedikt Ahrens (Institute for Advanced Study, Princeton)
* Steve Awodey (Carnegie Mellon University)
* Thierry Coquand (University of Gothenburg)
* Eric Finster (École Polytechnique)
* Nicolai Kraus (University of Nottingham)
* Peter LeFanu Lumsdaine (Stockholm University)
* Nicolas Tabareau (Inria, Nantes)
=================
# Organisers
* Nicolas Tabareau (Inria, Nantes)
* Peter LeFanu Lumsdaine (Stockholm University)
CALL FOR PARTICIPATION
Workshop on Univalent Foundations and Homotopy Type Theory
(UF/HoTT, at FSCD 2016)
=============================================
-------------------------------------------------------------------------------
Workshop on Univalent Foundations and Homotopy Type Theory
25–26 June 2016, Porto, Portugal
http://hott-uf.gforge.inria.fr/2016/
Co-located with FSCD 2016 (successor conference of RDP, RTA, TLCA)
http://fscd2016.dcc.fc.up.pt
Abstract submission deadline: Wed 20 April
-------------------------------------------------------------------------------
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.
Following last year’s instalment in Warsaw, this workshop will focus again on the practical formalisation of mathematics in HoTT/UF-based style, in computer proof assistants (Coq, Agda, Lean, …).
================
# Invited talks/tutorials
* Floris van Doorn
* Martin Escardo
* Anders Mörtberg
================
# Submissions
* Abstract submission deadline: Wed 20 April
* Acceptance notification: Wed 11 May
Submissions should consist of a title and abstract, in pdf or text format, via https://easychair.org/conferences/?conf=hottuf16
Talks on practical formalisation are particularly solicited, but submissions on all UF/HoTT topics are welcome.
=================
# Program committee
* Benedikt Ahrens (Institute for Advanced Study, Princeton)
* Steve Awodey (Carnegie Mellon University)
* Thierry Coquand (University of Gothenburg)
* Eric Finster (École Polytechnique)
* Nicolai Kraus (University of Nottingham)
* Peter LeFanu Lumsdaine (Stockholm University)
* Nicolas Tabareau (Inria, Nantes)
=================
# Organisers
* Nicolas Tabareau (Inria, Nantes)
* Peter LeFanu Lumsdaine (Stockholm University)
- [Coq-Club] Second CfP: UF/HoTT Porto, 25--26 June, at FSCD 2016, Peter LeFanu Lumsdaine, 04/13/2016
Archive powered by MHonArc 2.6.18.