Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Extended Deadline for HoTT/UF 2022: 15 May
@ 2022-05-11 14:37 Evan Cavallo
  0 siblings, 0 replies; only message in thread
From: Evan Cavallo @ 2022-05-11 14:37 UTC (permalink / raw)
  To: homotopytypetheory, univalent-mathematics, lean-user

We have extended the submission deadline for HoTT/UF abstracts to 15 May.
Note that we will support remote speakers 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
Co-located with FSCD 2022
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.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-05-11 14:37 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-11 14:37 [HoTT] Extended Deadline for HoTT/UF 2022: 15 May Evan Cavallo

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).