CMSA Colloquium 9/15/2021 – 5/25/2022
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 […]
3 events found.
Ongoing
Knot homology and sheaves on the Hilbert scheme of points on the plane
Speaker: Alexei Oblomkov (University of Massachusetts) Title: Knot homology and sheaves on the Hilbert scheme of points on the plane Abstract: The knot homology (defined by Khovavov, Rozansky) provide us […]
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 […]