HOTT/UF PROGRAM
Days: Sunday, July 31st Monday, August 1st
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 10F
Chair:
Location: Ullmann 303
| 11:00 | TBA |
| 12:00 | Elementary Simplicial Collapses in Cubical Agda  |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 14G
Chair:
Location: Ullmann 303
| 14:00 | Towards computing cohomology of dependent abelian groups |
| 14:30 | A Library of Monoidal Categories for Display and Univalence PRESENTER: Kobe Wullaert |
| 15:00 | The internal AB axioms |
15:30-16:00Coffee Break
16:00-17:30 Session 19E
Chair:
Location: Ullmann 303
| 16:00 | Internal languages of diagrams of ∞-toposes (abstract) |
| 17:00 | An Experiment with 2LTT Features in Agda |
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 31C
Chair:
Location: Ullmann 303
| 11:00 | Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability PRESENTER: Jonathan Weinberger |
| 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
Chair:
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
Chair:
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:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event