Workshop on Categorical Logic and Univalent Foundations

JULY 27-29, 2016 | UNIVERSITY OF LEEDS

Find out more
More

Featured Speakers

Andrej Bauer
University of Ljubljana
Steve Awodey
Carnegie Mellon University
Matthieu Sozeau
Inria
Robert Harper
Carnegie Mellon University

Abstracts

View full conference programme, abstracts and slides.

A constructive model of homotopy types.
More
Presheaf models of two-level type theory.
More
Categories with families, FOLDS and logic enriched type theory.
More
Higher categorical structures and homotopy coherent diagrams.
More
Homotopy type theory as a foundation for mathematics?
More
A modular glueing construction
More
Forcing translations in type theory
More
Homotopy model theory.
More

Sponsoring institutions

This workshop is supported by the Engineering and Physical Research Council (EPSRC) via the standard grant EP/M016951/1 and the Air Force Office of Scientific Research (AFOSR) via the grant FA8655-13-1-3038.