Previous Conferences & Workshops

Homotopy Type Theory in Coq

Building Polyhedra by Self-Assembly

Type Classes for Mathematical Formalizations in Coq

Inernal Languages for Higher Toposes

Topology and Electronic Phases of Matter

The Relative Fukaya Category, Symplectic and Quantum Cohomology

Random Band Matrices: Local Regime

Counting GL_2(\mathbb{Z}) orbits on binary quartic forms and applications

Granular Materials and Their Networks Near Jamming

Type Systems