53rd Cascade Topology Seminar

The Cascade Topology Seminar is designed to foster contacts between workers, as well as graduate students, in similar fields across the region. It provides a venue for local topologists to showcase their own work, and also an opportunity to bring in speakers from outside the region, helping local topologists to keep abreast of recent developments. In the fall of 2014, fostering connections between topologists has become very important in light of several new areas of development which might collectively be called applied topology. In particular, over the last decade or so the field of topological data analysis has made headway in the problem of analyzing "big data" problems in statistics and computer science. More recently, the area of homotopy type theory has made advances in proof theory, affecting both foundational mathematics and computer science. This particular meeting will include lecture in these areas of research.