PSSL 100
21 - 22 May 2016, Cambridge
Friday 20 May
- 17:30 Mordell Lecture in MR2, CMS
Dana Scott — Why Mathematical Proof? - This will be followed by a reception in St John's Fellows Garden.
Saturday 21 May
- 09.00 Welcome
- 09.15 Harold Simmons (Manchester) — The Gabriel dimension of a module has nothing to do with the category in which it lives
- 09.45 Jiří Rosický (Brno) — Cotorsion theories in locally presentable abelian categories
- 10.15 Benno van den Berg (Amsterdam) — Exact completion of path categories
- 10.45 Coffee break
- 11.15 Andy Pitts (Cambridge) — Cubical sets axiomatised in the internal type theory of a topos
- 11.45 Filip Bár (Cambridge) — Infinitesimal models of algebraic theories
- 12.15 Matías Menni (La Plata) — Every sufficiently cohesive topos is infinitesimally generated
- 12:45 Lunch break (sandwich lunch provided)
- 14.15 Dana Scott (Carnegie-Mellon) — Stochastic lambda-calculus (Reference)
- 14.45 Christian Espindola (Stockholm) — Completeness of infinitary intuitionistic logics
- 15.15 Jaap van Oosten (Utrecht) — Classical and relative realizability
- 15.45 Coffee break
- 16.15 Samuele Maschio (Padova) — A strictly predicative variant of Hyland's effective topos
- 16.45 Thomas Streicher (Darmstadt) — Moral triposes giving rise to Grothendieck toposes
- 17.15 Guilherme Lima (Cambridge) — Pullbacks of essential inclusions of Grothendieck toposes
- 17.45 Peter Johnstone (Cambridge) — Flat-maximal and flat-minimal sublocales
- 19:30 Conference dinner in Newnham College
Sunday 22 May
- 09.00 Jiří Adamek (Braunschweig) — A Logic of KZ-Monadic Categories
- 09.30 Steven Vickers (Birmingham) — Sketches for arithmetic universes: infinitary disjunctions in finitary form
- 10.00 Pino Rosolini (Genova) — Frames as topological algebras
- 10.30 Coffee break
- 11.00 Tim Van der Linden (Louvain-la-Neuve) — A Seifert–Van Kampen theorem in non-abelian algebra
- 11.30 Joachim Kock (Barcelona) — Faa di Bruno for operads
- 12.00 Zhen Lin Low (Cambridge) — Categories of spaces built from local models
- 12.30 Ieke Moerdijk (Utrecht) — Shuffles of trees