Skip to Content.
Sympa Menu

coq-club - [Coq-Club] HoTT/UF 2024: Registration

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] HoTT/UF 2024: Registration


Chronological Thread 
  • From: Tom de Jong <tom.dejong AT nottingham.ac.uk>
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] HoTT/UF 2024: Registration
  • Date: Mon, 19 Feb 2024 11:04:13 +0000
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tom.dejong AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Tom.Dejong AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT smtp4.nottingham.ac.uk
  • Ironport-data: A9a23:2Qcd8avBnIVcsqw6sdEhzgA8MOfnVNlaMUV32f8akzHdYApBsoF/q tZmKTuEa/+JN2L0cth1PoW3oBwCvZeAmNZjGlA4/nwzFCMUgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMtcpvlDs15K6u4GlB7wRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJHg1IY8Wx+tcOlhlq swHCwoRV0yOwO3jldpXSsE07igiBNLuIJtD/Hdn0S3YC/kmSJWFSq6M+NwwMDUY35oeW6yCP IxDM2IpMkmojx5nYj/7DLoCm+LuqnT9dDtXgFSSubY25WfTxQk32bOrLdm9ltmiFZ0Nxx/E+ TmuE2LRDgkEO/yW6Re57lm9m7PBunj9aoMWC+jtnhJtqAfKnDxMUkZ+uUGAifK+kwu1X89VA 1cF/zIn66k07k2iCNfnNyBUu1afuwIEB5xWFPEm6QeCyqPRpQ+SQHUHJtJcVDA4nPY1WT4k6 1KipOrCWgxwk4eJcC6QsbjB+FteJhMpBWMFYCYFSy4M7N/ivJw/g3rzojBLTPPdYjrdRGmY/ tyakBXSkYn/muYk/c2GEb3vmDewvsSPSAkp+gTRUWKs60Vwb8i4ZORECGQ3D94fcO51rXHY4 hDofvRyCshSV/lhcwTRHY0w8EmBvartDdElqQcH82Md3zqs4WW/Wotb/StzIkxkWu5dJme5O h+K4VIBvMANVJdPUUORS97sYyjN5fW4fekJqtiOBjazSsYsKVTZlM2QTR7Jt4wSrKTcuftmY 8fEK53E4YcyFaRqhCewRvkQy6Qq2jF2wm2bQ5fn0xWh3rqXYRaopUQtbTOzghQCxPrc+m39q o8HX+PTkkU3eLOlOEH/r9VMRW3m2FBmX/gaXeQNKL7aSuencUl8Y8LsLUQJJdM5wvwMzb2Vl px/M2cBoGfCabT8AV3iQhhehHnHBP6TdFpqbXJ+DkXiwHU5f4ek4YEWcpZ9L/Ft9/VuwbQwB 7MJctmJSKYHADnW2SUvXb+kpqxbdTOvmV2vOQiha2MBZJJOfVHC1eLlWQrNzxMwKBSLm/Ewm YD96TODc6E/H1xjKO30dMOQy0iAuClBueBqAGrNDNphWGTt14lINiaqtKc+HJwKIDrt2h+f+ QSyBykChOjSor0a9MvCqrCEoryITcp/PBt+NEvK4YmmMRL1+jKY/rZBd+KTbBbhVG/Q04ezV 9V/lv3THqUOowdXjtBaDb1u85Mb2/LugL1rliJfA3TBagWQOINKe3Wp85FGifxQ++V/pwCzZ 0Oo/+taM5WvPOfOMgYYBCghX9S5+cAkoBvgxtVrHxyi/w5yxqSNbmtKNRrViCB9Eqp8ALl4/ cgf4vwp+y6NoTt0FO2ZjxJk1XWGdV0BdKQFiqs0IqHWjigT91UTRqCEVwHX5smUZsRuI3saB GaepJD/ioR2wmvAdHsOFkbx49dNuKRWuD13yA4tGlfYvPvEmf494zNJ+xsVUAl+70tKwsBzC EdRJmx3IqSE+mYwiOdHQlL2GwFLP0CZy12sklIYtXb4SnOwXTfnN1wNOueq/WEY/VlDfzNdw qqq9Wb9XRvuf+DzxiEXW3M5m8f8TNd0yBLOqPqnE+uBAZM+Rzjv2Y2qWkYltDrlBpkXqHDch Ow34tt1V7L3BRQQr4I/FYOe87YaEzKABW5aRMBe7LE7Jn7ddB6yyAqxBRiIIO0VHMPz8Gi8F 8BKDeBMXU7n1C+x8xYqNZRVKLpwxPMU9N4Of43wHlE/spydkyFItazB/S2vlU4pRNRTyfwGE L3zTA7bMGKshipzoVTv/e1kIWuzZOcWaDLshN6V9Po7LLNdkeVOX3xr7J6KkSS0CjZ3xzOVo wLJWIHOxcNA14lHvtXhA4dDNSqOOPLxU+WDqlnruPh3cNnKYJ/CmAcImAPnPw5tYLsgSokun KWsq//y5lvO55wtYlDamr6ANqhH3tqzV+xpKfDKLGFWsC+Bec306T4BxjyIEoNIm9Zj+cWXf Qu0R8+uf9ozWd0G5nlqRwVBMhQaUYLbU7zBoH6jkvGyFRQt6wzLA9e5/3vPb2sAVCspOYX7O zDkqcSV+dFUg4RdNiAqX8g8LcdDH2bifq86e/nalzqSVDCoi2zfnIrSr0Mr7DWTB0SUFMr/3 4n+eSH/UxaPo4DN8sBStt1jnx8QDUslu9IKQGAmx4dUhQy5XUk8FsZMAaVeX9sQ2mb32Yrjb T7AUHo6BG+vFX5YeBH7+5L4Uh3ZGuUKPczjKyc0+1+PLR27H56EHKAr4xIID62aodc/5LrPx RAiFnzM0tyZ2ZR1XbpV4PunneZhyfPTwzQB8gbgkKQexvrY7aoijBRc8MhlDEQr0P0hUG3NI nQpRGZLQEi+D0f6V9tjE5KQMA9Mpyvhll3Ecg/WqOsyeOynIClozvrjJ+D13b0KaYIDL/gTR hsbgodLD3++ghQuhEfihz7lbWKYxx5G8ghW4ZIPnTEvopw=
  • Ironport-hdrordr: A9a23:+hEzkKM+nB7RrsBcTnujsMiBIKoaSvp037BZ7TEVdfUzSL3hqy nOpoVj6faaskdzZJhNo6HmBEDiewKnyXcW2+ks1N6ZNWGM0gbFQ+8C0WKI+UyHJ8SRzJ846U 4tSdkdNDWmZmIK9vrS0U2dKZIN0dOH+KeniaP3yGpsdxhjb+VF4x1iAgiWP0VqTE0ebKBJaq a0145inX6NaH4XZsO0Cj0sWPXCncTCkNbDbQQdDxAqxQGShXeD6aL8ETKfwhACOgk/vosKwC zgqUjU96+ju/a0xlv10HLS1Y1fnJ/bxt5KFKW3+7QowjaFsHfUWLhc
  • Ironport-phdr: A9a23:xniyYBJcNtwO0wMwvNmcuAFuWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtLM33BSTBc2bs6sC17CG9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmoqQjdrNcajIhtJqov1hfCv39Ed/hLyW9yKl+fgRXx6t2s8JJ/9ihbpu4s+dNHXajmcKs0S qBVAi4hP24p+sPgqAPNTRGI5nsSU2UWlgRHDg3Y5xzkXZn/rzX3uPNl1CaVIcP5Q7Y0WS+/7 6hwUx/nlD0HNz8i/27JjMF7kb9Wrwigpxx7xI7UfZ2VOf9jda7TYd8WWWxMVdtWWCJcH4O8d JMPAPQdMuZEoYf9oF4OogG/BQmqGejjzjBFi3vz0aA8zu8vExzJ3BY4EtwNvnrbosv7OqcPX ++pw6fHwi7Ob+9P2Trn9ITEbg4trPOKULltccTR004vFwbdg1uOrozlOi6e2fkTvGOG6+RgU uSvi2E6oAx2vjivwcIshpPUiY0LyFDE8iN5wIkuKN2+T057fcKkEJpWtyGVN4t5WMYiT3tyt ykm0LEGpJ27cTEMxZ86yBHRd+aJfJKU4hL/SumROzF4iWp4db6jhxu/80itx+LhWse631hGs C5In9nQu30JyRDe6caJR+dg80u91ziCyhze5v1HLE40lKfWNoAsz74wm5cQt0nIAyH4mELzj KCMd0Uk/PCl6+vmYrX6pp+cKpR7hhv/MqQpgsC/DuM4Mg8BX2if5+uwzqHs/Ur8QLhMk/Y4k bHZvYjHKcgFpaO1GRFZ34kt5hqlETuqzsgUkWMGIV9FYB6LkYnkN03ALf39EPuzn06jnTZuy vzbIrHtHJDAImXDnbrgeLtw7lBQxBY1wNtC+Z9UDqwBIOnvWkDvrtzWEx45Mg2qzOv/FNlw0 J4VV3iVDa+DKqzStEeF5uIxLOmIY48YoC39K/055/72gnI1g1kdfa613ZsLaXC4GPtmI0WDb nrpmNsOC3sFshAjTOzpkFGCUDhTaGiuX68k+z03FoGrAZ3dSo2ijrGNxjm3EoNKamxcC12BE W/kd4CeVPcNbCKSLNVhkjsBVbW5VYEh0hSuuBX0xbV5LOrU/SsYtZ342dhz4O3TiQ0y9T1yD 8SS02GCVWR0knkSSDAqxqx/vE99xk+F0adjm/NYD8Bc5+tVUgcmMp7R1/F2B8joWg3dZteJV EqmQtK+DD4tSdIx2sYCbFp5G9W/lR/OxDGqAr8Ql7yTHpM46KPc337rJ8Z80XnKzqchj0N1C vdIYDmtgbc6/AzODabIlV+YnuCkb/JP8jTK8TK/ym/GsEwQcgl2Xu2RQXcaIEfbr9P/6WvES KOyCLIoMgJEj8eJbLZJPI66xW5aTevubYyNK1m6nH29UErZrlvtRI/jemFGmT7YFFBBiAcLu 3CPKQk5AC6l5WPYFj1nU1z1MAv36ecrjnS9Qwcvyh2SKVV73u+p/RtTifGeTPUc9rQDpDsgr Tp0FVP71tmQFtnT7xF5cvBkaMgmqExCyXqfsgV8OpK6KKU3ulkbNSh6vUTo2D1xDZlckM4lr HovigN5b7+bgxtabz3N+5f2N/XML3XquhCib6mDwlbFzNOf4bsC8twjrkn74EevEVY+8nNo0 9BQlXKXoIjJZOYLebT2VEt/tx1zprWBJzI4+5uRznp0d6+9rj7F3dstQuoj0BepOdlFYuuCE 0fpHssWCtLLSqRikkW1bh8CIOFZ9bIld8Kgefyc3ae3PeFm1Du4hGVD6Yp53wqC7S15AuLP2 p8Exbmf0G7lH3/gi1Lnvs31noZLTTcVAna+zyfkDYsXb6Y0YIVKQWaiLsurx8lv0ob3Ui09l hbrDFcH1cm1PBuKOgWnjUsKiR9R+yb/33XlnFkW23kzo6GS3TLD2bHnfRsDYStQQXV6yEzrO c6yhswbW06ha04okgGk7AD03fs+xuw3Im/NTENPZyWzIXtlV/76ir2HJeJC6pQuvg1RV/igY FaVSrf45RIRlT7gVTg7pnhzZ3Sxt5P1kgYvwn6aKTB/oXjef85YwxDD+N3aSv5Y23wPT29li nOEYzr0d8ns9tKSmZDZt+m4XG/0TZxffx7gyoaYvTe672lnafGmt8i6gcavUQ0z0CugksJvS T2NtxHkJI/iy6W9N+tjOEhuHl71rcRgSMlylY45hZdY3nZ/5N3dwX0C10v+M9Jd1or4a2YRR DgEw9fQpgHunlBgZn6E3IP2UHyBz9ApPoPqJDlKgWRntZgMVvrc5ach/2M9uleiqAPNffVx1 iwQz/cj8j9Sgu0EvhYs0jTIB7kTGUdCOim/8nbAp9u6rahReCOuae3pjho4x4z6SuvY+kcCB SWcGN9qByJ748RhPUiZ1XTy7tqhY9zMdZcIsQXSlR7cju9TIZZ3l/wQhCMhN3iu2B9tg+M9k xFq2om3+YadLGA4tp6+B1h0Oz/yYcw7/DbxkadYkcaf2samFdN8GX9YOfmgBeLtCz8Uufn9Y kyyFzh6hnqZHrzQNQmY9FtnqX3PGpXtPnrROXpTnrAADFGNYUdYhg4TRjAzmJU0QxuryMLWe 0B8/jkN51T8p0gE2qdyOhL4SGuauBawZ2J+Vs2ENBQPpFInhQ+dIYmE4+l0BS0d4pCxsFnHN DmAfwoRRWwZW1eYHAKuLbi7o+7b6+beAO2iM/rIbrWHrKpXXLGVxvfNmsNn+T2IK8mCbE55F /N93E1fQXF/FMTQnjwEVi9RiT/Aa8+cvBL68Spy5sGnrKayAlKpv9fUTeEIaZMxpnXUye+CL 7LC3Xwpb2wEjdVQmTmVlfAexAJA1ngoK3/9SfJY8nSSBKPIxv0OXkJdNHg1ZI0XqPlmu2sFc c/D1oGoivgi0qZzUxEdEgWx0omofZBYfzn7bQuYQh7NbPPfe3XK252lPPn6EOUIyr0S71rp5 VP5WwfiJmjRzmG1EUzwd7kK1GbCY1RfoN3vK0c8TzGyCoqgMlrhaZd2lWFkmONuwCOaczJaa X8mKCYv5vWR6yhcn/lySWVE52hiK/KJgGCS6OyQK5AdteZnD3Zvj+wc8nM6zP1Y8UQmDLR0n iDWs9Jj8Wa9iufXkmI/CEIW7DBMmJ6Ku0piMKCf/5IGRHWM6hsJ6S/45w0igdxjB5WvvqlRz oOKj6fvMHJZ9MqS+8IABs/SIcbBMXw7MBOvFiSGRA0CBSWmM23SnSk/2Lmb62GVo54mq5Pth ItGS7lVU0YwH+8bDUItFcILIZN+VDcp2bCBi8tA6X27pRjXDMJU2/KPHuqVGunqIS2FgKNsf B4U2e++K4MPKoz91Exrbx9zl8LXGAuYXNxApDFgch5hoEhJ9ysbLCV70EbkZwWxpX4LQKfuz lhs1lA4O751smmxsDJVbhLQqSA9kVc8g4DgiDGVK3vqKbuoGJpRE2zyvlQwNZXyR0B0axezl ApqLmShJfoZgr1+eGRskAKZt4FIHKsWcapBJjMdx/aRaN0u1khAqyOoxUZCo+LOT4Zh3lhPE 9bkvzdb1gRvYcRgb7TXP7ZMx0NMi7impSq0zrx3xggCO0cL/2ObfWgBswoVNfN1Qkjgtvwp4 guElTxZfWEKXPd/ufNm+HQ2POGYxj7h2bpOQqhUH+qYM7+YvWfAnMvOS1h2y0BazyGtEpBw1 ts/ckybV0kqirKaUQkKZ5OqweB9dM9O7CSVeyGSreTLzpJ8OsO0Hab1Tr3W3Js=
  • Ironport-sdr: 65d335b1_EcXJ6UnElrcwCEETDIdx9j+1rf8mshx8xe5KHMpkqkySYp1 9DFtIpBdiZ+h/hfkEV1N+hFC280Qqr3w3lS/+cQ==

==========================================================
REGISTRATION FOR
Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/UF 2024, co-located with WG6 meeting of the EuroProofNet COST action)
==========================================================

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

Workshop on Homotopy Type Theory and Univalent Foundations
April 2 - 3, 2024, Leuven, Belgium
https://hott-uf.github.io/2024/

Co-located with the WG6 meeting of the EuroProofNet COST action
April 4 - 5, 2024
https://europroofnet.github.io/wg6-leuven/

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

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.

The workshop will be held in person with support for remote
participation. We encourage online participation for those who do not
wish to or cannot travel.

================
# Registration

Please register by filling out this form:
https://docs.google.com/forms/d/17WFBrTRoa9f3ZkKDpDlPAQFwvEFTreOAqbxC4XWLO14/

Registration is mandatory (also if you're attending online only).

Registration deadline: March 8, 2024

================
# Invited speakers

* Mathieu Anel (Carnegie Mellon University, USA)
* Rafaël Bocquet (Eötvös Loránd University, Hungary)
* Matthias Hutzler (University of Gothenburg, Sweden)

================
# Contributed talks

Authors and titles of contributed talks are listed on the website.

================
# Program committee

* Pierre Cagne (Applachian State University)
* Evan Cavallo (University of Gothenburg)
* Felix Cherubini (Chalmers University of Technology/University of
Gothenburg)
* Tom de Jong (University of Nottingham)
* Eric Finster (University of Birmingham)
* Daniel Gratzer (Aarhus University)
* Mitchell Riley (NYU Abu Dhabi)
* Michael Shulman (University of San Diego)
* Kristina Sojakova (INRIA Paris)
* Jon Sterling (University of Cambridge)
* Andrew Swan (University of Ljubljana)
* Jonathan Weinberger (Johns Hopkins University)

================
# Organizers

* Evan Cavallo, evan.cavallo AT gu.se (University of Gothenburg)
* Tom de Jong, tom.dejong AT nottingham.ac.uk (University of Nottingham)
* Mitchell Riley, mitchell.v.riley AT nyu.edu (NYU Abu Dhabi)
* Jonathan Weinberger, jweinb20 AT jhu.edu (Johns Hopkins University)
This message and any attachment are intended solely for the addressee and may
contain confidential information. If you have received this message in error,
please contact the sender and delete the email and attachment. Any views or
opinions expressed by the author of this email do not necessarily reflect the
views of the University of Nottingham. Email communications with the
University of Nottingham may be monitored where permitted by law.


  • [Coq-Club] HoTT/UF 2024: Registration, Tom de Jong, 02/19/2024

Archive powered by MHonArc 2.6.19+.

Top of Page