Programs & Events
Lean for the Curious Mathematician 2022
Jul 11 - 15, 2022
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.
Organizing Committee
- Jeremy Avigad
- Kevin Buzzard
- Johan Commelin
- Yury Kudryashov
- Heather Macbeth
- Scott Morrison
Fall 2020 Reunion Event
Jul 25 - Aug 12, 2022
The aim of this reunion meeting is to bring together the participants from the Fall 2020 program âadvances in computational relativityâ to work in a focused way towards solving the most pressing mathematical modeling and numerical simulation issues facing the gravitational wave community, and cultivating new subfields within mathematics that focus on important, pressing issues related to gravitational waves as well as providing mathematicians with new questions and problems to explore.
The areas of focus will be: (i) mathematical and computational approaches for solving the source-free Einstein field equations (a nonlinear, coupled, hyperbolic-elliptic PDE system) including fundamental aspects of general relativity or alternative theories of gravity, (ii) mathematical and computational approaches for the Einstein field equations with matter and magnetic fields, as well as the multi-scale, multi-physics modeling challenges for such problems, and (iii) methods for the detection,... (more)
Organizing Committee
- Stefanos Aretakis
- Scott Field
- Gaurav Khanna
- Stephen Lau
- Steven Liebling
- Deirdre Shoemaker
- Jared Speck
Research Experiences for Undergraduate Faculty Summer Workshop (REUF) at AIM, San Jose, CA
Aug 1 - 5, 2022
This workshop, sponsored by AIM, ICERM, and the NSF, equips faculty to involve their students in areas of active research.
The workshop is one in a series of annual REUF workshops that brings together faculty at undergraduate institutions who are interested in engaging in research with their students. The workshop is also a research renewal opportunity for faculty who want to reengage in research or are considering a change of research area.
The goals of the workshop are to promote undergraduate research in undergraduate institutions, and to forge lasting research collaborations among the participating faculty. The majority of the workshop will be spent working in small research groups on problems, reporting on progress, and formulating plans for future work. In addition, there will be opportunities for participants to continue research activities beyond the workshop week.
Accepted participants will receive support for travel, accommodation, and per diem. Preference will be given to... (more)
Numerical Relativity Community Summer School
Aug 8 - 12, 2022
The Numerical Relativity community summer school aims to provide graduate students and postdocs with the tools needed to master and understand cutting-edge numerical relativity simulations. Our one-week lecture series is geared toward providing a comprehensive introduction to the numerical study of gravitational waves, relativistic fluids, and modified gravity. In addition, we hope to strengthen the ties between different code communities and plan hand-on sessions and hackathons to foster interaction amongst the participants. There will also be the opportunity for students and postdocs to interact with senior participants and lecturers of the ICERM workshop program.
As part of your application, please briefly answer the following questions in your personal statement:
- How does your research involve numerical relativity, or how do you plan to involve numerical relativity in the future?
- Do you have experience in computational physics and/or numerical relativity? Which,... (more)
Organizing Committee
- Scott Field
- Thomas Helfer
- Elias Most
- Leo Stein
- Nils Vu
- Helvi Witek
GirlsGetMath@ICERM: Summer Math Camp for High School Students
Aug 15 - 19, 2022
GirlsGetMath@ICERM is a five-day non-residential mathematics program that is open to high schoolers, regardless of gender, who live in or near greater Rhode Island and who will be entering the 10th or 11th grade in the fall of 2022.
GirlsGetMath occurs in an encouraging environment that builds young students' confidence in math and science.
GirlsGetMath expands participants' understanding and knowledge of mathematics through computations and experimentations.
GirlsGetMath provides expert mathematical training and mentoring.
GirlsGetMath@ICERM encourages 20-25 high schoolers to explore topics such as cryptography, the mathematics of voting, image processing, prime numbers and factoring, and fractals.
The goals of the program are:
- to show young adults that the study of mathematics can be exciting,... (more)
Organizing Committee
- Amalia Culiuc
- Katharine Ott
- Ulrica Wilson
Harmonic Analysis and Convexity
Sep 7 - Dec 9, 2022
In recent years, the interaction between harmonic analysis and convex geometry has dramatically increased, which resulted in solutions to several long-standing problems. The program will bring together leading mathematicians in both areas, along with researchers working in related applied fields, for the first-ever long-term joint program.
The main directions of the program will include: the Fourier approach to Geometric Tomography, the study of geometric properties of solids based on information about their sections and projections, Volume and Duality, Bellman technique for extremal problems of harmonic analysis, and various types of convexity of solutions of corresponding Hamilton–Jacobi–Bellman equation, as well as numerical computations and computer-assisted proofs applied to the aforementioned problems. The computational part will cover theoretical aspects (optimal algorithms, and why they work) as well as more applied ones (implementation).
Organizing Committee
- Javier Gomez Serrano
- Irina Holmes Fay
- Bo'az Klartag
- Alexander Koldobskiy
- Sergei Treil
- Alexander Volberg
- Artem Zvavitch
Opening Event: Harmonic Analysis and Convexity
Sep 12 - 16, 2022
The interaction between harmonic analysis and convex geometry has been strong for a long time. However, in recent years new methods were developed that caused a steep rise in productivity of this cooperation. This workshop will include series of lectures introducing the participants to Fourier methods in geometric tomography, Bellman techniques for extremal problems of harmonic analysis, volume and duality, and computational aspects of the subject.
Harmonic Analysis Methods in Geometric Tomography
Sep 26 - 30, 2022
Geometric tomography is the area of Mathematics dealing with the retrieval of information about solid objects based on the size of their sections or projections, or other lower dimensional data. Results from this area often find real-world applications in science and engineering.
In recent years geometric tomography has seen a rapid period of growth due to many exciting developments in harmonic analysis. The goal of the present workshop is to bring together specialists in geometric tomography, harmonic analysis, and related areas to discuss important advances and share new ideas.
Organizing Committee
- Maria Alfonseca Cubero
- Dmitry Ryabogin
- Vladyslav Yaskin
- Artem Zvavitch
Probabilistic Methods in Geometry and Analysis
Oct 17 - 21, 2022
Probabilistic methods have long played an important role in various areas of geometry and analysis. Notable applications of probabilistic methods appear, for example, in geometric functional analysis, in harmonic analysis, and in discrete mathematics. Conversely, mathematical phenomena of fundamentally geometric and analytic origin, such as the concentration of measure phenomenon, play a central role in modern probability theory. Novel interactions between probability, geometry and analysis continue to drive important innovations in these fields.
The aim of this workshop is to bring together a diverse range of experts from probability, geometry, and analysis, in order to promote further dialogue between these fields and to catalyze the creation of new interactions.
Organizing Committee
- Shiri Artstein-Avidan
- Ronen Eldan
- Bo'az Klartag
- Mark Rudelson
- Ramon van Handel
Extremal Problems in Harmonic Analysis, Convexity, and Bellman Functions
Nov 28 - Dec 2, 2022
Extremal problems in harmonic analysis recently acquired prominence in questions ranging from optimizers in Fourier restriction results to sharp geometric inequalities to sharp estimates of various singular operators of Calderón–Zygmund type. Sharp inequalities and their stability versions reveal new connections between harmonic analysis, geometric measure theory, additive combinatorics, and stochastic optimal control. There are many examples of sharp estimates by stochastic control approach and the use of special types of convexity and Monge–Ampére equation. There are interesting examples of using the computational tools in proving sharp geometric inequalities for martingales and on Hamming cube and for Fourier restriction inequalities.
Organizing Committee
- Javier Gomez Serrano
- Irina Holmes Fay
- Alexander Volberg
An ICERM Public Lecture: Mirror Mirror on the Wall: the story of reflection groups and fractal sphere-packings
Nov 30, 2022
Discover how geometry and arithmetic can interact in unexpected ways to form fractal sphere-packings from reflections in curved mirrors.
Privacy and Ethics in Pandemic Data Collection and Processing
Jan 17 - 20, 2023
The collection and analysis of large-scale population level and individual mobility and social mixing data raises fundamental ethical questions related to privacy, individual autonomy, consent, and the distribution of power in society. Balancing those concerns with the desires of public health researchers and policy makers to learn what they need from the data is a central challenge. Ethics is a fundamentally discursive discipline and useful guidance on any of the challenges mentioned above can only result from actively engaging with a variety of perspectives and openly discussing their implications for the design and implementation of the big data-driven methods and technologies used in public health research. At the same time, ethicists must gain substantive insight into the technical details of these means if they are to identify and discuss specific concerns, and provide targeted recommendations.
In this multidisciplinary workshop, we will brainstorm new ethical challenges... (more)
Organizing Committee
- Mark Lurie
- Anna Lysyanskaya
- Julia Netter
- Sohini Ramachandran
- Betsy Stubblefield Loucks
- Kimani Toussaint
- Thomas Trikalinos