Workshop on Homotopy Type Theory/ Univalent Foundations

Vienna, Austria, April 22-23, 2023

Co-located with WG6 meeting of the EuroProofNet COST action.

Overview

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 with some support for remote participation.

Submissions

Submissions should consist of a title and an abstract of no more than 2 pages in pdf format, via EasyChair.

Abstract submission deadline: February 17, 2023
Author notification: early March 2023

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.

Registration

Registration is mandatory. Registration information will be provided shortly.

Invited speakers

Greta Coraglia (University of Genova, Italy)
Nima Rasekh (Max Planck Institute for Mathematics, Germany)
Egbert Rijke (University of Ljubljana, Slovenia)

Program committee

Ulrik Buchholtz (University of Nottingham)
Evan Cavallo (Stockholm University)
Tom de Jong (University of Nottingham)
Paige North (Utrecht University)
Anja Petković Komel (TU Wien)
Christian Sattler (Chalmers University of Technology)
Michael Shulman (University of San Diego)
Kristina Sojakova (INRIA Paris)
Jon Sterling (Aarhus University)
Taichi Uemura (Stockholm University)
Jonathan Weinberger (Johns Hopkins University)
Théo Winterhalter (INRIA Saclay and LMF)

Organizers

Evan Cavallo, evan.cavallo@math.su.se (Stockholm University)
Anja Petković Komel, anja.komel@tuwien.ac.at (TU Wien)
Taichi Uemura, taichi.uemura@math.su.se (Stockholm University)
Jonathan Weinberger, jweinb20@jhu.edu (Johns Hopkins University)

Local information

Venue

Gußhausstraße 27 - 29, 1040 Wien, Austria

4.OG, Seminarraum CH EG, Room number CD 04 04

How to get there (map).

Local information about Vienna (and how to get there).