A Convergence of Computable Structure Theory, Computable Analysis, and Randomness (Cancelled) (20w5191)

The Banff International Research Station will host the "A Convergence of Computable Structure Theory, Computable Analysis, and Randomness" workshop in Banff from May 17 to May 22, 2020.

This workshop focuses on the newly developing connection between computable structure theory, computable analysis, and algorithmic randomness. Historically, computable structure theory has been centered around countable algebraic structures such as algebraically closed fields and linear orders. However, with some care, it is possible to study uncountable structures such as Banach spaces and metric spaces in this context and to define the notion of an algorithmically random structure. This workshop will bring together researchers in these three areas to build on recent advances in the intersection of these topics and develop new questions in and new approaches to this emerging field of study.

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).