Workshop on Categorical Logic 3-4 December, Stockholm University
Tid: To 2015-12-03 kl 13.30 - Fr 2015-12-04 kl 17.30
Plats: Stockholm University Mathematics Department, on the Kräftriket campus, buildings 5 and 6 (“Hus 5/6”)
Invited talks:
- Michael Makkai: Sketch-theoretic reformulations of Michael Batanin’s concept of weak higher category and its variants
- Thierry Coquand: Cubical Type Theory
- Peter Dybjer: Undecidability of equality in the free locally cartesian closed category
- Henrik Forssell: Constructive completeness and non-discrete languages
- Nicola Gambino: On the simplicial and cubical models of type theory
Full programme
Talks will be in Hus 5 Rum 35 (Thursday afternoon) and Hus 6 Rum 306/Cramér-rum (Friday).