Olivia Caramello (Institut des Hautes Études Scientifiques)

The theory of topos-theoretic `bridges’, five years later
– abstract –

Agata Ciabattoni (Technische Universität Wien)

(Algebraic) proof theory for substructural logics and applications
– abstract –

Maria Manuel Clementino (Universidade de Coimbra)

Lax orthogonal factorization systems in Topology
– abstract –

Emil Jeřábek (Academy of Sciences of the Czech Republic)

Generalizing the clone–coclone Galois connection
– abstract –

André Joyal (Université du Québec)

Category theory and Homotopy type theory
– abstract –

Keith A. Kearnes (University of Colorado)

Problems on the Frontier of Commutator Theory
– abstract –

Daniele Mundici (University of Florence)

Finitely presented MV-algebras, unital lattice ordered abelian groups and rational polyhedra—together
– abstract –

Paulo Oliva (Queen Mary University of London)

Higher-Order Game Theory
– abstract –

Jorge Picado (Universidade de Coimbra)

Hausdorff mapping invariance theorems with sublocales
– abstract –

Michael Pinsker (University Paris Diderot)

Topological Clones
– abstract –