53rd Cascade Topology Seminar (14w2209)

The Banff International Research Station will host the "53rd Cascade Topology Seminar" workshop from to .

Topology is the field associated with the study of shapes and surfaces which are flexible, and not subject to the rigid analysis of geometry. In recent years, topology has been used to analyze large data sets, which are ever-present in the age of technology. Topology has also been used to reinvent type theory, which is being used to try to develop a way that a computer could "check" a mathematical proof. This, plus the relationship of type theory to the foundations of mathematics, has the potential to revolutionize mathematics as we know it. Because of these and other advances in knowledge, it is very important for researchers in topology to reach across the boundaries of their particular sub-disciplines. The goal of the Cascade Topology Seminar is to promote discourse between topologists in different areas, which promotes progress and understanding in mathematical research.

The Banff International Research Station for Mathematical Innovation and Discovery (BIRS) is a collaborative Canada-US-Mexico venture that provides an environment for creative interaction as well as the exchange of ideas, knowledge, and methods within the Mathematical Sciences, with related disciplines and with industry. The research station is located at The Banff Centre in Alberta and is supported by Canada's Natural Science and Engineering Research Council (NSERC), the U.S. National Science Foundation (NSF), Alberta's Advanced Education and Technology, and Mexico's Consejo Nacional de Ciencia y Tecnología (CONACYT).