During 2026–27, the CMSA will host a seminar on New Technologies in Mathematics, organized by Michael Douglas and Luca Pesce. This seminar will take place on Wednesdays from 2:00 pm–3:00 pm (Eastern Time). The meetings will take place in Room G10 at the CMSA, 20 Garden Street, Cambridge MA 02138, and some meetings will take place virtually on Zoom or be held in hybrid formats. To learn how to attend, join the seminar mailing list or contact Michael Douglas (mdouglas@cmsa.fas.harvard.edu).
The schedule will be updated as talks are confirmed.
Seminar videos can be found at the CMSA Youtube site: New Technologies in Mathematics Playlist
https://youtu.be/-DKctbabRkY Speaker: Steve Skiena, Dept. of Computer Science and AI Insititute, Stony Brook University Title: Word and Graph Embeddings for Machine Learning Abstract: DeepWalk is an approach we have developed […]
https://youtu.be/LZMtQNdqtvc Speaker: Lawrence Paulson, University of Cambridge Computer Laboratory Title: Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL Abstract: Are proof assistants relevant to mathematics? One approach to this […]
https://youtu.be/79ymkGQW3b4 Speaker: David McAllester - Toyota Technological Institute at Chicago Title: Type theory from the perspective of artificial intelligence Abstract: This talk will discuss dependent type theory from the perspective of […]
https://youtu.be/VhseP2V3NXg Speaker: Miles Cranmer - Princeton University Title: A Bayesian neural network predicts the dissolution of compact planetary systems Abstract: Despite over three hundred years of effort, no solutions exist for […]
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 […]
https://youtu.be/leONsS4LiV4 Speaker: JM Landsberg, Texas A&M Title: The complexity of matrix multiplication approached via algebraic geometry and representation theory Abstract: In 1968 V. Strassen discovered the way we usually multiply […]
https://youtu.be/3Nxe7J07TQY Speaker: Francois Chollet, Google Title: Why abstraction is the key to intelligence, and what we’re still missing Abstract: This talk provides a personal perspective on the way forward towards more […]
https://youtu.be/ufG0YLj_sik Speaker: Adam Wagner, Tel Aviv University Title: Constructions in combinatorics via neural networks Abstract: Recently, significant progress has been made in the area of machine learning algorithms, and they […]
https://youtu.be/zJOWdZZcitk Speaker: Thomas Fischbacher, Google Title: New results in Supergravity via ML Technology Abstract: The infrastructure built to power the Machine Learning revolution has many other uses beyond Deep Learning. […]
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 […]
https://youtu.be/rRGh97sOtKE Speaker: Patrick Massot, Laboratoire de Mathématiques d’Orsay and CNRS Title: Why explain mathematics to computers? Abstract: A growing number of mathematicians are having fun explaining mathematics to computers using […]
https://youtu.be/h-LEf4YnWhQ Speakers: Curtis Bright, School of Computer Science, University of Windsor and Vijay Ganesh, Dept. of Electrical and Computer Engineering, University of Waterloo Title: When Computer Algebra Meets Satisfiability: A […]