This conference will revolve around several themes: the computational complexity of L-functions; statistical problems concerning L-functions, such as the distribution of their values, and zeros, moments of L-functions, statistics and size of ranks in families of elliptic curves; practical implementations of algorithms and their applications to testing various conjectures about L-functions; rigorous and certifiable computations of L-functions. One goal is to stimulate dialogue between theoreticians and computationally minded researchers regarding problems to which computation might provide insight or important confirmation of conjectures. In the other direction, we hope that discussions will lead to new ideas concerning algorithms for L-functions.

Only recently has it become feasible to do large scale verification of the predictions of the Langlands program in higher rank cases and to present the results in a way that is accessible widely to mathematicians. Moving from the understanding of Galois representations attached to elliptic curves to those attached to surfaces and other higher-dimensional varieties poses interesting problems in both arithmetic, algebra, geometry, and analysis.

In this workshop, we will consider computational and other explicit aspects of modular forms in higher rank. Topics covered will include: K3 surfaces and their connections to modular forms on orthogonal groups, algebraic modular forms associated to classical groups and their computation, and motives arising from general Calabi-Yau varieties accessible to explicit methods, including hypergeometric motives.

This workshop will bring together researchers who approach the Langlands program from a number of different perspectives, and our goal is to... (more)

One of the crowning achievements of number theory in the 20th century is the construction of the modularity correspondence between elliptic curves with rational coefficients and modular forms of weight 2. The consequences of this result resound throughout number theory; for instance, it enables the resolution of certain problems of diophantine equations (e.g., Fermat's last theorem) as well as the systematic tabulation of elliptic curves, which in turn provides the basis for many new conjectures and results.

The aim of this workshop is to lay the groundwork for extending this correspondence to curves of small genus over number fields. The general framework for this correspondence is predicted by the Langlands program, but much remains to be made explicit. We will explore theoretical, algorithmic, computational, and experimental questions on both sides of the correspondence, with an eye towards tabulation of numerical data and formulation of precise conjectures.

In the late 1960s, Robert Langlands discovered a unifying principle in number theory providing a vast generalization of class field theory to include nonabelian extensions of number fields. This principle gives rise to a web of conjectures called the Langlands program which continues to guide research in number theory to the present day. For example, an important first instance of the Langlands program is the modularity theorem for elliptic curves over the rational numbers, an essential ingredient in the proof of Fermat's last theorem.

Despite its many successes, the Langlands program remains vague in many of its predictions, due in part to an absence of data to guide a precise formulation away from a few special cases. In this thematic program, we will experiment with and articulate refined conjectures relating arithmetic-geometric objects to automorphic forms, improve the computational infrastructure underpinning the Langlands program, and assemble additional supporting... (more)

Over the last 20 years or so, Newton-Krylov methods have developed to maturity, allowing effective fully-coupled treatment of a broad range of large-scale nonlinear problems. This development has set the stage for addressing more difficult problems with more challenging features. Additionally, applications for which state-of-the-art Newton-Krylov approaches are inapplicable have recently exposed several basic research questions. At the same time, there remain many problem-specific methods and legacy codes that are still useful and can be regarded as a resource for further development.

This workshop will include mathematicians and computer scientists who work on algorithm design, implementation, and analysis, together with disciplinary scientists and engineers who use the algorithms in applications and have a working knowledge of their capabilities, weaknesses, and limitations. The major foci of the workshop will be acceleration methods, in particular Anderson acceleration; methods for... (more)

GirlsGetMath is a weeklong mathematics summer day-program for 9th and 10th grade high school girls in the Providence, RI area.

GirlsGetMath occurs in an encouraging environment that builds young women's 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 will become a replicable national model of mathematical outreach for high school girls, with an emphasis on mathematical experimentation.

This five-day non-residential mathematics program is open to high school girls from the greater Providence, RI area who will have just completed either grade 9 or grade 10 by July 2015.

GirlsGetMath@ICERM will encourage 20 young women to... (more)

Description Goals
This program has three objectives. First, it provides graduate students with opportunities to acquire fundamental knowledge and skills in high performance computing, including parallel computing and visualization in 3D caves, and to expose them to the research carried out in these areas at Brown and Kobe Universities. Second, graduate students will learn how to work collaboratively in teams, thus preparing them for the changing nature of research. Finally, the program will provide students with opportunities to develop a global perspective and mindset through participation in a culturally rich and diverse program.

The goal of this workshop is to bring together mathematicians and data scientists to participate in a discussion of current methods and outstanding problems in data science. The workshop is particularly aimed at mathematicians interested in pursuing research or a career in data science who wish to gain an understanding of this rapidly evolving field and the ways in which mathematics can contribute.

Researchers currently working in data science are also encouraged to attend, to share ideas about mathematical methodologies and challenges. A number of experienced data scientists with a variety of backgrounds from academics, national laboratories, and industry (including startups) will be invited. The program will include overview and technical talks, several panels consisting of practitioners with different experience levels, and one or more poster sessions.

This workshop, sponsored by AIM, ICERM, and the NSF, will introduce undergraduate faculty to research opportunities in several fields of mathematics that will equip them with the tools to mentor students in undergraduate research in mathematics. Lectures at the workshop will provide background information and introduce open problems. The majority of the workshop will be spent working on problems, reporting on progress, and formulating plans for future work.

The workshop will be hosted at ICERM.

Accepted participants will receive support through AIM for travel, accommodation, and per diem.

Preference will be given to faculty who teach and advise substantial numbers of minority students.

If you would like to participate, please apply by filling out the on-line form. Applications open in January 2015 and are open to all. We especially encourage women, underrepresented minorities, junior mathematicians, and researchers from primarily undergraduate institutions to apply.

For more... (more)

The mathematical study of image reconstruction problems can have a huge impact on human life. More efficient mathematical algorithms for X-ray tomography and more accurate mathematical models in seismic or hybrid imaging can lead to better imaging devices in fields such as medicine and remote sensing. Developing the underlying mathematics, including the analysis of reconstruction stability, regularization, singularity characterization, and efficient algorithms, may lead to fewer false positives in fields such as medical, seismic and radar imaging.

This topical workshop will bring together international experts working in computational and analytical aspects of image reconstruction (including but not limited to electron-microscope tomography, hybrid imaging, radar and sonar, full waveform inversion of seismic imaging and X-ray CT) as well as postdoctoral fellows and graduate students. There will be multiple introductory-level talks for early-career researchers and non-specialists in... (more)