In the 2020-2021 academic year, the CMSA will be hosting a lecture series on Strongly Correlated Materials and High Tc Superconductor. All talks will take place from 10:30-12:00pm ET virtually on Zoom. […]
In 2021, the CMSA hosted a lecture series on the literature of the mathematical sciences. This series highlights significant accomplishments in the intersection between mathematics and the sciences. Speakers include […]
Speaker: Michael Shulman - Dept. of Mathematics, University of San Diego Title: Homotopy type theory and the quest for extensionality Abstract: Over the past decades, dependent type theory has proven to […]