Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

About

The Institute for Pure and Applied Mathematics (IPAM) is a National Science Foundation Math Institute at the University of California, Los Angeles (UCLA) that fosters the interaction of mathematics with a broad range of science and technology, builds new interdisciplinary research communities, promotes mathematical innovation, and engages and transforms the world through mathematics. IPAM fulfills its mission through workshops and programs that connect mathematics and other disciplines or multiple areas of mathematics. These activities bring in thousands of visitors annually from academia, government, and industry. The NSF has encouraged IPAM to make the scientific presentations of our speakers available to a wider audience. While this YouTube channel contains many of our most popular videos, our full video archive is available at www.ipam.ucla.edu/videos.