Types and Topology
Dec 17 – 18, 2025