Interactive theorem proving software can check, manipulate, and generate proofs of mathematical statements, just as computer algebra software can manipulate numbers, polynomials, and matrices. Over the last few years, these systems have become highly sophisticated and have learnt a large amount of mathematics. One has to be open to the idea these systems will change the way mathematics is done, and how it is taught in universities.

At the ICERM workshop "Lean for the Curious Mathematician 2022", experts in the Lean theorem prover will explain how to do number theory, topology, geometry, analysis, and algebra in the Lean theorem prover. This will be accessible to mathematicians without a specific background in computer-proof systems. The material covered will range from undergraduate mathematics to modern research. Participants will be invited to begin formalizing mathematical objects from their own research.

Application Deadline: March 7, 2022.

A challenge for mathematical modeling, from toy dynamical system models to full weather and climate models, is applying data assimilation and dynamical systems techniques to models that exhibit chaos and stochastic variability in the presence of coupled slow and fast modes of variability. Recent collaborations between universities and government agencies in India and the United States have resulted in detailed observations of oceanic and atmospheric processes in the Bay of Bengal, the Arabian Sea, and the Indian Ocean, collectively observing many coupled modes of variability. One key target identified by these groups was the improvement of forecasts of variability of the summer monsoon, which significantly affects agriculture and water management practices throughout South Asia. The Monsoon Intraseasonal Oscillation is a northward propagating mode of precipitation variability and is one of the most conspicuous examples of coupled atmosphere-ocean processes during the summer... (more)

The 2020 Summer@ICERM program, held virtually due to the COVID-19 pandemic, involved 19 students from across the US in research projects investigating large-scale linear algebra, model reduction, randomized algorithms, and deep learning. Since the program, some students have begun successful technical careers in mathematics and computation, and some have matriculated in graduate school programs. This in-person reunion event, to be held from June 9-10, 2022 at ICERM, aims to rekindle professional relationships and possibly spark new directions for research.

Mathematical models arising from scientific applications frequently have a large number of degrees of freedom, and modern observational or empirical datasets have high-dimensional features. Such high-dimensional realities from either simulation or experimental data makes direct computational analysis, compression, and/or probing tasks such as outer-loop optimization, design, and/or uncertainty quantification computationally infeasible. One paradigm for addressing such a challenge is mathematics-based model reduction, which aims to find and exploit low-dimensional structure in high-dimensional models to generate a computationally efficient emulator, often with provable accuracy guarantees. A complementary class of approaches is found in low-rank approximation and statistics where data reduction techniques can efficiently explore and mine parsimonious summarizations of high-dimensional datasets. One major goal of the Spring 2020 program, and the foundational theme for this proposed... (more)

This two-day interactive and research-oriented workshop brings together researchers and leaders at the interface of general relativity, quantum gravity, and mathematics with a focus on Chern-Simons Classical and Quantum Gravity. A main goal of the workshop is to find new synergies across sub-disciplines with an eye towards observational signatures.

The Women in Algebraic Combinatorics Research Community will bring together researchers at all stages of their careers in algebraic combinatorics, from both research and teaching-focused institutions, to work in groups of 4-6, each directed by a leading mathematician. The goals of this program are: to advance the frontiers of cutting-edge algebraic combinatorics, including through explicit computations and experimentation, and to strengthen the community of women working in algebraic combinatorics.

Successful applicants will be assigned to a group based on their research interests. The groups will work on open problems in algebraic combinatorics and closely related areas, including representation theory, special functions, and discrete geometry. Several of the proposed projects will extensively involve experimentation and computation, which will increase the likelihood that concrete progress is made over the course of the initial workshop and following 6 months, and provide useful... (more)

The workshop aims to spur a holistic approach to the design of time-dependent PDE discretizations, particularly in terms of developing time integration techniques that are intertwined with spatial discretization techniques, focusing on: generalized ImEx methods, asymptotic-preserving and structure-preserving methods, methods that exploit low-rank dynamics, analysis of order reduction, parallel in time methods, and performant, maintainable, extensible software implementations.

Recent decades have seen increasing use of first-principles-based simulations via time-dependent partial differential equations (PDE), with applications in astrophysics, climate science, weather prediction, marine science, geosciences, life science research, defense, and more. Growing computational capabilities have augmented the importance of sophisticated high-order and adaptive methods over “naive'” low-order methods. However, there are fundamental challenges to achieving truly high order and full... (more)

A challenge for mathematical modeling, from toy dynamical system models to full weather and climate models, is applying data assimilation and dynamical systems techniques to models that exhibit chaos and stochastic variability in the presence of coupled slow and fast modes of variability. Recent collaborations between universities and government agencies in India and the United States have resulted in detailed observations of oceanic and atmospheric processes in the Bay of Bengal, the Arabian Sea, and the Indian Ocean, collectively observing many coupled modes of variability. One key target identified by these groups was the improvement of forecasts of variability of the summer monsoon, which significantly affects agriculture and water management practices throughout South Asia. The Monsoon Intraseasonal Oscillation is a northward propagating mode of precipitation variability and is one of the most conspicuous examples of coupled atmosphere-ocean processes during the summer... (more)

Spectra, the Association for LGBTQ+ Mathematicians, was conceived in the last ten years with its first official event in 2015 -- a panel discussion at the JMM in San Antonio. Since then, Spectra has organized events at various conferences to bring together people of the LGBTQ+ community.

Spectra is organizing this conference to provide opportunities for LGBTQ+ mathematicians both to celebrate achievements and to spark conversations of challenges in our community. This will be a space for attendees to share their research across all areas of mathematics (theoretical, applied, and math education) and to interact and create support networks within and across their research communities.

Spectra is proud to organize its first official conference and create an intentional space for LGBTQ+ mathematicians. This will be an event where LGBTQ+ mathematicians at all career stages can interact and network with their peers. Further, it will facilitate discussions for creating better environments... (more)

The adoption of D-module techniques has transformed the interface between commutative algebra and algebraic geometry over the last two decades. The discovery of interactions and parallels with the Frobenius morphism has been an impetus for many new results, including new invariants attached to singularities but also D- and F-module based algorithms for computing quantities that used to be unattainable.

Our goal for this workshop is to discuss computational aspects and new challenges in singularity theory, focusing on special varieties that arise from group actions, canonical maps, or universal constructions. By bringing together geometers, algebraists, and invariant theorists, we will address problems from multiple perspectives. These will include comparisons of composition chains for D- and F-modules, the impact of group actions on singularity invariants, and the structure of differential operators on singularities in varying characteristics.

The Women in Algebraic Combinatorics Research Community will bring together researchers at all stages of their careers in algebraic combinatorics, from both research and teaching-focused institutions, to work in groups of 4-6, each directed by a leading mathematician. The goals of this program are: to advance the frontiers of cutting-edge algebraic combinatorics, including through explicit computations and experimentation, and to strengthen the community of women working in algebraic combinatorics.

Successful applicants will be assigned to a group based on their research interests. The groups will work on open problems in algebraic combinatorics and closely related areas, including representation theory, special functions, and discrete geometry. Several of the proposed projects will extensively involve experimentation and computation, which will increase the likelihood that concrete progress is made over the course of the initial workshop and following 6 months, and provide useful... (more)

Rough path theory emerged as a branch of stochastic analysis to give an improved approach to dealing with the interactions of complex random systems. In that context, it continues to resolve important questions, but its broader theoretical footprint has been substantial. Most notable is its contribution to Hairer’s Fields-Medal-winning work on regularity structures. At the core of rough path theory is the so-called signature transform which, while being simple to define, has rich mathematical properties bringing in aspects of analysis, geometry, and algebra. Hambly and Lyons (Annals of Math, 2010) built upon earlier work of Chen, showing how the signature represents the path uniquely up to generalized reparameterizations. This turns out to have practical implications allowing one to summarise the space of functions on unparameterized paths and data streams in a very economical way.

Over the past five years, a significant strand of applied work has been undertaken to exploit the... (more)