## Programs & Events

##### Nonlinear Algebra

Sep 5 - Dec 7, 2018

The theory, algorithms, and software of linear algebra are familiar tools across mathematics, the applied sciences, and engineering. This ubiquity of linear algebra masks a fairly recent growth of *nonlinear algebra* in mathematics and its applications to other disciplines. The proliferation of nonlinear algebra has been fueled by recent theoretical advances, efficient implementations of core algorithms, and an increased awareness of these tools.

The benefits of this nonlinear theory and its tools are manifold. Pushing computational boundaries has led to the development of new mathematical theories, such as homotopy methods for numerical algebraic geometry, tropical geometry and toric deformations, and sums of squares methods for polynomial optimization. This uncovered many concrete nonlinear mathematical objects and questions, many of which are ripe for computer experimentation. In turn, resulting mathematical breakthroughs often lead to more powerful and efficient algorithms... (more)

##### Organizing Committee

- Frank Sottile
- Cynthia Vinzant
- Jonathan Hauenstein
- Sandra Di Rocco
- Mike Stillman
- Dan Bates
- Anton Leykin

##### Scientific Machine Learning

Jan 28 - 30, 2019

The machine learning revolution is already having a significant impact across the social sciences and business, but it is also beginning to change computational science and engineering in fundamental and very varied ways.

We are experiencing the rise of new and simpler data-driven methods based on techniques from machine learning such as deep learning. This revolution allows for the development of radical new techniques to address problems known to be very challenging with traditional methods and suggests the potential dramatic enhancement of existing methods through data informed parameter selection, both in static and dynamic modes of operation. Techniques are emerging that allows us to produce realistic solutions from non-sterilized computational problems in diverse physical sciences.

However, the urgent and unmet need to formally analyze, design, develop and deploy these emerging methods and develop algorithms must be addressed. Many central problems, e.g., enforcement of... (more)

##### Organizing Committee

- Jan Hesthaven
- George Karniadakis

##### Abelian varieties over finite fields

Jan 31 - Feb 3, 2019

This will be a hands-on workshop focused on a specific computational problem: enumerating all isomorphism classes of abelian varieties of of dimension g over a finite field of cardinality q, for a suitable range of integers g and q. Isogeny classes of abelian varieties over finite fields have been previously classified by Weil polynomials and can be found in the L-functions and Modular Form Database. The goal of this workshop is to refine this to the level of isomorphism classes, and, whenever possible, to construct explicit representatives for each isomorphism class. By exploiting recent theoretical and computational advances and assembling an appropriate team of experts, we hope to make rapid and substantial progress during this short, focused workshop and to have results available in advance of the conference on the Arithmetic of Low-dimensional Abelian Varieties that will take place at ICERM in June.

**This is a closed workshop that will not be accepting applications.**

##### Organizing Committee

- Andrew Sutherland
- John Voight

##### Computer Vision

Feb 4 - May 10, 2019

Computer vision is an inter-disciplinary topic crossing boundaries between computer science, statistics, mathematics, engineering and cognitive science.

Research in computer vision involves the development and evaluation of computational methods for image analysis. This includes the design of new theoretical models and algorithms, and practical implementation of these algorithms using a variety of computer architectures and programming languages. The methods under consideration are often motivated by generative mathematical models of the world and the imaging process. Recent approaches also rely heavily on machine learning techniques and discriminative models such as deep neural networks.

Problems that will be considered in the program include image restoration, image segmentation, object recognition and 3D reconstruction. Current approaches to address these problems draw on a variety of mathematical and computational topics such as stochastic models, statistical methods,... (more)

##### Organizing Committee

- Benar Fux Svaiter
- Olga Veksler
- Ronen Basri
- Yali Amit
- Alex Berg
- Pedro Felzenszwalb
- Tamara Berg
- Stuart Geman
- David Jacobs
- Basilis Gidas

##### Theory and Practice in Machine Learning and Computer Vision

Feb 18 - 22, 2019

Recent advances in machine learning have had a profound impact on computer vision. Simultaneously, success in computer vision applications has rapidly increased our understanding of some machine learning techniques, especially their applicability. This workshop will bring together researchers who are building a stronger theoretical understanding of the foundations of machine learning with computer vision researchers who are advancing our understanding of machine learning in practice.

Much of the recent growth in the use of machine learning in computer vision has been spurred by advances in deep neural networks. At the same time, new advances in other areas of machine learning, including reinforcement learning, generative models, and optimization methods, hold great promise for future impact. These raise important fundamental questions, such as understanding what influences the ability of learning algorithms to generalize, understanding what causes optimization in learning to converge... (more)

##### Organizing Committee

- Alex Berg
- David Jacobs
- Ronen Basri

##### An ICERM Public Lecture: Discovering Black Holes and Gravitational Waves: Algorithms and Simulation

Feb 20, 2019

The equations of general relativity, Einstein's field equations, are among the most complicated partial differential equations in mathematical physics. These equations predict the existence of gravitational waves, which are propagating disturbances in spacetime itself. In 2016, the first direct observation of these waves from colliding black holes was reported on, a historic discovery that led to last years Nobel Prize. This discovery would not have been possible without intense interaction between physicists, mathematicians, and high-performance computing tools. Indeed, numerically solving Einstein's equations for the expected wave signal and the processing of gravitational-wave datasets was enabled by advances in algorithms, numerical methods, and access to large computing resources. In this talk, I will focus on the critical role all three played in making this historic discovery as well as summarizing current directions in computational relativity and gravitational-wave data... (more)

##### Image Description for Consumer and Overhead Imagery

Feb 25 - 26, 2019

Building systems that can understand visual concepts and describe them coherently in natural language is fundamental to artificial intelligence. Advances in machine learning have had profound impact on computer vision and natural language processing. There has been interesting progress in recent years at the intersection of these two fields, producing systems that describe (eg., caption) images and videos captured by personal cameras in ordinary scenes and street views. Much work remains in this and a host of related problems, including that of building natural language descriptions of commercial overhead imagery and videos, where automation is greatly needed: "If we were to attempt to manually exploit the commercial satellite imagery we expect to have over the next 20 years, we would need eight million imagery analysts" [Robert Cardillo, NGA Director, GEOINT Symposium 2017]. This workshop brings together researchers in machine learning, computer vision, natural language processing... (more)

##### Organizing Committee

- Trevor Darrell
- Guillermo Sapiro
- Triet Le
- Eric Xing
- David Jacobs

##### Computational Imaging

Mar 18 - 22, 2019

Computational imaging involves the use of mathematical models and computational methods as part of imaging systems. Algorithms for image reconstruction have important applications, including in medical image analysis and imaging for the physical sciences. Classical approaches often involve solving large inverse problems using a variety of regularization methods and numerical algorithms.

Current research includes the development of new cameras and imaging methods, where the hardware system and the computational techniques used for image reconstruction are co-designed. New developments have been influenced by the introduction of novel techniques for compressed sensing and sparse reconstruction. The use of machine learning methods for designing a new generation of imaging systems has also been increasingly important.

Specific topics that will be discussed include: image reconstruction, computational photography, compressed sensing, machine learning methods, numerical optimization,... (more)

##### Organizing Committee

- Pedro Felzenszwalb
- Basilis Gidas

##### An ICERM Public Lecture - Bias in bios: fairness in a high-stakes machine-learning setting

Mar 21, 2019

Machine learning algorithms form biases, like humans, based on the data they observe. However, unlike humans, the algorithms can readily admit their biases when probed appropriately. Using publicly available lists of names, we enumerate biases in an unsupervised fashion from word embeddings trained on public data. Gender, racial, and religious biases emerge, among others. We then analyze the effects of these biases on a problem motivated by recommending jobs to candidates. To collect data for this task, we extract hundreds of thousands of third-person bios from the web. The straightforward application of machine learning is found to amplify some biases. However, unlike humans, it is easy to put in place algorithmic corrections to mitigate this bias amplification.

Joint work with: Maria De Arteaga (CMU); Alexey Romanov (UMass Lowell); Nat Swinger (Lexington HS); Tom Heffernan (Shrewsbury HS); Christian Borgs, Jennifer Chayes, and Hanna Wallach (MSR); Alex Chouldechova (CMU; Mark... (more)

##### Optimization Methods in Computer Vision and Image Processing

Apr 29 - May 3, 2019

Optimization appears in many computer vision and image processing problems such as image restoration (denoising, inpainting, compressed sensing), multi-view reconstruction, shape from X, object detection, image segmentation, optical flow, matching, and network training. While there are formulations allowing for global optimal optimization, e.g. using convex objectives or exact combinatorial algorithms, many problems in computer vision and image processing require efficient approximation methods.

Optimization methods that are widely used range from graph-based techniques and convex relaxations to greedy approaches (e.g. gradient descent). Each method has different efficiency and optimality guarantees. The goal of this workshop is a broad discussion of mathematical models (objectives and constraints) and robust efficient optimization methods (exact or approximate, discrete or continuous) addressing existing issues and advancing the state of the art.

##### Organizing Committee

- Benar Fux Svaiter
- Pedro Felzenszwalb
- Olga Veksler
- Yuri Boykov

##### An ICERM Public Lecture: What’s the big deal about calculus?

May 8, 2019

Everyone has heard of calculus, but why is it so important? Millions of high school and college students feel compelled to take calculus, but many would be hard-pressed to explain what the subject is about or why it matters. Some of their teachers might feel the same way.

In this talk, I’ll try to clarify the fantastic idea at the heart of calculus. With the help of pictures and stories, I’ll trace where calculus came from and then show how it – in partnership with medicine, philosophy, science, and technology – reshaped the course of civilization and helped make the world modern. This talk is intended for everyone, whether you've taken calculus or not, and whether you like math or not. By the end, I hope to convince you that calculus is one of the most imaginative and consequential triumphs of human creativity ever.

##### Arithmetic of Low-Dimensional Abelian Varieties

Jun 3 - 7, 2019

In this workshop, we will explore a number of themes in the arithmetic of abelian varieties of low dimension (typically dimension 2â€“4), with a focus on computational aspects. Topics will include the study of torsion points, Galois representations, endomorphism rings, Sato-Tate distributions, Mumford-Tate groups, complex and p-adic analytic aspects, L-functions, rational points, and so on. We also seek to classify and tabulate these objects, in particular to understand explicitly the underlying moduli spaces (with specified polarization, endomorphism, and torsion structure), and to find examples of abelian varieties exhibiting special behavior. Finally, we will pursue connections with related areas, including the theory of modular forms, related algebraic varieties (e.g., K3 surfaces), and special values of L-functions.

Our goal is for the workshop to bring together researchers working on abelian varieties in a number of facets to establish collaborations, develop algorithms, and... (more)

##### Organizing Committee

- Andrew Sutherland
- Jennifer Balakrishnan
- Brendan Hassett
- Bjorn Poonen
- John Voight
- Noam Elkies