<div dir="ltr"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>==========================================================<br>CALL FOR CONTRIBUTIONS AND PARTICIPATION<br>Workshop on Homotopy Type Theory and Univalent Foundations<br>(HoTT/UF 2023, 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 22 - 23, 2023, Vienna, Austria<br><a href="https://urldefense.com/v3/__https://hott-uf.github.io/2023/__;!!IBzWLUs!U1TDZBxIMXJ_qxpLj4K5wkPp1Te6bJJlkT_Yz9ewInXJv-9YGEu1tlxGpIdrHh82zcpBEHZrpeO6AiVXuPuRr4AraUyxX2eNeAFMD1N1$">https://hott-uf.github.io/2023/</a><br>Co-located with WG6 meeting in Vienna in April 2023<br><a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg6-vienna/__;!!IBzWLUs!U1TDZBxIMXJ_qxpLj4K5wkPp1Te6bJJlkT_Yz9ewInXJv-9YGEu1tlxGpIdrHh82zcpBEHZrpeO6AiVXuPuRr4AraUyxX2eNeIYESPSg$">https://europroofnet.github.io/wg6-vienna/</a><br>Abstract submission deadline: Feb 17, 2023<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># Invited speakers<br><br>* Greta Coraglia (University of Genova, Italy)<br>* Nima Rasekh (Max Planck Institute for Mathematics, Germany)<br>* Egbert Rijke (University of Ljubljana, Slovenia)<br><br>================<br># Submissions<br><br>* Abstract submission deadline: February 17, 2023<br>* Author notification: early March 2023<br><br>Submissions should consist of a title and a 1-2 pages abstract, in pdf<br>format, via <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=hottuf2023__;!!IBzWLUs!U1TDZBxIMXJ_qxpLj4K5wkPp1Te6bJJlkT_Yz9ewInXJv-9YGEu1tlxGpIdrHh82zcpBEHZrpeO6AiVXuPuRr4AraUyxX2eNeL4HU296$">https://easychair.org/conferences/?conf=hottuf2023</a>.<br><br>Considering the broad background of the expected audience, we encourage<br>authors to include information of pedagogical value in their abstract,<br>such as motivation and context of their work.<br><br>================<br># Registration<br><br>Registration is mandatory. Registration information will be provided shortly.<br><br>================<br># Organizers<br><br>* Evan Cavallo, <a href="mailto:evan.cavallo@math.su.se">evan.cavallo@math.su.se</a> (Stockholm University)<br>* Anja Petković Komel, <a href="mailto:anja.komel@tuwien.ac.at">anja.komel@tuwien.ac.at</a> (TU Wien)<br>* Taichi Uemura, <a href="mailto:taichi.uemura@math.su.se">taichi.uemura@math.su.se</a> (Stockholm University)<br>* Jonathan Weinberger, <a href="mailto:jweinb20@jhu.edu">jweinb20@jhu.edu</a> (Johns Hopkins University)<br></div></div></div></div></div>