Speakers

Steve Awodey

TBA

Nicola Gambino

Monoidal bicategories, differential linear logic, and analytic functors

Martin Hyland

TBA

Maria Emilia Maietti

TBA

Sandra Mantovani

TBA

Eugenio Moggi

Categories for Collection Monads

Jaap van Oosten

TBA

Edmund Robinson

TBA

Thomas Streicher

Two open problems in traditional topos theory raised by the late Lawvere

Enrico Vitale

The snail lemma and the long homology sequence