## Programs & Events

##### Mathematical Optimization of Systems Impacted by Rare, High-Impact Random Events

Jun 24 - 28, 2019

Designing, planning, and operating many systems is challenging due to the possibility of high-impact rare events. A motivating application is the electricity power grid, whose operation can be significantly disrupted by rare weather events such as a severe storm or a polar vortex. This workshop will explore optimization and simulation approaches to designing, planning, and operating systems impacted by such events. Stochastic optimization is one approach for optimizing such systems, in which the uncertain outcomes are modeled with random variables. Rare and high-impact events provide a challenge for stochastic optimization because (1) it is difficult to estimate the likelihood of rare events, (2) estimates of expected values with outcomes that have very low probability but high cost are inherently unstable, and (3) the actual distribution of the random events is often not known. Alternatively, robust and distributionally robust optimization models attempt to identify a solution that is... (more)

##### Organizing Committee

- Mihai Anitescu
- Güzin Bayraksan
- Jim Luedtke
- Jonathan Weare

##### ICERM Research Experiences for Undergraduate Faculty (REUF)

Jun 17 - 21, 2019

This workshop, a formal collaboration between ICERM and the American Institute of Mathematics (AIM), is one in a series of annual REUF workshops. These workshops bring together leading research mathematicians and faculty based at primarily undergraduate institutions to investigate open questions in the mathematical sciences and to equip participants with tools to engage in research with undergraduate students. REUF also serves to jump-start faculty who want to re-engage in research or who are considering a change in their research area.

The goals of this workshop are to promote undergraduate research and to forge research collaborations among the participating faculty. The majority of the workshop will be spent working on problems in small research groups, reporting on progress, and formulating plans for future work. Note that there are opportunities for participants to continue research activities beyond the workshop week, which will be discussed during the workshop.

Preference will... (more)

##### Organizing Committee

- Brianna Donaldson
- Leslie Hogben
- Ulrica Wilson

##### Encrypted Search

Jun 10 - 14, 2019

The area of **encrypted search** focuses on the design and cryptanalysis of practical algorithms and systems that can search on end-to-end encrypted data. With encrypted search algorithms, data can remain encrypted *even in use.* As such, encrypted search algorithms have a wide array of applications including in data management, healthcare, cloud computing, mobile security, blockchains, and censorship- and surveillance-resistant systems.

##### Organizing Committee

- Alexandra Boldyreva
- David Cash
- Seny Kamara
- Hugo Krawczyk
- Tarik Moataz
- Charalampos Papamanthou

##### Summer@ICERM 2019: Computational Arithmetic Dynamics

Jun 10 - Aug 2, 2019

Imagine spending eight-weeks on the beautiful Brown University campus in historic Providence, RI, working in a small team setting to solve mathematical research problems developed by faculty experts in their fields.

Imagine creating career-building connections between peers, near peers (graduate students and postdocs), and academic professionals.

Imagine spending your summer in a fun, memorable, and intellectually stimulating environment.

Now, imagine having this experience with support for travel within the U.S., room and board paid, plus a $3,570 stipend*.

The 2019 Summer@ICERM program at Brown University is an eight-week residential program designed for a select group of 18-22 undergraduate scholars.

The faculty advisers will present a variety of interdisciplinary research... (more)

##### Organizing Committee

- John Doyle
- Benjamin Hutz
- Bianca Thompson
- Adam Towsley

##### 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

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

##### Data Science in Low-dimensional Spaces

May 13 - 17, 2019

Data science in low-dimensional spaces is motivated by applications in mapping, navigation, geographic resource allocation, modeling of body shapes and chemical structures, and more. In addition to datasets that naturally reside in low-dimension spaces, dimension-reduction methods can often transform high dimensional data to lower-dimensional data while preserving properties of interest. Since many computational problems are intractable for high-dimensional data but potentially tractable for low-dimensional data, it is useful to establish the algorithmic foundations of data science on low-dimensional data, to understand the special properties of such data, and to identify computational methods that are highly effective when applied to such data.

This workshop will bring together researchers in academia and industry to explore algorithmic and data analysis technique specialized for low-dimensional data, and application areas in which such problems arise. The focus of this workshop is... (more)

##### Organizing Committee

- Vincent Cohen-Addad
- Philip Klein
- Eli Upfal

##### Introduction to the ANTs Ecosystem

May 10, 2019

Advanced Normalization Tools (ANTs, originating at sourceforge.net on 2008-06-26 and now residing at https://github.com/ANTsX/ANTs) is a computational framework for quantitative biological image analysis. ANTs was first created by Brian Avants, Nicholas Tustison, and Gang Song (now at Google) as a way to rapidly disseminate the latest methodological research to the community of scientists who depend on imaging analytics and the flexibility to study different organ systems, species or modalities all within the same computational framework. While originally focused on diffeomorphic image registration, ANTs grew to incorporate methods for segmentation, feature extraction and, more recently, evolved into a multi-package ecosystem featuring full statistical pipelines via ANTsR (https://github.com/ANTsX/ANTsR ), such as multiple modality inference of structural/functional relationships with... (more)

##### Organizing Committee

- Brian Avants
- Nick Tustison

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

May 8, 2019

**THIS EVENT IS SOLD OUT**. However, you can watch the lecture real-time via live-stream on ICERM's website on the day of the event. Just go to our home page and click on the "Live Streaming" button at the top of the page. https//icerm.brown.edu

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... (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

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

##### 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)

##### 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

##### Modularity and 3-manifolds

Mar 8 - 10, 2019

A long-standing problem in quantum topology is to find a function, more precisely a q-series with integer coefficients, such that its limiting values at primitive roots of unity yield invariants of Witten and Reshetikhin-Turaev. In other words, such a function would be to 3-manifolds what the Jones polynomial is to knots. Somewhat surprisingly, recent physics developments suggest that, in order to solve this problem, one must associate to a 3-manifold not a single function (q-series), but rather a collection of functions. Very recently, based on both physical intuition and explicit computations, it was suggested that these 3-manifold invariants display (modified) modularity properties of various types and are related to number theoretic objects including mock and false theta functions and quantum modular forms. This workshop will bring experts from the fields of topology, physics and number theory together, with the goal of combining knowledge and computational skills and furthering... (more)

##### Organizing Committee

- Miranda Cheng
- Sergei Gukov