FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
HOTT/UF ON MONDAY, AUGUST 1ST
Days:
previous day
all days

View: session overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 31C
Location: Ullmann 303
11:00
Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability
11:30
Towards Directed Higher Observational Type Theory
12:00
The Compatibility of MF with HoTT
PRESENTER: Michele Contente
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 34D
Location: Ullmann 303
14:00
TBA
15:00
Semantics for two-dimensional type theory
PRESENTER: Benedikt Ahrens
15:30-16:00Coffee Break
16:00-17:30 Session 37D
Location: Ullmann 303
16:00
Models of homotopy type theory from the Yoneda embedding
16:30
A type-theoretic model structure over cubes with one connection presenting spaces
PRESENTER: Evan Cavallo
17:00
Groupoidal Realizability: Formalizing the Topological BHK Interpretation
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event