## Stability of the Positive Mass Thm

Lan Hsuan Haung

IAS

October 17, 2018

Thomas Rudelius

October 17, 2018

Bernhard Hanke

Augsburg University

October 18, 2018

Mike Saks

Rutgers University

October 22, 2018

Edit distance is a widely used measure of similarity of two strings based on the minimum number of character insertions, deletions, and substitutions required to transform one string into the other. The edit distance can be computed exactly using a classical dynamic programming algorithm that runs in quadratic time.

Bill Meeks

University of Massachusetts Amherst

October 22, 2018

In this talk I will present a survey of some of the famous results and examples in the classical theory of minimal and constant mean curvature surfaces in R^3. The first examples of minimal surfaces were found by Euler (catenoid) around 1741, Muesner (helicoid) around 1746 and Riemann (Riemann minimal examples) around 1860. The classical examples of non-zero constant mean curvature surfaces are the Delaunay surfaces of revolution found in 1841, which include round spheres and cylinders.

Dor Minzer

Member, School of Mathematics

October 23, 2018

A graph G is called a small set expander if any small set of vertices contains only a small fraction of the edges adjacent to it.

This talk is mainly concerned with the investigation of small set expansion on the Grassmann Graphs, a study that was motivated by recent applications to Probabilistically Checkable Proofs and hardness of approximation.

This talk is mainly concerned with the investigation of small set expansion on the Grassmann Graphs, a study that was motivated by recent applications to Probabilistically Checkable Proofs and hardness of approximation.

Jonathan Pila

University of Oxford

October 23, 2018

This introductory lecture will describe results about counting rational points on certain non-algebraic sets and sketch how they can be used to attack certain problems in diophantine geometry and functional transcendence.

Antoine Song

Princeton University

October 23, 2018

In the early 80’s, Yau conjectured that in any closed 3-manifold there should be infinitely many minimal surfaces. I will review previous contributions to the question and present a proof of the conjecture, which builds on min-max methods developed by F. C. Marques and A. Neves. A key step is the construction by min-max theory of a sequence of closed minimal surfaces in a manifold N with non-empty stable boundary, and I will explain how to achieve this via the construction of a non-compact cylindrical manifold.

Michael Kramer

Max Planck Institute for Radio Astronomy

October 23, 2018

We are living in a golden era for testing gravitational physics with precision experiments. This talk will present new results using a variety of tests with radio pulsars. These results will be placed in context of other experiments (including LIGO, EHT etc), and I will demonstrate how pulsars continue to provide unique constraints on gravity and fundamental physics in general, and how they complement other methods.

Jonathan Pila

University of Oxford

October 24, 2018

This lecture will describe the historical context and some key properties of o-minimality. It will then describe certain results in functional transcendence, generalizing the classical results on exponentiation due to Ax, and sketch how they can be proved.