FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Dependent Right Adjoint Types

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew Pitts and Bas Spitters

Algebraic models of dependent type theory

Clive Newstead

Robust Notions of Contextual Fibrancy

Andreas Nuyts

Internalizing Presheaf Semantics: Charting the Design Space

Andreas Nuyts and Dominique Devriese

Univalent Foundations and the Constructive View of Theories

Andrei Rodin
Total: 5 presentations.