The HoTTEST conference of 2020
logic in computer science algebraic topology category theory logic
| Audience: | Researchers in the discipline |
| Conference dates: | 15-Jun-2020 to 19-Jun-2020 |
| Organizers: | Dan Christensen*, Chris Kapulkin |
| *contact for this listing |
Conference web page has Zoom link.
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Fri | Jun 19 | 16:00 | Michael Shulman | Type-theoretic model toposes | |
| Fri | Jun 19 | 14:30 | Eric Finster | Weak structures from strict ones | |
| Thu | Jun 18 | 16:00 | Anja Petković | Equality checking for finitary type theories | |
| Thu | Jun 18 | 14:30 | Mitchell Riley | Synthetic spectra via a monadic and comonadic modality | |
| Wed | Jun 17 | 16:00 | Paige Randall North | A higher structure identity principle | |
| Wed | Jun 17 | 14:30 | Taichi Uemura | Abstract type theories | |
| Tue | Jun 16 | 16:00 | David Jaz Myers | Higher Scheier theory | |
| Tue | Jun 16 | 14:30 | Valery Isaev | Indexed type theories | |
| Mon | Jun 15 | 16:00 | Brandon Doherty | Cubical models of (∞,1)-categories | |
| Mon | Jun 15 | 14:30 | Peter LeFanu Lumsdaine | What are we thinking when we present a type theory? | |
Export series to