2020 Workshop Videos

Jan 19 - Jan 24
, University of Washington
- 10:02
Proof Complexity 2020
Watch video | Download video: 202001200905-Beame.mp4 (205M)
, University of Toronto
- 10:56
Semialgebraic Proofs and Efficient Algorithm Design
Watch video | Download video: 202001201002-Fleming.mp4 (194M)
, University of Chicago
- 12:13
Hardness Condensation
Watch video | Download video: 202001201121-Razborov.mp4 (273M)
, University of Warsaw
- 16:29
Polynomial Calculus Space and Resolution Width
Watch video | Download video: 202001201600-Kolodziejczyk.mp4 (177M)
, Universitat Politècnica de Catalunya
- 16:56
Size-Degree Trade-Off for Sums-of-Squares Proofs
Watch video | Download video: 202001201630-Hakoniemi.mp4 (127M)
, Lund University
- 17:32
Dmitry Sokolov: (Semi)Algebraic Proofs over $\{\pm 1\}$ Variables
Watch video | Download video: 202001201657-Sokolov.mp4 (168M)
, Mathematical Institute of the Czech Academy of Sciences
- 09:58
On Depth 1 Frege Systems
Watch video | Download video: 202001210902-Pudlak.mp4 (209M)
, Royal Holloway, University of London
- 11:01
and Edward Hirsch: Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?
Watch video | Download video: 202001211001-Hirsch.mp4 (223M)
, University of Oxford
- 11:50
Consistency of Circuit Lower Bounds with Bounded Theories
Watch video | Download video: 202001211122-CarboniOliveira.mp4 (104M)
, University of Oxford
- 12:20
Why are Proof Complexity Lower Bounds Hard?
Watch video | Download video: 202001211151-Pich.mp4 (108M)
, University of Jena
- 15:31
Characterising QBF Hardness via Circuit Complexity
Watch video | Download video: 202001211501-Beyersdorff.mp4 (100M)
, University of Chicago
- 16:31
Sum of Squares Bounds for the Ordering Principle
Watch video | Download video: 202001211601-Potechin.mp4 (161M)
, Università degli Studi di Roma La Sapienza
- 17:03
Resolution and the binary encodings of combinatorial principles
Watch video | Download video: 202001211632-Galesi.mp4 (131M)
, UC San Diego
- 17:31
The Surprising Power of Constant Depth Algebraic Proofs
Watch video | Download video: 202001211703-Mouli.mp4 (102M)
, Technion
- 09:54
Lifting in Proof Complexity
Watch video | Download video: 202001220902-Vinyals.mp4 (181M)
, Universitat Politecnica de Catalunya
- 10:45
Automating Resolution is NP-Hard
Watch video | Download video: 202001220955-Atserias.mp4 (200M)
, Stanford University
- 11:57
Automated Proof Search: The Aftermath
Watch video | Download video: 202001221111-Goos.mp4 (181M)
, Universitat Politecnica de Catalunya
- 09:31
Resolution Lower Bounds for Refutation Statements
Watch video | Download video: 202001230902-Garlik.mp4 (100M)
, UPC Universitat Politècnica de Catalunya
- 09:57
SETH and Resolution
Watch video | Download video: 202001230931-Bonacina.mp4 (134M)
, University of Ulm
- 10:29
Reversible Pebble Games and the Relation between Tree-like and General Resolution
Watch video | Download video: 202001230958-Toran.mp4 (120M)
, Steklov Institute of Mathematics at St. Petersburg
- 11:29
On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
Watch video | Download video: 202001231100-Itsykson.mp4 (99M)
, University of Chicago
- 11:52
k-Clique and Regular vs. General Resolution
Watch video | Download video: 202001231130-Pang.mp4 (84M)
, KTH Royal Institute of Technology
- 15:29
Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs
Watch video | Download video: 202001231501-Risse.mp4 (99M)
, Czech Academy of Sciences
- 16:31
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Watch video | Download video: 202001231601-deRezende.mp4 (92M)
, Università degli Studi di Roma La Sapienza
- 17:02
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs
Watch video | Download video: 202001231632-Galesi.mp4 (121M)
, UC San Diego
- 17:35
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Watch video | Download video: 202001231704-Knop.mp4 (120M)
, Technion
- 10:00
Hard Examples for Common Variable Decision Heuristics
Watch video | Download video: 202001240934-Vinyals.mp4 (98M)
Jan 12 - Jan 17
, University of Oxford
- 09:43
Introduction
Watch video | Download video: 202001130928-Hewitt.mp4 (71M)
, Los Alamos National Laboratory
- 10:12
Overview of DOE projects
Watch video | Download video: 202001130943-Price.mp4 (112M)
, Sandia National Laboratories
- 11:14
Ice Sheet Initialization
Watch video | Download video: 202001131050-Perego.mp4 (92M)
, UC Irvine
- 11:34
From optimal control to automatic differentiation: challenges in data assimilation in ice sheet modeling
Watch video | Download video: 202001131116-Morlighem.mp4 (75M)
, Northumbria University
- 12:05
Bayesian calibration of ice-sheet models
Watch video | Download video: 202001131135-Gudmundsson.mp4 (140M)
, University of Texas at Austin
- 14:38
Paleochronometry by control methods
Watch video | Download video: 202001131411-Heimbach.mp4 (109M)
, MIT
- 15:01
Time-series data analysis
Watch video | Download video: 202001131439-Minchew.mp4 (80M)
, University of Oxford
- 16:43
Ice streams
Watch video | Download video: 202001131603-Haseloff.mp4 (178M)
, Princeton University
- 17:14
Ice sheet flow with temperature-dependent sliding
Watch video | Download video: 202001131644-Mantelli.mp4 (114M)
, Stanford University
- 17:47
Data-model integration in forward models of ice stream dynamics
Watch video | Download video: 202001131717-Suckale.mp4 (122M)
, Georgia Tech
- 09:36
Bifurcations and noise in ice sheet dynamics
Watch video | Download video: 202001140906-Robel.mp4 (102M)
, King’s College London
- 10:15
Quantifying uncertainties in the land ice contribution to sea level rise this century
Watch video | Download video: 202001140945-Edwards.mp4 (90M)
, University of California - Merced
- 10:47
Inferring the basal sliding coefficient for the Stokes ice sheet model under rheological uncertainty
Watch video | Download video: 202001141017-Petra.mp4 (93M)
, University of Edinburgh
- 11:39
Impacts of bathymetric uncertainty on ice-shelf melt (through adjoint modelling)
Watch video | Download video: 202001141109-Goldberg.mp4 (103M)
, University of Montana
- 12:11
Large Ensemble Modelling of Greenland's Contribution to Sea Level Rise
Watch video | Download video: 202001141141-Brinkerhoff.mp4 (102M)
, NASA Goddard Space Flight Center
- 12:43
Inland diffusion of terminus-initiated thinning on the Greenland Ice Sheet
Watch video | Download video: 202001141213-Felikson.mp4 (118M)
, University of Michigan
- 14:43
Progress in understanding iceberg calving
Watch video | Download video: 202001141406-Bassis.mp4 (155M)
, University of St Andrews
- 15:12
Modelling Calving: From Ice Cubes to Ice Sheets
Watch video | Download video: 202001141443-Todd.mp4 (129M)
, Pennsylvania State University
- 15:42
Will structural failure occur during ice retreat into deep Antarctic basins?
Watch video | Download video: 202001141512-Pollard.mp4 (108M)
, Los Alamos National Laboratory
- 09:47
A menagerie of approaches to ice sheet-ocean coupling, with emphasis on US Department of Energy models
Watch video | Download video: 202001150907-Asay-Davis.mp4 (144M)
, Princeton University
- 10:20
Grounding lines
Watch video | Download video: 202001150949-Sergienko.mp4 (118M)
, University of Oxford
- 11:28
Subglacial and meltwater plumes at marine terminating glaciers
Watch video | Download video: 202001151058-Wells.mp4 (101M)
, Caltech JPL
- 11:59
Ice-ocean interactions: coupling and parameterization
Watch video | Download video: 202001151129-Seroussi.mp4 (108M)
, Sandia National Laboratories
- 09:30
Trilinos/Kokkos-based strategy towards achieving a performance portable land-ice model
Watch video | Download video: 202001160903-Tezaur.mp4 (112M)
, Stockholm University
- 10:07
Finite element methods for ice sheet modeling
Watch video | Download video: 202001160937-Ahlkrona.mp4 (111M)
, CSC-IT Center for Science Ltd.
- 10:36
Code optimization and new programming paradigms with Elmer/Ice
Watch video | Download video: 202001161008-Zwinger.mp4 (107M)
, University of Grenoble Alpes
- 14:33
Friction at the base of glaciers: insights from modeling at various scales
Watch video | Download video: 202001161403-Gagliardini.mp4 (117M)
, University of Cambridge
- 15:05
Accumulation of subglacial till in grounding zones
Watch video | Download video: 202001161439-Kowal.mp4 (102M)
, University of Cambridge
- 15:36
Poroelasticity, supraglacial lake drainage and ocean tides
Watch video | Download video: 202001161506-Neufeld.mp4 (116M)
, Dartmouth College
- 16:41
Subglacial frozen fringe
Watch video | Download video: 202001161610-Meyer.mp4 (102M)