Ongoing

Swampland Program

CMSA 20 Garden Street, Cambridge

During the 2021–2022 academic year, the CMSA will host a program on the so-called “Swampland.” The Swampland program aims to determine which low-energy effective field theories are consistent with nonperturbative quantum gravity considerations. Not […]

CMSA Colloquium 9/15/2021 – 5/25/2022

CMSA 20 Garden Street, Cambridge

During the 2021–22 academic year, the CMSA will be hosting a Colloquium, organized by Du Pei, Changji Xu, and Michael Simkin. It will take place on Wednesdays at 9:30am – 10:30am (Boston time). The […]

Some remarks on contact Calabi-Yau 7-manifolds

Abstract: In geometry and physics it has proved useful to relate G2 and Calabi-Yau geometry via circle bundles. Contact Calabi-Yau 7-manifolds are, in the simplest cases, such circle bundles over Calabi-Yau 3-orbifolds. […]

Computer-Aided Mathematics and Satisfiability

https://youtu.be/4wHwqYrCqVQ Speaker: Marijn Heule, Carnegie Mellon University Title: Computer-Aided Mathematics and Satisfiability Abstract: Progress in satisfiability (SAT) solving has made it possible to determine the correctness of complex systems and […]