coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Benedikt Ahrens <benedikt.ahrens AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] HoTT/UF 2022: Call for Contributions
- Date: Fri, 4 Feb 2022 20:44:54 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=benedikt.ahrens AT gmail.com; spf=Pass smtp.mailfrom=benedikt.ahrens AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f51.google.com
- Ironport-data: A9a23:Iwxt1q/kqBmLWx678ji8DrUDt3iTJUtcMsCJ2f8bNWPcYEJGY0x3y TBLXTrXPqvbYmXzfo12Otuy9k9U6JLXx9M2TVNvrC5EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHvylYAL9EngZqTVMEU/Nsjo+3b5p6mJUqYLhWVnV4 4uu+5a31GKNglaYDEpEs8pvlzs05JweiBtA1rDpTa0jUPf2zhH5PbpHTU2DByOQrrp8QoZWc 93+IISRpQs1yfuC5uSNyd4XemVSKlLb0JPnZnB+A8BOiTAazsA+PzpS2Pc0MS9qZzu1c99Zl c5w8ruRGA4SEKyRtNwcWh1kGGZHMvgTkFPHCSDXXc27ykTHdz7z2awrAhxve4If/elzDCdF8 vlwxDIlNEjSwbLrhujhE68x36zPL+GzVG8bknttyzzVDPU6B5nDWajM/vdX2T4xgoZFGvO2i 88xNGIxNE6bPXWjPH8GVtEhtbaEtkXmXDZA73a2h4Mv2Vr6mVkZPL/FaYKJILRmX/59lUGB4 2nC4m7RGQAfLNXZyDyf83vqiPWnoM/gcIcbFbn96eQzxVPOnyocDxoZUVb9qv684qKjZz5BA xEPx20JjPk7z2KqE/XFXhS8nHXDhxFJDrK8DNYGwA2Kz6PV5SOQCW4FUiNNZbQaWCkeFW1CO rihz4KBONB/jFGGYSnCqerM/FteLQBQfDBSP3ZVJecQy4C7+Nlbs/7Zcjp0/EeIYjDdHDjxx 3WVtnF7iehKy8EM0Kq/8BbMhDfESnn1ouwdtlq/soGNtFsRiGuZi2qAtwWzARFoct3xc7V5l CJY8/VyFchXZX13qASDQf8WAJai7OufPTvXjDZHRsd9rGT2pyT6J9gLsVmSwXuF1O5UKFcFh 2eD6GtsCGN7YRNGkIcrOdvqU51ypUQePY69B6uIBjaxXnSBXFbfoHsGib+40Gfqn0wh+ZzTy r/KGftA+U0yUPw9pBLvH7l1+eZymkgWmD2OLbimkEzP+efPPBa9FOZeWHPTP7BRxP3f+239r Y0PX/ZmPj0FD4USlAGModBNRb3LRFBnba3LRzt/L7XSeVI/Qzt5UZc8A9oJIuRYokicrc+Ql lnVZ6OS4AOXaaTvJVrYZ3Z9RqnoWJoj/3s3MTZ9b1mt0nknJ42o6f5HJZcweLAm8s1lzOJ1H 6FVIZXeXqwXR2SV4SkZYLn8sJdmK0amiAeICCyvP2oycptmcArW94K2ZQDo7iQPUnG6uJJm8 b2t3w/WW7QZQAFmAJqEYf6j1QLjsn0UmeY0VEzNe4EBdELp+YlsCirwkv5ne5FWeUufnmOXj l/EDw0ZqO/Bp54O3OPI3a3U/Z20F+ZeH1ZBGzaJ4LuzMx7c9DXxzIJFVtGOYmmBBm75/aOVZ dJVwev5B/sJkQsYqIF7Cbtqkfsz6taz9b9XygNoQCfCY1ixUOgyJ3CH2YxQrPQIyOIA/wSxX U2L959RPrDQYJHpF1sYJQwEaOWf1KFLxmODs6xteEiqtjVq+LenUFlJO0XegiJqKrYoYpgux v0suZJL5gHj2AAmNM2K0nJd+2iWdCdSVqwmstQFGtauhFdyjF5FZpPYB2n955TWM4dANUwjI zm1gqvehuQDmhCTLSJrTXWdj/BAgZkuuQxRyANQLVq+nNeY1OQ82wdc8GhqQwlYpvmdPzmf5 oS224xJyaSyE/NAgcFCWyWzAVgECkDAvEP2zFQNmSvSSEzAuqkh6oEiEb7lwazb2zs0kvtnE HWwx2PsUDKsd8b0tsf3cVAwsOTtFLSd6SWb8P1K3K25810Sbj/sg6vobm0Nw/ci7QXdm2Wfz dRXEC1MhWEX+MLeT2DXy2VX6FjIdC25GQ==
- Ironport-hdrordr: A9a23:XmDhMa3WdHm2RMB6AotSOQqjBIUkLtp133Aq2lEZdPUnSL3hqy nIpoVg6faUskdrZJhEo7q90ca7MBHhHPJOkO4s1NSZLWzbUQmTXeJfBOLZqlWKexEWntQ96U 4KSdkZNDSfNykCsS+32njdLz/i+rW6GWKT6Ns2A00DceiiUc9d0zs=
- Ironport-phdr: A9a23:Xmf/yBZ8W9ioKtk56YcL4nv/LTFf2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gWPAdSQuq0MotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5YPfbx9HiTe5br9/K Be7phjNu8cLhodvNrw/wQbTrHtSfORWy2JoJVaNkBv5+8y94p1t/TlOtvw478JPXrn0cKo+T bxDETQpKHs169HxtRnCVgSA+H0RWXgLnxVSAgjF6Bb6Xortsib/q+Fw1jWWMdHwQLspXjus8 rprSATwiCgZKzE57G/Zist1jK1BoRKhoQF0z4rbbYyRMfZzeL7Wc9EHSmpbRstfVCJPDYyyY IUPEuQPI/pXoYbmqlsSrhazHxWgCP/hxzJKgHL9wK000/4mEQHDxAEtAswBsHLKo9roNacSU vy1x7TUwDXDdfNZxzH96JPVeR0muv6DQ7RwftTMxkkuFAPFkk+cppblPzOPyOsNtXOb4vFvV eKqkWEnqgVxriKzyccrj4nEn4QYwU3L+itl2og6P8G4SFJlbt6+FptdryGXOot2T84jQmxkp Ck0x70EtJO7YSUH1IkryhDQZfGDcIWF/AzuWeSVLDpkmn5oZLKyiRms/EWhxeDxSsa53UtMo yFYnNfMsXUN2AbS6siBUvZ98Uah2SqP1wDO8e5IO0E0la3DJ5E73rE8jJsTsUDbEiDogkr2l 6+XeVkk+uey6uTneK/qppiGN497jAz1L6cgmtSnDOgmLgQDW3KX9Oe82bH540H1XqhGguc2n 6XEqJzWOMsWq6yjDwNI0Ysu6AyzAym63NgFh3ULMVNIdRSahIbzIV7OOur3DfKnjlSsjjhrw /fGM6XkAprXL3jDlK7tfLhn60JB0QYzw9BS649OBrEOJ/LzXUDxtNjGARMjLwO0xOPnBM181 oMYR22PHreUPL3OvVKM/O4iIOmBaJULtDrjNvQp/f7jgWIhlV8YZ6ap3J8XaH6iHvRhJkWUe WHjjckHEWgUowU+Te/qiEGYXTFJZ3ayRbwz5jcgCI+9AofDQ5qigL2F3CuhApJWYWVGBkiKE Xjzb4qEQesDaDqOIs99lTwJTaWtR5c71R6yrA/616ZnLu3M9yIEspLjzcF56PHXlREv7jN5F N+d0mGIT2FshGwEXT423KZloUx80FiPy6Z4g+YLXeBUsvhOS0IxMYPW5+18EdH7HAzbLfmTT 1PzaNigDD0wTc556t8UbkBmU4GogxbO0yupH/kcl6aGAocc/afV3ny3LMF4nSWVnJI9hkUrF 5McfVatgbRyolSCb2aou0CQlqLxML8ZwDaI72Cbi2yHoEBfVgd0F6TDR3EWIEXM/pzi/k2Xa bioBPw8NxdZj9aYI/5AZ9vkgVRFWLHqOM7TZXmZlGK5BBLOzbSJP8LxY2tI5CzGEwAflhwLu 3OPNAwwHCCk9mjTCjFiFFHzJUrs6+R4s1u0S0Y1y0eBaEgyn6Gt9EszgvqRA+gWwqpCuColr GBsG02h2tvNF9eajw9ofaEZfslkpVkajCTWsAtyOpHmJKdn7rIHWyJwuU6mlxB+C4Eb1NMvs Gtv1w1qb6SRzFJGcTqcm5H2ILzebGforlipbObN11fS3czzmO9H4ekkq1jloACiF1Yzu3Rh3 d5P1nKA55LMRAMMWJP1W0wz+lB0vbbfKiU64orV0zVrP8zW+nfI1tQkCOom1lCpf81SNrisG wr7EslcDM+raaQrl1WvchMYLbVK7qdnWqHuP/CC2aOtIKNhhGf81TUBsN07iBjVsXclGYuql 94fzvqV3xWKTWL5hVal6YXsnJxcICoVBiy5wDTlA4hYYutze5wKACGgOZ7SpJ02ipjzVnpf7 FPmCUkB3ZrjcxeUYlD83hEW3EQNrHq8sSS9xj1w1Touq+DMuU6Gi/SnbxcBNmNRESNogFHhL Ym3k5YTXFKlaRMBmx6s5EK8zK9e7vcaTSGbUQJDeC74KHtnW627u++ZYsJB35gvtD1eTOW2Z V3ypqfVmxIByGujGmJfwGt+bDS2otDimAQ8jmuBLXF1pX6feMdqxB6Z6saODfJW2zMHQmF/h 1y1ThC2Mt+k8dSXi9HKsvqzUXmJWZhacC2txoSF/Ce2/mxlBxSjkuv7wIW2V1hnl3Whjp83D G3Bt3OeKsHz2r6/MP57c0UgH1L658dgW8l/noY2mJAMyC0fj5SR82AAlDS7OtFa1KTiKXsVE GRTkpiFvU6/ghQlcyvaouCxHm+QycZgedSgN2Yf2yZmqttPFL/R97tc2y18vlu/qwvVJ/l7h DYUj/U0uxt4y6kEvhQgyiKFD/UcB05daGbmmhKF49G9sONeZHyid6OY2093nNTnB7aH6FI5O j6xatI5ECl8498qeljB1nD/64L4PtDQd98VrTWblh7Bi65eL5d7xZ9ozWJ3fGn6u3Mi0esyi xdjiIq7sIawIGJo5KulAxRcO269d4YJ9zrql6obgteO0tXlAMB6AjtSFsiNL7rgAHcIuP/gL QrLDDAstiLRB+/EBQHGoEZ+8yCUTtbyZinRfiVGi40lHkXVJVQD0l5IGm9hxdhgSFjsnIu4I SIbrngQ/gKq9EUKk7oycUG5CiCF/E+pcmtmFsbZdkYHqFEaoR+Sa5TW7/ovTX4CuMT96lXcc CrDIF0YaANBEk2cWwK8Yv/3v4SGq67AQbPgZ/rWPefX8bwYDqjXg8Lpisw8pn6NLpndZyY5S aRqhgwbGyg+Qpq8+X1HSjRLxXiVPojL+VHloH0x9ofmr7zqQF69v9LRTeYCd4w+oVbuxv7Sf ++I2HQjcGgejMhdgySSjuBYhQ936WkmYTCpFf5oWTflaqXWl+cXChcab3g2L85U9+cn2RELP 8fHi9Tz37o+j/gvCl4DW0az0seuLdcHJW2wLjalTA6CKaiGKDvXwsr2fbL0SLtei/9RvgGxv jDTGlHqPzCKnT3kHx61NuQEgCaeNR1Y8IazF3QlQXDkV87jYwanPcVfiDQ3xfgrnCqPOzNFd zd7dExJo/ub6iYZyvRzFmpd72Z0eOmJnyHKiouQYp0SsPZtHmF1j7cAuCV8m+YTtnsdAqEsy 06w5pZ0rlqrk/eC0G9iWRtK8XNQgZ6T+F5lIePf/4VBXnDN+FQM63+RAlIEvYgAaJWntqZOx 9zIjK+2Ji1F9oee98YaCsTVK97BOXo7PBzyMDHRBQoBCzWsMCuM4i4V2OHX7XCTopUg/9L0n 4EST7ZASFEvPvYTC0AgA8ZbZZkqB3UrlrmUiMNO7n275kq0Jo0SrtXMUfScBu/qITCSgOxfZ hcG9rj/KJwaKozx30EKgrZSk4HDGk6WVtdI8HQJhu4cpUxM9D1hVDR21R+8LAyq53AXGLi/m Rtk0mOWhMwi8T7t5xE8IV+Y/EMN
- Ironport-sdr: /mIpBkQV4936X/0SXI2wlySTim2vAkaE6GbCfse5Ggua1hHeglLE5oMyEJUC29OoBK0s4xdrCu 90QTiHXqicRasOPfRO481NhtA2HtkStsATMf2j4lUtP9H4uOJ86I354Z3oF+JcCEGVjWHwaQQg N3wnvGHGdJrN9E1BbScxaVGC0ReL5PXvdhg6gL5bQJR7bE1zM5stY8Tyy5KSSK6IYDxxmX+/Jp 81+Iaqwaue3ZF8IrRLaolXG5wmIW7UUf867EPl914bqXnaOnPPTD1GmZrm5VXwWsi7I7gUZF0g wTVuq4q9uLsUM0HTuObXvyaO
==========================================================
CALL FOR CONTRIBUTIONS AND PARTICIPATION
Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/UF 2022, co-located with FSCD 2022)
==========================================================
------------------------------------------------------------------------
Workshop on Homotopy Type Theory and Univalent Foundations
July 31 - August 1, 2022, Haifa, Israel
https://hott-uf.github.io/2022/
Co-located with FSCD 2022
http://www.cs.tau.ac.il/~nachumd/FSCD/
Abstract submission deadline: 10 May 2022
------------------------------------------------------------------------
Homotopy Type Theory is a young area of logic, combining ideas from
several established fields: the use of dependent type theory as a
foundation for mathematics, inspired by ideas and tools from abstract
homotopy theory. Univalent Foundations are foundations of mathematics
based on the homotopical interpretation of type theory.
The goal of this workshop is to bring together researchers interested
in all aspects of Homotopy Type Theory/Univalent Foundations: from the
study of syntax and semantics of type theory to practical
formalization in proof assistants based on univalent type theory. As
part of the workshop there will be an introductory tutorial intended
to make the invited and contributed talks accessible to non-experts.
============================
# Invited speakers
* Eric Finster (University of Birmingham)
* Kristina Sojakova (INRIA Paris)
* Taichi Uemura (Stockholm University)
================
# Submissions
* Abstract submission deadline: 10 May 2022
* Author notification: mid June 2022
Submissions should consist of a title and a 1-2 pages abstract, in pdf
format, via https://easychair.org/conferences/?conf=hottuf2022.
Considering the broad background of the expected audience, we encourage
authors to include information of pedagogical value in their abstract,
such as motivation and context of their work.
======================
# Program committee
* Benedikt Ahrens (Delft University of Technology and U of Birmingham)
* Carlo Angiuli (Carnegie Mellon University)
* Evan Cavallo (Stockholm University)
* Chris Kapulkin (Western University)
* Nicolai Kraus (University of Nottingham)
* Peter LeFanu Lumsdaine (Stockholm University)
* Anja Petković Komel (Vienna University of Technology)
* Paige Randall North (University of Pennsylvania)
* Christian Sattler (Chalmers University of Technology)
* Michael Shulman (University of San Diego)
* Théo Winterhalter (Max Planck Institute, Bochum)
================
# Organizers
* Benedikt Ahrens (Delft University of Technology and U of Birmingham)
* Evan Cavallo (Stockholm University)
* Chris Kapulkin (Western University)
* Anja Petković Komel (Vienna University of Technology)
* Paige Randall North (University of Pennsylvania)
- [Coq-Club] HoTT/UF 2022: Call for Contributions, Benedikt Ahrens, 02/04/2022
Archive powered by MHonArc 2.6.19+.