<div dir="ltr"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>==========================================================<br>1ST CALL FOR CONTRIBUTIONS AND PARTICIPATION<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!SUJTrpVoK4eKtoin7oRNgrQml3D9SbMTniWruOeO0H9Am0P8rNjoHHMD9EZfbawbKtU_0Ut6kXDPy1D6R90_6bDlEGLF5QtfGOmHHOUE$">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!SUJTrpVoK4eKtoin7oRNgrQml3D9SbMTniWruOeO0H9Am0P8rNjoHHMD9EZfbawbKtU_0Ut6kXDPy1D6R90_6bDlEGLF5QtfGCDn-aeE$">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># Submissions<br><br>* Abstract submission deadline: January 19, 2024<br>* Author notification: Mid-February 2024<br><br>Submissions should consist of a title and a 1-2 pages abstract, in pdf format, via <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=hottuf2024__;!!IBzWLUs!SUJTrpVoK4eKtoin7oRNgrQml3D9SbMTniWruOeO0H9Am0P8rNjoHHMD9EZfbawbKtU_0Ut6kXDPy1D6R90_6bDlEGLF5QtfGLkV1vCD$">https://easychair.org/conferences/?conf=hottuf2024</a>.<br><br>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.<br><br>================<br># Registration<br><br>Registration is mandatory with a deadline of 8 March 2024 (AoE). Registration information will be provided shortly.<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>