Accumulation of subglacial till in grounding zones - Katarzyna Kowal

Large Ensemble Modelling of Greenland's Contribution to Sea Level Rise - Douglas Brinkerhoff

Ice sheet flow with temperature-dependent sliding - Elisa Mantelli

Ice streams - Marianne Haseloff

Quantifying uncertainties in the land ice contribution to sea level rise this century - Tamsin Edwards

Grounding lines - Olga Sergienko

Ice-ocean interactions: coupling and parameterization - Helene Seroussi

Hardness Condensation - Alexander Razborov

Polynomial Calculus Space and Resolution Width - Leszek Kolodziejczyk

Dmitry Sokolov: (Semi)Algebraic Proofs over $\{\pm 1\}$ Variables - Dmitry Sokolov

Why are Proof Complexity Lower Bounds Hard - Jan Pich

Characterising QBF Hardness via Circuit Complexity - Olaf Beyersdorff

Sum of Squares Bounds for the Ordering Principle - Aaron Potechin

On Depth 1 Frege Systems - Pavel Pudlak

The Surprising Power of Constant Depth Algebraic Proofs - Sasank Mouli

and Edward Hirsch: Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative - Iddo Tzameret

Automating Resolution is NP-Hard - Albert Atserias

Lifting in Proof Complexity - Marc Vinyals

SETH and Resolution - Ilario Bonacina

Reversible Pebble Games and the Relation between Tree-like and General Resolution - Jacobo Toran

On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution - Dmitry Itsykson

Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs - Nicola Galesi

Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs - Kilian Risse

Hard Examples for Common Variable Decision Heuristics - Marc Vinyals

Quantum smectic fracton order - Leo Radzihovsky

TBA - Wojciech de Roeck

Facilitation constraints in interacting Rydberg gases - Igor Lesanovsky

Non-Abelian Fracton Phases - Sheng-Jie Huang

Type-II Fractons from Defects in Topological Order - Daniel Bulmash

TBA - Michael Hermele

TBA - Thomas Alazard

The log-Brunn-Minkowski inequality and its local version - Eli Putterman

Non-central Funk-Radon transforms - Mark Agranovsky

The convex hull of random points on the boundary of a simple polytope - Carsten Schütt

Localization technique for discrete log-concave random variables - Arnaud Marsiglietti

Volume estimates for some random convex sets - Apostolos Giannopoulos

Constrained convex bodies with extremal affine surface areas - Elisabeth Werner

Functional surface area measures - Liran Rotem

On some results in harmonic analysis on the discrete cube - Krzysztof Oleszkiewicz

Trilinos/Kokkos-based strategy towards achieving a performance portable land-ice model - Irina Tezaur

Friction at the base of glaciers: insights from modeling at various scales - Olivier Gagliardini

A menagerie of approaches to ice sheet-ocean coupling, with emphasis on US Department of Energy models - Xylar Asay-Davis

From optimal control to automatic differentiation: challenges in data assimilation in ice sheet modeling - Mathieu Morlighem

Inland diffusion of terminus-initiated thinning on the Greenland Ice Sheet - Denis Felikson

Will structural failure occur during ice retreat into deep Antarctic basins - David Pollard

Bifurcations and noise in ice sheet dynamics - Alexander Robel

Overview of DOE projects - Stephen Price

Time-series data analysis - Brent Minchew

Introduction - Ian Hewitt

TBA - Jeremy Bassis

Proof Complexity 2020 - Paul Beame

Consistency of Circuit Lower Bounds with Bounded Theories - Igor Carboni Oliveira

Resolution and the binary encodings of combinatorial principles - Nicola Galesi

Automated Proof Search: The Aftermath - Mika Goos

Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity - Susanna de Rezende

k-Clique and Regular vs. General Resolution - Shuo Pang

Entanglement renormalization of fractonic gauge theories - Wilbur Shirley

TQFT of Fracton Orders - Kevin Slagle

Fractons: the road to reality - Michael Pretko

Emergent fractons and algebraic quantum liquid from plaquette melting transitions - Yizhi You

TBA - Nicolas Regnault

TBA - Maissam Barkeshli

Strichartz estimates for the compressible Euler equation with vorticity and low-regularity solutions. - Marcelo Disconzi

On the volume of non-central sections of a cube - Mark Rudelson

On non-central sections of the simplex, the cube and the cross-polytope - Hermann Koenig

Volume of intersections of convex bodies with their symmetric images and efficient coverings - Tomasz Tkocz

On the Comparison of Measures of Convex Bodies via Projections and Sections - Johannes Hosle

On a local solution of the 8th Busemann-Petty problem - Maria de los Angeles Alfonseca-Cubero

Volume product and metric spaces - Luis Carlos Garcia Lirola

Complex analogue of the algebra of even valuations on convex sets - Semyon Alesker

Slicing properties of the lattice point enumerator - Martin Henk

An optimal plank theorem - Oscar Adrian Ortega Moreno

No good dimension reduction in the trace class norm - Gideon Schechtman