FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Authors	Title	Paper	Talk
Andreas Nuyts and Dominique Devriese	Internalizing Presheaf Semantics: Charting the Design Space		Jul 07 11:00
Andreas Nuyts	Robust Notions of Contextual Fibrancy		Jul 08 11:30
Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Møgelberg, Andrew Pitts and Bas Spitters	Dependent Right Adjoint Types		Jul 07 12:00
Clive Newstead	Algebraic models of dependent type theory		Jul 07 16:30
Taichi Uemura	Cubical Assemblies and the Independence of the Propositional Resizing Axiom		Jul 07 11:30
Iosif Petrakis	A Yoneda lemma-formulation of the univalence axiom		Jul 08 11:00
Edward Morehouse	Ordered Cubes		Jul 08 15:00
Eric Faber	Towards a geometric model theory of type theory
Jonathan Weinberger and Ulrik Buchholtz	(Truncated) Simplicial Models of Type Theory		Jul 08 16:00
Thorsten Altenkirch	Towards the syntax and semantics of higher dimensional type theory		Jul 08 16:30
Genki Sato	Geometric realization of truncated semi-simplicial sets meta-constructed within HoTT		Jul 07 15:00
Joseph Helfer	First-order homotopical logic and Grothendieck fibrations		Jul 07 17:00
Felix Wellen	Cohesive Covering Theory		Jul 08 12:00
Kuen-Bang Hou Favonia, Carlo Angiuli, Evan Cavallo, Robert Harper and Jonathan Sterling	Cubical Computational Type Theory		Jul 08 14:00
Hugo Herbelin	The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval		Jul 08 14:30

Disclaimer | Powered by EasyChair Smart Program