Invited speakers

Ingo Blechschmidt (University of Antwerp)

Towards topological type theory for decrypting transfinite methods in classical mathematics

Sonia Marin (University of Birmingham)

Intuitionistic modalities through proof theory

Chris Martens (Northeastern University)

A Guided Tour of Polarity and Focusing

Christian Sattler (Chalmers University of Technology and University of Gothenburg)