[Agda] HoTT/UF 2022: Second Call for Contributions

Evan Cavallo evan.cavallo at math.su.se
Thu May 5 12:53:10 CEST 2022


==========================================================
SECOND CALL FOR CONTRIBUTIONS AND PARTICIPATION
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: 10 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: 10 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 at 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 (Vienna University of Technology)
* 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 (Vienna University of Technology)
* Paige Randall North (University of Pennsylvania)



More information about the Agda mailing list