• 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 […]

  • D3C: Reducing the Price of Anarchy in Multi-Agent Learning

    Virtual

    Speaker: Ian Gemp, DeepMind Title: D3C: Reducing the Price of Anarchy in Multi-Agent Learning Abstract: In multi-agent systems the complex interaction of fixed incentives can lead agents to outcomes that are poor […]

  • Stochastic PDE as scaling limits of interacting particle systems

    Abstract: Interacting particle models are often employed to gain understanding of the emergence of macroscopic phenomena from microscopic laws of nature. These individual-based models capture fine details, including randomness and […]

  • General Relativity 2021-22

    During the 2021–22 academic year, the CMSA will be hosting a seminar on General Relativity, organized by Aghil Alaee, Jue Liu, Daniel Kapec, and Puskar Mondal. This seminar will take […]

  • The Festina Lente Bound

    Abstract: I will explain what the Festina Lente bound means and where it comes from. Then I discuss its possible implications for phenomenology, both top-down and bottom-up.

  • 10/19/2021 Combinatorics, Physics and Probability Seminar

    Title: Ising model, total positivity, and criticality Abstract: The Ising model, introduced in 1920, is one of the most well-studied models in statistical mechanics. It is known to undergo a phase transition at critical […]

  • Tropical disk counts

    Abstract: (joint with S. Venugopalan)  I will describe version of the Fukaya algebra that appears in a tropical degeneration with the Lagrangian being one of the “tropical fibers”. An example is the count of […]

  • Categorification and applications

    Virtual

    Speaker: Peng Shan (Tsinghua University) Title: Categorification and applications Abstract: I will give a survey of the program of categorification for quantum groups, some of its recent development and applications to representation theory.