We have extended the submission deadline for HoTT/UF abstracts to 15 May. Note that we will support remote speakers and participation. ========================================================== EXTENDED CALL FOR CONTRIBUTIONS 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: **15 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. The workshop will be held in person, and remote participation will be supported. Specifically, talks will be streamed for remote viewers given speaker permission, and we will support streamed or recorded talks from remote speakers. ============================ # Invited speakers * Eric Finster (University of Birmingham) * Kristina Sojakova (INRIA Paris) * Taichi Uemura (Stockholm University) ================ # Submissions * Abstract submission deadline: **15 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. ================ # Financial support Limited financial support will be available to subsidize participation costs. Priority will be given to women and members of under-represented minorities, including representatives of developing countries. Please contact the organizers via evan.cavallo@math.su.se for more information. ====================== # Program committee * Benedikt Ahrens (TU Delft and University of Birmingham) * Carlo Angiuli (Carnegie Mellon University) * Evan Cavallo (Stockholm University) * Chris Kapulkin (University of Western Ontario) * Nicolai Kraus (University of Nottingham) * Peter LeFanu Lumsdaine (Stockholm University) * Anja Petković Komel (TU Wien) * 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 (University of Birmingham) * Evan Cavallo (Stockholm University) * Chris Kapulkin (Western University) * Anja Petković Komel (TU Wien) * Paige Randall North (University of Pennsylvania) -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/1f912b06-0428-032e-fa2b-d2c516dfbdec%40gmail.com.