ProgLog /
StockholmGoteborgMeeting171025
Stockholm–Göteborg meeting on Wednesday, 25 October 2017 in Göteborg
Program
| Time | Speaker | Title |
|---|---|---|
| 11:00–12:00 | Andrea Vezzosi | Cubical Agda |
| lunch | ||
| 13:30–14:00 | Johan Lindberg | Properties of the category of local sets in Intuitionistic Ramified Type Theory |
| 14:15–14:45 | Nils-Anders Danielsson | Up-to Techniques Using Sized Types |
| 15:00–15:30 | Paul Gorbow | Algebraic New Foundations |
| fika | ||
| 16:00–17:00 | Christian Sattler | Some recent negative results relating models of cubical type theory to standard models of homotopy types |