FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
HOTT/UF ABSTRACTS

Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg

AuthorsTitlePaperTalk
Andreas Nuyts and Dominique DevrieseInternalizing Presheaf Semantics: Charting the Design SpaceJul 07 11:00
Andreas NuytsRobust Notions of Contextual FibrancyJul 08 11:30
Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Møgelberg, Andrew Pitts and Bas SpittersDependent Right Adjoint TypesJul 07 12:00
Clive NewsteadAlgebraic models of dependent type theoryJul 07 16:30
Taichi UemuraCubical Assemblies and the Independence of the Propositional Resizing AxiomJul 07 11:30
Iosif PetrakisA Yoneda lemma-formulation of the univalence axiomJul 08 11:00
Edward MorehouseOrdered CubesJul 08 15:00
Eric FaberTowards a geometric model theory of type theory
Jonathan Weinberger and Ulrik Buchholtz(Truncated) Simplicial Models of Type TheoryJul 08 16:00
Thorsten AltenkirchTowards the syntax and semantics of higher dimensional type theoryJul 08 16:30
Genki SatoGeometric realization of truncated semi-simplicial sets meta-constructed within HoTTJul 07 15:00
Joseph HelferFirst-order homotopical logic and Grothendieck fibrationsJul 07 17:00
Felix WellenCohesive Covering TheoryJul 08 12:00
Kuen-Bang Hou Favonia, Carlo Angiuli, Evan Cavallo, Robert Harper and Jonathan SterlingCubical Computational Type TheoryJul 08 14:00
Hugo HerbelinThe definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an intervalJul 08 14:30