<div dir="ltr"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>==========================================================<br>REGISTRATION FOR<br>Workshop on Homotopy Type Theory and Univalent Foundations<br>(HoTT/UF 2024, co-located with WG6 meeting of the EuroProofNet COST action)<br>==========================================================<br><br>------------------------------------------------------------------------<br><br>Workshop on Homotopy Type Theory and Univalent Foundations<br>April 2 - 3, 2024, Leuven, Belgium<br><a href="https://urldefense.com/v3/__https://hott-uf.github.io/2024/__;!!IBzWLUs!VjfvkOb32nvjZY_OdCxMV7aXg9vKGuXV0hBjZRi7jHDgYjoUWy4i9p-mwYoRFjANV2_sdOFXW_iSq2ZWJV6DYtakfiK8gpbGJmCKWYCt$">https://hott-uf.github.io/2024/</a><br><br>Co-located with the WG6 meeting of the EuroProofNet COST action<br>April 4 - 5, 2024<br><a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg6-leuven/__;!!IBzWLUs!VjfvkOb32nvjZY_OdCxMV7aXg9vKGuXV0hBjZRi7jHDgYjoUWy4i9p-mwYoRFjANV2_sdOFXW_iSq2ZWJV6DYtakfiK8gpbGJnc95uXV$">https://europroofnet.github.io/wg6-leuven/</a><br><br>------------------------------------------------------------------------<br><br>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.<br><br>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.<br><br>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.<br><br>================<br># Registration<br><br>Please register by filling out this form:<br><a href="https://urldefense.com/v3/__https://docs.google.com/forms/d/17WFBrTRoa9f3ZkKDpDlPAQFwvEFTreOAqbxC4XWLO14/__;!!IBzWLUs!VjfvkOb32nvjZY_OdCxMV7aXg9vKGuXV0hBjZRi7jHDgYjoUWy4i9p-mwYoRFjANV2_sdOFXW_iSq2ZWJV6DYtakfiK8gpbGJoOvBHiX$">https://docs.google.com/forms/d/17WFBrTRoa9f3ZkKDpDlPAQFwvEFTreOAqbxC4XWLO14/</a><br><br>Registration is mandatory (also if you're attending online only).<br><br>Registration deadline: March 8, 2024<br><br>================<br># Invited speakers<br><br>* Mathieu Anel (Carnegie Mellon University, USA)<br>* Rafaël Bocquet (Eötvös Loránd University, Hungary)<br>* Matthias Hutzler (University of Gothenburg, Sweden)<br><br>================<br># Contributed talks<br><br>Authors and titles of contributed talks are listed on the website.<br><br>================<br># Program committee<br><br>* Pierre Cagne (Applachian State University)<br>* Evan Cavallo (University of Gothenburg)<br>* Felix Cherubini (Chalmers University of Technology/University of Gothenburg)<br>* Tom de Jong (University of Nottingham)<br>* Eric Finster (University of Birmingham)<br>* Daniel Gratzer (Aarhus University)<br>* Mitchell Riley (NYU Abu Dhabi)<br>* Michael Shulman (University of San Diego)<br>* Kristina Sojakova (INRIA Paris)<br>* Jon Sterling (University of Cambridge)<br>* Andrew Swan (University of Ljubljana)<br>* Jonathan Weinberger (Johns Hopkins University)<br><br>================<br># Organizers<br><br>* Evan Cavallo, <a href="mailto:evan.cavallo@gu.se">evan.cavallo@gu.se</a> (University of Gothenburg)<br>* Tom de Jong, <a href="mailto:tom.dejong@nottingham.ac.uk">tom.dejong@nottingham.ac.uk</a> (University of Nottingham)<br>* Mitchell Riley, <a href="mailto:mitchell.v.riley@nyu.edu">mitchell.v.riley@nyu.edu</a> (NYU Abu Dhabi)<br>* Jonathan Weinberger, <a href="mailto:jweinb20@jhu.edu">jweinb20@jhu.edu</a> (Johns Hopkins University)<br></div></div></div></div></div>