This is an exciting time for mathematics, as new technologies for mathematical reasoning provide novel opportunities for mathematical research, communication, and discovery. Mathlib, a library of formal mathematics, now contains one-and-a-half million lines of code. Important results like the proof of polynomial Freiman-Ruzsa conjecture by Gowers, Green, Manners, and Tao and the exponential improvement to the upper bound on Ramsey's theorem by Campos, Griffiths, Morris, and Sahasrabudhe were formally verified in the Lean proof assistant even before they were accepted to journals. Open problems in combinatorics have been solved with the help of automated reasoning, and AI introduced by Deepmind was deemed to have performed at the level of a silver medalist at the most recent International Mathematical Olympiad.

This workshop will introduce mathematicians and theoretical computer scientists to the technologies that underlie these recent successes, namely, proof assistants, automated reasoning, and machine learning. Talks each morning will survey exciting results in the field, and in the afternoons, we will help participants experiment with the tools to get a sense of what they do. We will also encourage participants to think about how they can use the new technologies in their research.

Activist Bob Moses argued that mathematical literacy was the next civil rights front line. The 2025 CIME workshop will explore what mathematical literacy might mean and why it still matters for citizenship now and in the future. The workshop’s long-term impact relies on the participation of research mathematicians, mathematics educators, educational researchers, teachers of school mathematics, and policymakers working across different perspectives and roles to foster collaboration that will raise the floor for mathematical literacy for citizenship now and in the future.

A degree 7 curve passing through 35 points in the plane

Many exciting breakthroughs in combinatorics involve innovative applications of techniques from a wide range of areas such as harmonic analysis, polynomial and linear algebraic methods, spectral graph theory, and representation theory. This workshop will present recent developments in this area and facilitate discussions of research problems.

This research conference will feature plenary talks by leading researchers, career panels, professional development opportunities, and scientific sessions in the following areas: (1) Algebra/Number Theory, (2) Combinatorics, (3) Harmonic Analysis, PDEs & Differential Geometry, (4) Numerical Analysis and Computational Mathematics, (5) Machine Learning, (6) Mathematical Biology, (7) Statistics, Data Analysis, and (8) Math Education.

The goal of the conference is to encourage attendees to pursue careers in the mathematical sciences, to showcase research being conducted at the forefront of their fields, and, finally, to build a community around shared academic interests. The conference will be held on the UCLA campus in Los Angeles, CA.

LatMath is funded by the National Science Foundation Division of Mathematical Sciences, with additional support from generous sponsors.

In recent years techniques from harmonic analysis viz. projection theorems have found striking applications in finitary analysis on homogenous spaces. Such quantitative results have many potential applications to analytic number theory. This workshop will bring together researchers in these areas to further explore these connections.

This workshop will feature leading experts in several major areas of graph theory, including extremal, probabilistic and structural aspects of the field. Introductory lectures will form an important part of the program, providing background and motivation, and aimed at a general mathematical audience. Complementing these, research talks will share exciting recent developments in graph theory.

This workshop will bring together promising early-career researchers in extremal combinatorics so that they can meet with, forge connections with, and be inspired by the leading figures in the area. The workshop will include lectures, time for collaborative research, and an informal panel discussion session on career issues. This workshop is open to all mathematicians.

Visualization of a network constructed using simple probabilistic rules, showing the emergence of hubs and other macroscopic network phenomenon. From https://graph-tool.skewed.de

Networks, graph driven algorithms, and dynamics on graphs such as epidemics, random walks and centrality measures all play a major role, both in our daily lives as well as many scientific and engineering disciplines. This introductory workshop will bring together experts and junior researchers in combinatorics, probability, and statistics to share a broad vision of major challenges and objectives, with a primary focus on models of random graphs and their limits, network inference, dynamic processes on networks and algorithms and optimization on random structures. 

AI-generated interpretation of a random network

This two-day workshop will bring together researchers from discrete mathematics, probability theory, theoretical computer science, and statistics to explore topics at their interface. The focus will be on probability and statistics of random discrete structures, as well as their applications, including in computer science and physical systems. The workshop will celebrate academic and gender diversity, bringing together mathematicians at junior and senior levels of their careers from mathematics, physics, and computer science. This workshop is open to all mathematicians.

In June 2023, Burklund, Hahn, Levy, and Schlank surprised the homotopy theory community when they announced a disproof of Ravenel's Telescope Conjecture, a fundamental problem of homotopy theory which had been open for 40 years and was believed to be out of reach. The disproof of the Telescope Conjecture combines some of the most exciting recent developments in homotopy theory. This includes fundamental work on red-shift phenomena and descent in algebraic K-theory, trace methods based on a novel approach to topological Hochschild and cyclic homology, ambidexterity in chromatic homotopy theory, and more.

The workshop will explore this amazing body of work, culminating in its synthesis and ingenious application to disprove the Telescope Conjecture.

The analysis of solutions to nonlinear geometric PDEs with higher-dimensional singular sets has seen some notable recent advances, but many fundamental questions still remain open. This workshop will bring together a wide array of researchers working in differential geometry, gauge theory, nonlinear PDEs, microlocal analysis, the calculus of variations and geometric measure theory, with the goal of describing recent advances, advertising recent technical breakthroughs and forging new connections.

<p>The Hopf fibration of <span class="math-tex">\(S^3 \space by \space S^1\)</span></p>

This workshop will bring together researchers at the frontiers of geometric analysis and Riemannian geometry, with a focus on recent advances on geometric flows, geometric problems in mathematical relativity, global Riemannian geometry, and minimal submanifolds. These areas have shown highly intriguing interactions in recent years and we expect this workshop will provide a unique opportunity to facilitate these emerging links.

This workshop aims to prepare the participants for the main program: Special Geometric Structures and Analysis.
There will be introductory lectures to recent results in geometry and analysis; more precisely in Kähler geometry, special holonomy, microlocal analysis and geometric measure theory.

The spatial Schwarzschild space with minimal surface boundary foliated by the inverse mean curvature flow

This workshop will include introductory lectures on each of the four main topics of the program: geometric flows, geometric problems in mathematical relativity, global Riemannian geometry, and minimal submanifolds. The workshop will also have semi-expository lectures on recent advances and breakthroughs involving interactions between the four main topics. This will set the stage and provide important context for the semester-long program itself. 

Geosurface

This three-day workshop will consist of various talks given by prominent women mathematicians on topics of differential geometry and geometric analysis. These will be appropriate for graduate students, postdocs, and researchers in areas related to the two Fall 2024 programs at SLMath.  The workshop will also include activities to promote interaction and connection between participants. This workshop is open to all mathematicians.

Soap bubble: equilibrium solution of the mean curvature flow and constant curvature surface.

Geometry, PDE, and Relativity are subjects that have shown intriguing interactions in the past several decades, while simultaneously diverging, each with an ever growing number of branches. Recently, several major breakthroughs have been made in each of these fields using techniques and ideas from the others. 

This program is aimed at connecting various branches of Geometry, PDE, and Relativity and at enhancing collaborations across these disciplines and will include four main topics: Geometric Flows, Geometric problems in Mathematical Relativity, Global Riemannian Geometry, and Minimal Submanifolds. Specifically the program focuses on a central goal, which is to advance our knowledge toward Riemannian (sub)manifolds under geometric conditions, such as curvature lower bounds, by developing techniques in, for example, geometric flows and minimal submanifolds and further fostering new connections.

“Plateau’s Memory ” (by A. van der Net): A soap film with singularities

This program sits at the intersection between differential geometry and analysis but also connects to several other adjacent mathematical fields and to theoretical physics. Differential geometry aims to answer questions about very regular geometric objects (smooth Riemannian manifolds) using the tools of differential calculus. A fundamental object is the curvature tensor of a Riemannian metric: an algebraically complicated object that involves 2nd partial derivatives of the metric. Many questions in differential geometry can therefore be translated into questions about the existence or properties of the solutions of systems of (often) nonlinear partial differential equations (PDEs). The PDE systems that arise in geometry have historically stimulated the development of powerful new analytic methods. In most cases the nonlinearity of these systems makes ‘closed form’ expressions for a solution impossible: instead more abstract methods must be employed.

While their original aim was to explain the strange behavior of certain magnetic alloys, the study of spin glass models has led to a far-reaching and beautiful physical theory whose techniques have been applied to a myriad of problems in theoretical computer science, statistics, optimization and biology. As many of the physical predictions can be formulated as purely mathematical questions, often extremely hard, about large random systems in high dimensions, in recent decades a new area of research has emerged in probability theory around these problems.

Mathematically, a mean-field spin glass model is a Gaussian process (random function) on the discrete hypercube or the sphere in high dimensions. A fundamental challenge in their analysis is, roughly speaking, to understand the size and structure of their super-level sets as the dimension tends to infinity, which are often studied through smooth objects like the free energy and Gibbs measure whose origin is in statistical physics. The aim of the summer school is to introduce students to landmark results on the latter while emphasizing the techniques and ideas that were developed to obtain them, as well as exposing the students to some recent research topics.

This two week summer school, jointly organized by SLMath with OIST, will offer the following two mini-courses:

1. Measure-theoretical analysis, divergence-measure fields, and nonlinear PDEs of divergence form
   This course will present some recent developments in the theory of divergence-measure fields via measure-theoretic analysis and its applications to the analysis of nonlinear PDEs of conservative form – nonlinear conservation laws.
2. Perron’s method and Wiener-type criteria in the potential theory of elliptic and parabolic PDEs
   This course will present some recent developments precisely characterizing the regularity of the point at ∞ for second order elliptic and parabolic PDEs and broadly extending the role of the Wiener test in classical analysis.

Product of projective lines embedded in projective 3-space

This summer graduate school focuses on modern homological techniques in commutative algebra, specifically those involving multigraded and differential graded structures. These topics have a long and rich history, but neither is generally covered in graduate courses. Moreover, recent developments have exhibited exciting interplay between the two subjects. 

The purpose of the school is to introduce the participants to modern themes on these topics, including Koszul duality for toric varieties and differential graded algebra structures on resolutions. The school will consist of two lectures each day and carefully planned problem sessions designed to reinforce the foundational material, with an emphasis on using computational tools such as the symbolic algebra program Macaulay2. 

ALCF Visualization and Data Analytics Team; Adam Burrows and the Princeton Supernova Theory Group, Princeton University

This summer school will give an accessible introduction to the mathematical study of general relativity, a field which in the past has had barriers to entry due to its interdisciplinary nature, and whose study has been concentrated at specific institutions, to a wider audience of students studying at institutions throughout the U.S., Europe and Greece. Another goal of the summer school will be to demonstrate the common underlying mathematical themes in many problems which traditionally have been studied by separate research communities.

The study of tensor categories involves the interplay of representation theory, combinatorics, number theory, and low dimensional topology (from a string diagram calculation, describing the 3-dimensional bordism 2-category [arXiv:1411.0945]).

Symmetry, as formalized by group theory, is ubiquitous across mathematics and science. Classical examples include point groups in crystallography, Noether's theorem relating differentiable symmetries and conserved quantities, and the classification of fundamental particles according to irreducible representations of the Poincaré group and the internal symmetry groups of the standard model. However, in some quantum settings, the notion of a group is no longer enough to capture all symmetries. Important motivating examples include Galois-like symmetries of von Neumann algebras, anyonic particles in condensed matter physics, and deformations of universal enveloping algebras. The language of tensor categories provides a unified framework to discuss these notions of quantum symmetry.

In the last few years, there have been extraordinary developments in many aspects of curve theory. Beginning with many examples in low genus, this summer school will introduce the participants to the background behind these developments in the following areas:

1. moduli spaces of stable curves
2. Brill–Noether theory
3. the extrinsic geometry of the curves in projective space

We will also include an introduction to some open problems at the forefront of these active areas.

This summer school will familiarize students with the basic problems of the mathematical theory of Euclidean quantum fields. The lectures will introduce some of its prominent models and analyze them via the so called “stochastic quantization” methods, involving recently developed stochastic and PDE techniques. This is an area which is highly interdisciplinary combining ideas ranging from the theory of partial differential equations, to stochastic analysis, to mathematical physics. Our goal is to bring together students who are perhaps familiar with some but not all of these subjects and teach them how to integrate these different tools to solve cutting-edge problems of Euclidean quantum field theory.

This summer school provides the mathematical background to recognize Koszul duality in representation theory. The school is especially oriented toward applications in the local Langlands program, with an emphasis on real groups. As Koszul duality patterns have been initially observed in the context of Hecke algebras, our school will also introduce the students to Hecke algebras and their categorifications.

The image of a large sphere isometrically embedded into a small space through a C^1 embedding. (Attributions: E. Bartzos, V. Borrelli, R. Denis, F. Lazarus, D. Rohmer, B. Thibert)

This two week summer school, jointly organized by SLMath with RIKEN, will introduce graduate students to the theory of h-principles.  After building up the theory from basic smooth topology, we will focus on more recent developments of the theory, particularly applications to symplectic and contact geometry, fluid dynamics, and foliation theory.

h-principles in smooth topology (Emmy Murphy)
Riemannian geometry and applications to fluid dynamics (Dominik Inauen)
Contact and symplectic flexibility (Emmy Murphy)
Foliation theory and diffeomorphism groups (Takashi Tsuboi)

ADJOINT is a yearlong program that provides opportunities for U.S. mathematicians – especially those from the African Diaspora – to conduct collaborative research on topics at the forefront of mathematical and statistical research. Participants will spend two weeks taking part in an intensive collaborative summer session at SLMath (formerly MSRI). The two-week summer session for ADJOINT 2024 will take place June 24 to July 5, 2024 in Berkeley, California. Researchers can participate in either of the following ways: (1) joining ADJOINT small groups under the guidance of some of the nation's foremost mathematicians and statisticians to expand their research portfolio into new areas, or (2) applying to Self-ADJOINT as part of an existing or newly-formed independent research group to work on a new or established research project. Throughout the following academic year, the program provides conference and travel support to increase opportunities for collaboration, maximize researcher visibility, and engender a sense of community among participants. 

This two week summer school, jointly organized by SLMath with IBM Zurich, will introduce students to the mathematics and algorithms used in the design and analysis of quantum-safe cryptosystems. Each week will be dedicated to two of the four families of quantum-safe schemes.

a Calabi-Yau manifold

This summer school will serve as an introduction to the SLMath program "Special geometric structures and analysis". There will be two mini-courses: one in Geometric Measure theory and the other in Microlocal Analysis. The aim is to give the basic notions of two subjects also treated during the program.

This summer school will focus on the introductory notions related to the passage of Newtonian and quantum many-body dynamics to kinetic collisional models of Boltzmann flow models arising in statistical sciences in connection to model reductions when continuum macro dynamics arises; and their numerical schemes associated to transport of kinetic processes in classical and data driven mean field dynamics incorporating recent tools from computational kinetics and data science tools. There will be two sets of lectures: “From Newton to Boltzmann to Fluid dynamics”, and “Kinetic collisional theory in mean field regimes: analysis, discrete approximations, and applications”. Each lecture series will be accompanied by a collaboration session, led by the lecturer and teaching assistants. The purpose of the collaboration sessions is to encourage and strengthen higher-level thinking of the materials taught in the lectures and to direct further reading for interested students. Interactive learning activities will be conducted. For example, students will be given problem sets associated with the lectures and will work in small groups to discuss concepts and/or find solutions to assigned problems. The students will also be encouraged to give oral or poster presentations on their solutions or other materials relevant to the course.

The MSRI-UP summer program is designed to serve a diverse group of undergraduate students who would like to conduct research in the mathematical sciences.

In 2024, MSRI-UP will focus on Mathematical Endocrinology. The research program will be led by Dr. Erica J. Graham, Associate Professor in the Department of Mathematics at Bryn Mawr College.

MSRI/SLMath's Summer Research in Mathematics program provides space, funding, and the opportunity for in-person collaboration to small groups of mathematicians, especially women and gender-expansive individuals, whose ongoing research may have been disproportionately affected by various obstacles including family obligations, professional isolation, or access to funding. Through this effort, MSRI/SLMath aims to mitigate the obstacles faced by these groups, improve the odds of research project completion, and deepen their research experience. The ultimate goal of this program is to enhance the mathematical sciences as a whole by positively affecting the research and careers of all of its participants and assisting their efforts to maintain involvement in the research community.

The ultimate goal of this program is to enhance the mathematical sciences as a whole by positively affecting the research and careers of all of its participants and assisting their efforts to maintain involvement in the research community.

This school will present various developments in Riemannian and Kähler geometry around the notion of curvature seen as a tool to describe and understand the geometry of the objects. The school will give graduate students the opportunity to learn key ideas and techniques of the field, with an emphasis on solidifying foundations in view of potential future research. The first week will be centered around the question of the existence of Kähler metrics with special curvature properties and the famous Yau-Tian-Donaldson conjecture. The second week will focus on geometric flows in Riemannian and complex geometry. 

"May 12 Initiative" Annual Workshop

The Simons Laufer Mathematical Sciences Institute (SLMath) celebrates the "May 12 Initiative" with a panel discussion and social event open to all on the topic "Being a Woman in Mathematics". This is a hybrid event taking place on Zoom and in person at SLMath. This event is free and open to worldwide participation.

If you plan to participate online, please connect using this LINK.  

This workshop will have a view to the future of a broad spectrum of topics including

• structure and classification of finite dimensional Lie algebras and superalgebras in characteristic p
• structure of infinite dimensional Lie algebras and their representations
• deformation theory of algebras, double constructions and elemental Lie algebras
• diagram algebras and combinatorial representation theory
• algebraic combinatorics of groups of Lie type:characters, Schur-Weyl duality, Bratteli diagrams, and McKay correspondences
• quantum groups and crystal bases, particularly for superalgebras and affine algebras
• examples of fusion categories arising from representations of Drinfeld doubles and other algebras
• cohomology for finite tensor categories with applications to its underlying geometry

This meeting will feature principal contributors in these areas in a celebration of the work of Georgia Benkart. With the same focus and tenacity that Georgia always had, we will strive to provide a conference full of beautiful mathematics, incredible inspiration, and the warmth of Georgia’s welcoming personality to our field and our community.

Many long-standing conjectures in commutative algebra have been solved in recent years, often through the introduction of new methods that are quickly becoming central to the field.  This workshop will bring together a wide array of researchers in commutative algebra and related fields, with the goal of forging new connections among topics, and with a particular emphasis on transformative new methods.

Optical illusion staircase

This workshop will give an overview of recent developments in non-commutative algebraic geometry, including NC projective AG, NC resolutions, semiorthogonal decompositions, enhancements of derived categories, and connections to homological mirror symmetry, to enumerative AG, to moduli spaces and to birational geometry. It will in particular focus on speakers who have built new bridges between these topics.

The undergraduate mathematics education system remains a huge barrier to college completion and to equity in higher education. The problem in entry level mathematics courses is not a lack of innovation. Numerous projects and institutions have created, piloted, and occasionally replicated effective reform efforts that overcame particular challenges, like the need to improve pedagogical practices or attend to gender equity. The biggest barrier to systemic reform – implementing many of these research-backed innovations at scale – is a structural one, particularly at large research-focused institutions. This workshop will bring together a group of stakeholders to explore a new avenue for change, the rise of teaching-focused faculty at research-intensive institutions who increasingly influence introductory coursework. By creating a network that connects these faculty across institutions, change at scale across 50, 100, or even more institutions becomes possible – on issues ranging from pedagogy to equity to curricular innovation. Creating such structures would also allow for bringing future innovations to scale much more quickly than is currently possible.

The affine line arrangement of type C with different lattices and toric arrangements arising from it.

This workshop brings together experts from different areas to discuss and foster collaboration on several topics of current interest related to Artin groups such as the K(π, 1) conjecture, hyperplane arrangements and abelian arrangements, combinatorial structures associated with dual Coxeter systems, and complexes of nonpositive curvature.

A paper fortune teller illustrating the Atiyah flop.

This introductory workshop will consist of a combination of minicourses addressing core topics in noncommutative algebraic geometry and research lectures describing recent developments in the field.  The workshop will focus on subjects connected to algebraic geometry, category theory, and mirror symmetry such as categorical and noncommutative resolutions, deformation theory, derived categories in algebraic geometry, derived algebraic geometry, infinity categories, and enumerative geometry.

This two-day workshop will feature the work of mathematicians in noncommutative geometry who identify as women or another marginalized gender. The talks will be appropriate for graduate students, post-docs, and researchers in areas related to the program. This meeting aims to support young researchers.

The workshop will focus on recent developments in noncommutative algebraic geometry including Derived Algebraic Geometry, Categorical and Noncommutative Resolutions, Deformation Theory, and Enumerative Geometry.

The format will include plenary talks, a poster session, panel discussions, as well as the opportunity for informal discussions and connections in noncommutative geometry. The workshop is open to all mathematicians, and members of historically excluded groups and identities are especially encouraged to attend.

Fractal behavior of local cohomology. For details, see arXiv:2210.03656 by Gao and Raicu

The Introductory Workshop will feature lecture series devoted to some recent breakthrough results in commutative algebra, and to new developments in core areas of the field.  It will also highlight links to other areas such as arithmetic geometry, representation theory, noncommutative geometry, and singularity theory.

This two-day workshop will feature the work of mathematicians in commutative algebra who identify as women or another marginalized gender. The talks will be appropriate for graduate students, post-docs, and researchers in areas related to the program. This meeting aims to support young researchers. The format will include plenary talks, poster sessions, panel discussions, as well as the opportunity for informal discussions and connections.  The workshop is open to all mathematicians, and members of historically excluded groups and identities are especially encouraged to attend.

Image for theorem about 9 point on cubic curve, the special case of Cayley–Bacharach theorem.

Commutative algebra is, in its essence, the study of algebraic objects, such as rings and modules over them, arising from polynomials and integral numbers.     It has numerous connections to other fields of mathematics including algebraic geometry, algebraic number theory, algebraic topology and algebraic combinatorics. Commutative Algebra has witnessed a number of spectacular developments in recent years, including the resolution of long-standing problems, with new techniques and perspectives leading to an extraordinary transformation in the field. The main focus of the program will be on these developments. These include the recent solution of Hochster's direct summand conjecture in mixed characteristic that employs the theory of perfectoid spaces, a new approach to the Buchsbaum--Eisenbud--Horrocks conjecture on the Betti numbers of modules of finite length, recent progress on the study of Castelnuovo--Mumford regularity, the proof of Stillman's conjecture and ongoing work on its effectiveness, a novel strategy to Green's conjecture on the syzygies of canonical curves based on the study of Koszul modules and their generalizations, new developments in the study of various types of multiplicities, theoretical and computational aspects of Gröbner bases, and the implicitization problem for Rees algebras and its applications.

Optical illusion staircase

Derived categories of coherent sheaves on algebraic varieties were originally conceived as technical tools for studying cohomology, but have since become central objects in fields ranging from algebraic geometry to mathematical physics, symplectic geometry, and representation theory. Noncommutative algebraic geometry is based on the idea that any category sufficiently similar to the derived category of a variety should be regarded as (the derived category of) a “noncommutative algebraic variety”; examples include semiorthogonal components of derived categories, categories of matrix factorizations, and derived categories of noncommutative dg-algebras. This perspective has led to progress on old problems, as well as surprising connections between seemingly unrelated areas. In recent years there have been great advances in this domain, including new tools for constructing semiorthogonal decompositions and derived equivalences, progress on conjectures relating birational geometry and singularities to derived categories, constructions of moduli spaces from noncommutative varieties, and instances of homological mirror symmetry for noncommutative varieties. The goal of this program is to explore and expand upon these developments. 

Blood flow and structure displacement in an Aortic Abdominal Aneurysm

This workshop will focus on the coupled dynamical interaction between fluids and elastic/poroelastic structures, with an emphasis on the most recent and cutting-edge mathematical advances in deterministic and stochastic fluid-structure interaction. The goal of this workshop is to bring together a diverse group of mathematicians in the fields of analysis, modeling, numerics, stochastics, and real-world applications in order to showcase an interdisciplinary approach to the study of coupled fluid-structure systems. A major component of this workshop will be to encourage active participation of early career researchers, such as graduate students and postdocs, and foster synergistic collaboration with established leaders in the field.