2020 Workshop Videos

Nov 22 - Nov 27
, Charles University
- 06:39
Large data analysis for Kolmogorov’s two-equation model of turbulence
Watch video | Download video: 202011230615-Bulicek.mp4 (39M)
, University Paris Diderot
- 07:06
On the effective viscosity of suspensions
Watch video | Download video: 202011230644-Gerard-Varet.mp4 (29M)
, Academy of Sciences of the Czech Republic
- 08:22
Ergodic hypothesis for open fluid systems
Watch video | Download video: 202011230800-Feireisl.mp4 (32M)
, Sabancı University
- 08:48
Local-in-time existence of solutions to strain-limiting viscoelasticity
Watch video | Download video: 202011230825-Sengul.mp4 (32M)
, Polish Academy of Sciences
- 09:09
From compressible Naveir-Stokes with nonlocal forces to Euler
Watch video | Download video: 202011230848-Wroblewska-Kaminska.mp4 (32M)
, University of Texas at Austin
- 10:21
Instability of finite time blow-ups for incompressible Euler
Watch video | Download video: 202011231000-Vasseur.mp4 (27M)
, Czech Academy of Sciences
- 10:49
Non-uniqueness of admissible weak solutions to the compressible Euler equations with smooth initial data
Watch video | Download video: 202011231027-Kreml.mp4 (28M)
, Virginia Tech
- 11:12
Pure stress modes for linear viscoelastic flows with variable coefficients
Watch video | Download video: 202011231055-Renardy.mp4 (22M)
, Charles University
- 06:21
Decay of solutions to integrodifferential equations
Watch video | Download video: 202011240602-Barta.mp4 (25M)
, Charles University
- 06:44
Thermodynamically consistent derivation of a micro-macro model for dilute polymeric fluids
Watch video | Download video: 202011240625-Dostalik.mp4 (22M)
, University of Warsaw
- 07:17
Flows initiated by ripped density
Watch video | Download video: 202011240651-Mucha.mp4 (71M)
, Charles University
- 08:26
A finite-dimensional reduction of dissipative dynamical systems
Watch video | Download video: 202011240801-Prazak.mp4 (32M)
, University of Warsaw
- 08:54
Mv-strong uniqueness for density dependent, incompressible, non-Newtonian fluids
Watch video | Download video: 202011240827-Woznicki.mp4 (36M)
, Ecole des Ponts
- 09:20
Effective dynamics for stochastic differential equations
Watch video | Download video: 202011240854-Lelievre.mp4 (40M)
, Charles University, Faculty of Mathematics and Physics
- 10:26
On evolutionary problems with a-priori bounded gradients
Watch video | Download video: 202011241000-Malek.mp4 (37M)
, University of Oxford
- 10:52
Analysis and approximation of implicitly constituted non-Newtonian fluid flow models
Watch video | Download video: 202011241027-Suli.mp4 (37M)
, Charles University
- 11:20
Thermodynamics of viscoelastic rate-type fluids and its implications for stability analysis
Watch video | Download video: 202011241056-Prusa.mp4 (35M)
, Institut für Mathematik, Technische Universität Berlin
- 06:17
On the motion of a compressible viscous fluid driven by time-periodic inflow/outflow boundary conditions
Watch video | Download video: 202011250601-Abbatiello.mp4 (22M)
, University College London
- 06:48
On the dynamical network of interacting particles: from micro to macro
Watch video | Download video: 202011250624-Zatorska.mp4 (35M)
, University of Warsaw
- 07:13
Incompressible limit for a two-species model with coupling through Brinkman’s law.
Watch video | Download video: 202011250652-Debiec.mp4 (26M)
, Johannes Gutenberg-Universität Mainz
- 08:22
Viscoelastic phase separation: analysis and numerics
Watch video | Download video: 202011250800-Lukacova-Medvidova.mp4 (31M)
, Charles University
- 09:24
A variational approach to fluid-structure interaction
Watch video | Download video: 202011250855-Benesova.mp4 (38M)
, Polish Academy of Sciences
- 10:17
Homogenization of nonlinear elliptic systems in nonreflexive Musielak-Orlicz spaces
Watch video | Download video: 202011251000-Gwiazda.mp4 (31M)
, Universität Ulm
- 10:47
Weak and measure-valued solutions for the compressible Euler equations
Watch video | Download video: 202011251022-Wiedemann.mp4 (33M)
, Academy of Sciences, Czech Republic
- 11:12
On a body with a cavity filled with compressible fluid
Watch video | Download video: 202011251051-Macha.mp4 (28M)
, Nanjing University
- 06:26
Homogenization of stationary Navier–Stokes–Fourier system in domains with tiny holes
Watch video | Download video: 202011260602-Lyu.mp4 (36M)
, University of Maryland
- 06:51
Compressible Navier-Stokes equations with heterogeneous pressure laws
Watch video | Download video: 202011260628-Jabin.mp4 (31M)
, TU Wien
- 07:12
Analysis of degenerate cross-diffusion systems for heat-conducting fluid mixtures
Watch video | Download video: 202011260654-Juengel.mp4 (27M)
, TU Wien
- 08:21
On the dynamic slip boundary condition
Watch video | Download video: 202011260800-Maringova.mp4 (31M)
, INRIA
- 08:49
Estimating the division of amyloid fibrils
Watch video | Download video: 202011260826-Doumic.mp4 (34M)
, Charles University
- 09:14
Uniqueness and regularity of flows of non-Newtonian fluids with critical power-law growth
Watch video | Download video: 202011260854-Kaplicky.mp4 (27M)
, University of Vienna
- 10:23
Analysis of an unsteady flow of an incompressible heat-conductive rate-type viscoelastic fluid with stress diffusion
Watch video | Download video: 202011261001-Bathory.mp4 (29M)
, Charles University
- 10:46
Absolute Instabilities of Travelling Waves Solutions in a KellerSegel Model
Watch video | Download video: 202011261025-Davis.mp4 (30M)
, Universita di Napoli
- 11:14
Stability results for the nonlocal Mullins-Sekerka flow
Watch video | Download video: 202011261051-Fusco.mp4 (31M)
, Capital Normal University
- 06:45
Vanishing porosity limit of the coupled Stokes-Brinkman system
Watch video | Download video: 202011270626-Niu.mp4 (26M)
, Ecole des Ponts ParisTech & Inria Paris
- 07:17
Viscoelastic motions of Maxwell fluids with finite propagation speed
Watch video | Download video: 202011270650-Boyaval.mp4 (38M)
, Charles University
- 08:22
Existence analysis of a stationary compressible fluid model for heat-conducting and chemically reacting mixtures
Watch video | Download video: 202011270800-Pokorny.mp4 (33M)
, Charles University
- 08:54
On planar flows of viscoelastic fluids of the Burgers type
Watch video | Download video: 202011270824-Los.mp4 (42M)
, University of Warsaw
- 09:15
Fast reaction limit with nonmonotone reaction function
Watch video | Download video: 202011270854-Skrzeczkowski.mp4 (27M)
, Texas A&M University
- 10:25
Statistical Properties of the Navier-Stokes-Voigt Model
Watch video | Download video: 202011271000-Titi.mp4 (32M)
, KAUST
- 10:49
Existence and uniqueness for a viscoelastic Kelvin-Voigt model with nonconvex stored energy
Watch video | Download video: 202011271029-Tzavaras.mp4 (25M)
, University of Warsaw
- 11:17
Dissipative measure-valued solutions for the Euler-Poisson equation
Watch video | Download video: 202011271056-Swierczewska-Gwiazda.mp4 (32M)
Nov 08 - Nov 13
, Fred Hutchinson Cancer Research Center
- 10:21
Genomic tracking of SARS-CoV-2 evolution and spread
Watch video | Download video: 202011091000-Bedford.mp4 (28M)
, University of Western Ontario
- 10:39
How different is the flu you transmit from the flu you received?
Watch video | Download video: 202011091020-Wahl.mp4 (23M)
, Imperial College London
- 11:10
The evolution of multi-strain bacterial populations
Watch video | Download video: 202011091050-Croucher.mp4 (24M)
, BCCDC
- 11:30
High-resolution characterization of global Salmonella subpopulations
Watch video | Download video: 202011091110-Liu.mp4 (22M)
, University of Michigan
- 12:50
Phylodynamics and genealogy-valued Markov processes
Watch video | Download video: 202011091230-King.mp4 (26M)
, Simon Fraser University
- 13:10
Bayesian inference of parameters in transmission models
Watch video | Download video: 202011091250-Wang.mp4 (25M)
,
- 13:34
Mapping the shared evolutionary trajectories of resistance genes and other (possibly!) bad actors
Watch video | Download video: 202011091320-Beiko.mp4 (19M)
, Laboratory for Industrial and Applied Mathematics, York University
- 14:00
COVID-19: implication of multi-waves
Watch video | Download video: 202011091340-Wu.mp4 (23M)
, Centre Nationale de la Recherche Scientifique & Institut Pasteur
- 10:20
Large-scale phylogeography of hCoV-19
Watch video | Download video: 202011101000-Gascuel.mp4 (31M)
, UdeM
- 10:40
Genomic epidemiology of SARS-CoV-2 in Quebec
Watch video | Download video: 202011101020-Murall.mp4 (26M)
, Imperial College London
- 11:10
Estimating the age groups that sustain resurging COVID-19 epidemics in the United States
Watch video | Download video: 202011101050-Monod.mp4 (36M)
, NC State
- 12:50
Decomposing the sources of SARS-CoV-2 fitness variation using phylodynamics
Watch video | Download video: 202011101230-Rasmussen.mp4 (25M)
, Emory University
- 13:10
Phylodynamic inference - with and without phylogenies?
Watch video | Download video: 202011101250-Koelle.mp4 (31M)
, University of California - Irvine
- 13:40
Bayesian modeling and data integration in infectious disease phylodynamics
Watch video | Download video: 202011101320-Minin.mp4 (28M)
, Western University
- 14:00
Optimizing the genetic clustering of viruses for public health surveillance
Watch video | Download video: 202011101340-Poon.mp4 (31M)
, University of Warwick
- 10:20
Additive uncorrelated relaxed clock models
Watch video | Download video: 202011111000-Didelot.mp4 (25M)
, University of Warwick
- 10:40
Hierarchical population genomic structure of bacterial pathogens in EnteroBase
Watch video | Download video: 202011111020-Achtman.mp4 (30M)
, Imperial College London
- 11:10
Estimating population level transmission dynamics from pathogen deep sequence data: a case study around HIV hotspots in sub Saharan-Africa
Watch video | Download video: 202011111050-Ratmann.mp4 (26M)
, University of British Columbia
- 11:30
Distribution continuum methods for phylogenetic inference
Watch video | Download video: 202011111110-Bouchard.mp4 (28M)
, bioMérieux
- 13:10
Improving the interpretability of k-mer-based signatures for antibiotic resistance prediction
Watch video | Download video: 202011111250-Mahe.mp4 (30M)
, EBI/Sanger Institute
- 13:40
Revealing hidden genetic variation in the bacterial accessory genome
Watch video | Download video: 202011111320-Iqbal.mp4 (44M)
, UCLA
- 14:00
mbImpute: an accurate and robust imputation method for microbiome data
Watch video | Download video: 202011111340-Li.mp4 (28M)
, Harvard University
- 10:20
Increased power from conditional bacterial genome-wide association identifies macrolide resistance mutations in Neisseria gonorrhoeae
Watch video | Download video: 202011121000-Ma.mp4 (23M)
, Harvard T.H. Chan School of Public Health
- 10:40
Adaptation to the cervical environment is associated with increased antibiotic susceptibility in Neisseria gonorrhoeae
Watch video | Download video: 202011121020-Mortimer.mp4 (26M)
, UNAM
- 11:10
Population genomics of A. baumannii reveals a licentious and highly mobile resistome
Watch video | Download video: 202011121050-Castillo-Ramirez.mp4 (19M)
, University of Waterloo
- 11:30
Synthetic biology approaches to suppression of antibiotic resistance
Watch video | Download video: 202011121110-Ingalls.mp4 (23M)
, Memorial Sloan-Kettering Cancer Center
- 12:50
Identifying prognostic pairwise relationships among bacterial species in microbiome studies
Watch video | Download video: 202011121230-Ostrovnaya.mp4 (24M)
, Lady Davis Institute
- 13:10
Bayesian community modelling of the microbiome
Watch video | Download video: 202011121250-Greenwood.mp4 (26M)
, Imperial College, London
- 13:40
Interpretable machine learning methods for predicting drug resistance
Watch video | Download video: 202011121320-Chindelevitch.mp4 (24M)
, University of Bath
- 14:00
The adaptation and transmission of Klebsiella species and strains in human, animal and environmental settings
Watch video | Download video: 202011121340-Feil.mp4 (41M)
, University of Calgary
- 10:05
Considerations for estimating Rt in Alberta, Canada
Watch video | Download video: 202011131000-Gordon.mp4 (unknown)
, NCSU
- 10:10
Inference of Multiscale Selection using a Continuous Type Birth Death Model
Watch video | Download video: 202011131005-Hamins-Puertolas.mp4 (unknown)
, NCSU
- 10:15
Using phylodynamics and decision trees to estimate the effects of mutation on viral fitness
Watch video | Download video: 202011131010-Kepler.mp4 (unknown)
, EMBL-EBI & Sanger Institute
- 10:20
Combining sequencing technologies and data mining to study (mega)plasmid families
Watch video | Download video: 202011131015-Cazares.mp4 (unknown)
, SFU
- 10:25
Case fatality imputation using machine learning
Watch video | Download video: 202011131020-Forna.mp4 (unknown)
, UCLA
- 10:30
PseudotimeDE: inference of differential gene expression along cell pseudotime with well-calibrated p-values from single-cell RNA sequencing data
Watch video | Download video: 202011131025-Song.mp4 (unknown)
, UCLA
- 10:35
Benchmarking computational doublet-detection methods for single-cell RNA sequencing data
Watch video | Download video: 202011131030-Xi.mp4 (unknown)
, Imperial
- 10:40
In-browser genome sketching for secure real-time genomic epidemiology
Watch video | Download video: 202011131035-Anderson.mp4 (unknown)
, U Montreal
- 10:45
Do machine learning predictors of microbial phenotype from genotype identify causal variants?
Watch video | Download video: 202011131040-Mahmoudisaber.mp4 (unknown)
, Imperial College London
- 10:50
ggCaller: a gene caller for bacterial pangenome graphs
Watch video | Download video: 202011131045-Horsfield.mp4 (unknown)
, Simon Fraser University
- 10:55
Deep clustering of bacterial tree images
Watch video | Download video: 202011131050-Hayati.mp4 (unknown)
, Harvard School of Public Health
- 11:00
Persistence and Evolution of SARS-CoV-2 in an Immunocompromised Host
Watch video | Download video: 202011131055-Qiu.mp4 (unknown)
Nov 08 - Nov 13
, Hebrew University of Jerusalem
- 10:59
Difference equations over fields of elliptic functions.
Watch video | Download video: 202011090959-Deshalit.mp4 (125M)
, Harvard University
- 13:31
Billiards and the arithmetic of non-arithmetic groups
Watch video | Download video: 202011091231-McMullen.mp4 (76M)
, Universite de Rennes I
- 09:57
On the Zariski dense orbit conjecture
Watch video | Download video: 202011100900-Xie.mp4 (87M)
, City University of New York
- 10:55
Schwarzian equation, automorphic functions and functional transcendence
Watch video | Download video: 202011101000-Nagloo.mp4 (75M)
, Harvard University
- 13:27
Elliptic surfaces and R-divisors
Watch video | Download video: 202011101230-DeMarco.mp4 (94M)
, University of Chicago
- 10:28
Equivariant currents and heights on the boundary of the ample cone of a K3 surface.
Watch video | Download video: 202011110930-Filip.mp4 (71M)
, University of British Columbia
- 13:00
A couple of conjectures in arithmetic dynamics over fields of positive characteristic.
Watch video | Download video: 202011111200-Ghioca.mp4 (86M)
, Uniwersytet Wrocławski
- 09:55
Model theory of group actions on fields
Watch video | Download video: 202011120900-Kowalski.mp4 (80M)
, University of Notre Dame
- 10:54
Definable Galois theory and holomorphic vector bundles
Watch video | Download video: 202011121000-Pillay.mp4 (79M)
, University of Toronto
- 13:28
On an arithmetic criterion for holonomicity
Watch video | Download video: 202011121230-Dimitrov.mp4 (80M)
, Institut de mathematiques de Toulouse
- 10:57
Algebraic independence of solutions of linear difference equations
Watch video | Download video: 202011131000-Hardouin.mp4 (83M)
, CNRS -- Université de Rennes
- 13:30
Finite orbits and canonical heights for large groups of automorphisms.
Watch video | Download video: 202011131230-Cantat.mp4 (85M)
Nov 01 - Nov 06
, Steklov Mathematical Institute, NRU HSE
- 09:56
Rationality and derived categories of some Fano threefolds over non-closed fields
Watch video | Download video: 202011020859-Kuznetsov.mp4 (76M)
, Kansas State University
- 10:59
Generalized braid group actions
Watch video | Download video: 202011021002-Anno.mp4 (78M)
, University of Miami
- 13:33
New Birational Invariants
Watch video | Download video: 202011021239-Katzarkov.mp4 (102M)
, University of Paris-Saclay, Versailles
- 10:01
Exceptional collections on moduli spaces of pointed stable rational curves
Watch video | Download video: 202011030859-Castravet.mp4 (80M)
, University of Glasgow
- 11:02
Stability conditions via Tits cone intersections
Watch video | Download video: 202011031005-Wemyss.mp4 (90M)
, UIC
- 13:30
Brill-Noether Theorems for moduli spaces of sheaves on surfaces
Watch video | Download video: 202011031232-Coskun.mp4 (113M)
, University of Liverpool
- 09:53
Using geometric realizations to construct Non-Fourier-Mukai functors
Watch video | Download video: 202011040901-Rizzardo.mp4 (68M)
, UCL
- 11:10
A geometric presentation of the flop-flop autoequivalence as a(n inverse) spherical twist
Watch video | Download video: 202011041000-Barbacovi.mp4 (286M)
, Université Paris-Saclay
- 13:33
Antisymplectic involutions on projective hyperkähler manifolds
Watch video | Download video: 202011041232-Macri.mp4 (82M)
, University of Antwerp
- 09:59
Topological Hochschild cohomology for schemes
Watch video | Download video: 202011050903-Booth.mp4 (108M)
, University of Oregon
- 11:11
A categorical sl_2 action on some moduli spaces of sheaves
Watch video | Download video: 202011051001-Addington.mp4 (97M)
, Pennsylvania State University
- 13:27
The cohomology of general tensor products of vector bundles on the projective plane
Watch video | Download video: 202011051232-Huizenga.mp4 (122M)
, University of Sheffield
- 09:53
A partial compactification of the stability manifold
Watch video | Download video: 202011060901-Bolognese.mp4 (120M)
, Columbia University
- 11:01
Hochschild homology for C_n -equivariant things
Watch video | Download video: 202011061000-Klang.mp4 (96M)
, Stockholm University
- 13:41
The Brauer group of bielliptic surfaces
Watch video | Download video: 202011061231-Tirabassi.mp4 (102M)
Oct 19 - Oct 30
, North Dakota State University
- 09:45
Promotion and rowmotion - an ocean of notions
Watch video | Download video: 202010190900-Striker.mp4 (127M)
, Marian University
- 10:27
An Introduction to Homomesy through Promotion and Rowmotion on Order Ideals
Watch video | Download video: 202010191000-Vorland.mp4 (39M)
, University of Michigan
- 10:58
Promotion via representations of quivers
Watch video | Download video: 202010191030-Garver.mp4 (39M)
, University of Michigan
- 09:43
Dynamics of plane partitions
Watch video | Download video: 202010210900-Pechenik.mp4 (61M)
, University of Michigan
- 10:26
Promotion, Webs, and Kwebs
Watch video | Download video: 202010211000-Patrias.mp4 (40M)
, University of Oklahoma
- 10:59
Infinite friezes and bracelets
Watch video | Download video: 202010211030-Gunawan.mp4 (62M)
, University of Connecticut
- 09:46
Let's birational: Lifting periodicity and homomesy to higher realms
Watch video | Download video: 202010230900-Roby.mp4 (68M)
, University of Texas at Dallas
- 09:46
Independence Posets
Watch video | Download video: 202010260900-Williams.mp4 (69M)
, DePaul University
- 10:31
The Kreweras Complement
Watch video | Download video: 202010261000-Barnard.mp4 (43M)
, Queen's University
- 11:03
The orbits of the Coxeter Transformation and Rowmotion for cominuscule posets
Watch video | Download video: 202010261032-Yildirim.mp4 (59M)
, Drexel University
- 09:35
Littlewood-Richardson coefficients and birational combinatorics
Watch video | Download video: 202010280903-Grinberg.mp4 (49M)
, Dalton State - Georgia
- 10:07
A birational lifting of the Lalanne–Kreweras involution on Dyck paths
Watch video | Download video: 202010280936-Joseph.mp4 (40M)
, University of Minnesota
- 11:11
Symmetry of Narayana numbers and rowvacuation of root posets
Watch video | Download video: 202010281018-Hopkins.mp4 (106M)
, Nagoya University
- 08:46
Proof of birational file homomesy for minuscule posets (Repeat showing)
Watch video | Download video: 202010300815-Okada.mp4 (44M)
Oct 16 - Oct 16
, University of British Columbia
- 11:09
Introduction from BIRS Scientific Director, CIH Committee
Watch video | Download video: 202010161102-Pramanik.mp4 (39M)
, Applied BioMath
- 11:44
Systems Modelling in Biopharma
Watch video | Download video: 202010161128-Moore.mp4 (40M)
, Pfizer
- 12:04
Insights into Modeling and Simulation Careers in Biopharma
Watch video | Download video: 202010161145-Allen.mp4 (26M)
, Takeda
- 12:20
Stuff I wish I’d paid better attention to in grad school: Math modeling in oncology drug R&D
Watch video | Download video: 202010161204-Bottino.mp4 (24M)
, Juvenescence
- 12:45
Exploiting AI in Early Clinical Development
Watch video | Download video: 202010161220-Taylor-King.mp4 (65M)
Sep 30 - Oct 02
, Princeton University
- 08:27
Discrepancy Minimization via a Self-Balancing Walk
Watch video | Download video: 202009300804-Alweiss.mp4 (84M)
, University of Washington
- 08:52
Families of well-approximable measures
Watch video | Download video: 202009300827-Fairchild.mp4 (33M)
, TU Berlin
- 09:18
Curve Based Approximation of Images on Manifolds
Watch video | Download video: 202009300853-Neumayer.mp4 (46M)
, Universität zu Lübeck
- 09:44
Hyperuniformity of point set sequences
Watch video | Download video: 202009300919-Stepaniuk.mp4 (41M)
, Ruhr West University of Applied Sciences
- 10:01
Improved Discrepancy Bounds and Estimates
Watch video | Download video: 202009300944-Pasing.mp4 (22M)
, TU Graz
- 08:23
A deterministic set of spherical points with small discrepancy
Watch video | Download video: 202010020801-Etayo.mp4 (93M)
, JKU Linz
- 08:45
(Non-)optimal point sets for numerical integration
Watch video | Download video: 202010020823-Sonnleitner.mp4 (30M)
, University of Washington
- 09:14
Vector Balancing in Lebesgue Spaces
Watch video | Download video: 202010020845-Reis.mp4 (36M)
, University of Toronto
- 09:36
On the Computational Complexity of Linear Discrepancy
Watch video | Download video: 202010020915-Li.mp4 (42M)
Sep 17 - Sep 20
, School of Mathematical Sciences Queen Mary, University of London
- 08:55
Topology of parametrised motion planning algorithms
Watch video | Download video: 202009170801-Farber.mp4 (58M)
, Bursa Technical University
- 09:46
A simplicial analog of homotopic distance
Watch video | Download video: 202009170901-Borat.mp4 (62M)
, University of Pennsylvania
- 10:32
Vector Field Methods of Motion Planning
Watch video | Download video: 202009171021-Koditschek.mp4 (15M)
, University of Pennsylvania
- 10:48
Doubly Reactive Methods of Task Planning for Robotics
Watch video | Download video: 202009171032-Vasilopoulos.mp4 (28M)
, Wright State University
- 10:55
A Category Theoretic Treatment of Robot Hybrid Dynamics with Applications to Reactive Motion Planning and Beyond
Watch video | Download video: 202009171049-Gustafson.mp4 (unknown)
, University of Pennsylvania
- 11:18
Toward a Task Planning Theory for Robot Hybrid Dynamics
Watch video | Download video: 202009171101-Kvalheim.mp4 (21M)
, Hebei Normal University and National University of Singapore
- 09:48
Topological complexity of the work map
Watch video | Download video: 202009180900-Wu.mp4 (63M)
, University of Ljubljana
- 10:31
Two questions on TC
Watch video | Download video: 202009181000-Pavesic.mp4 (26M)
, Wright College
- 10:59
Morita Invariance of Invariant Topological Complexity
Watch video | Download video: 202009181015-Colman.mp4 (67M)
, University of Leipzig
- 09:52
Spherical complexities and closed geodesics
Watch video | Download video: 202009190900-Mescher.mp4 (73M)
, University of Illinois at Urbana-Champaign
- 10:52
Euler characteristics of exotic configuration spaces
Watch video | Download video: 202009191000-Baryshnikov.mp4 (98M)
, University of Florida
- 11:02
On topological complexity of hyperbolic groups
Watch video | Download video: 202009191015-Dranishnikov.mp4 (57M)
, Lehigh University
- 08:56
Geodesic complexity and motion planning on graphs
Watch video | Download video: 202009200801-Recio-Mitter.mp4 (61M)
, Cleveland State University
- 09:54
Logarithmicity, the TC-generating function and right-angled Artin groups
Watch video | Download video: 202009200902-Oprea.mp4 (64M)
, Lehigh University
- 11:05
Geodesic complexity of non-geodesic spaces
Watch video | Download video: 202009201015-Davis.mp4 (54M)
Sep 15 - Sep 17
, Tel Aviv University
- 10:24
Euclidean random permutations
Watch video | Download video: 202009150934-Peled.mp4 (77M)
, Princeton University
- 11:19
Mixing results for the interchange and exclusion processes with open boundaries.
Watch video | Download video: 202009151029-Nestoridi.mp4 (68M)
, Princeton University
- 10:45
The scaling limit of the longest increasing subsequence
Watch video | Download video: 202009171016-Dauvergne.mp4 (69M)
, Oxford University
- 11:30
Scaling limits of Baxter permutations and bipolar orientations
Watch video | Download video: 202009171050-Maazoun.mp4 (85M)
, University of California Davis
- 12:32
Distributional identities and absorbing time asymptotics in the oriented swap process
Watch video | Download video: 202009171148-Romik.mp4 (65M)
Sep 08 - Sep 09
, Bar-Ilan University
- 09:36
Polynomials over central division algebras (joint with Shira Gilat)
Watch video | Download video: 202009080910-Matzri.mp4 (188M)
, Emory University
- 10:43
The unramified Brauer group
Watch video | Download video: 202009080949-Parimala.mp4 (97M)
, University of Southern California
- 11:23
SK1 triviality for l-torsion algebras over p-adic curves - a proof sketch
Watch video | Download video: 202009081054-Bhaskhar.mp4 (39M)
, University of Colorado
- 12:05
A finiteness theorem for special unitary groups of quaternionic skew-hermitian forms with good reduction
Watch video | Download video: 202009081135-Srinivasan.mp4 (39M)
, University of Virginia
- 12:41
Mathematical logic and its applications in arithmetics of algebraic groups and beyond
Watch video | Download video: 202009081214-Ren.mp4 (37M)
, Temple University
- 10:27
Superrigidity in rank one
Watch video | Download video: 202009090958-Stover.mp4 (50M)
, University of Alberta
- 11:24
On the Tits-Weiss conjecture on U-operators and the Kneser-Tits conjecture for some groups of type E_7 and E_8.
Watch video | Download video: 202009091039-Chernousov.mp4 (101M)
, Hebrew University of Jerusalem
- 12:12
Rigidity for Unirational Groups
Watch video | Download video: 202009091144-Rosengarten.mp4 (40M)
, University of Virginia
- 12:51
The Generic Clifford Algebra and its Brauer Class
Watch video | Download video: 202009091224-Ure.mp4 (36M)
, The Hebrew University
- 13:33
The Congruence Subgroup Problem for Automorphism Groups
Watch video | Download video: 202009091304-Ben-Ezra.mp4 (49M)
Aug 30 - Sep 04
, University of Zagreb
- 10:33
Q-curves over odd degree number fields
Watch video | Download video: 202008311000-Najman.mp4 (46M)
, Boston University
- 11:15
A general S-unit equation solver and tables of elliptic curves over number fields
Watch video | Download video: 202008311041-Matschke.mp4 (44M)
, Wake Forest University
- 11:49
On Isolated Points of Odd Degree
Watch video | Download video: 202008311120-Bourdon.mp4 (37M)
, Colorado State University
- 10:27
Principal polarizations and Shimura data for families of cyclic covers of the projective line
Watch video | Download video: 202009011001-Pries.mp4 (44M)
, university of Debrecen
- 11:08
Powers in arithmetic progressions
Watch video | Download video: 202009011042-Hajdu.mp4 (38M)
, University of Bath
- 10:29
Hasse principle for a family of K3 surfaces
Watch video | Download video: 202009021001-Loughran.mp4 (36M)
, Government of Canada
- 11:07
Explicit coverings of K3 surfaces by the square of a curve
Watch video | Download video: 202009021040-Logan.mp4 (43M)
, Katholieke Universiteit Leuven
- 11:45
Fields of definition of elliptic fibrations on covers of certain extremal rational elliptic surfaces
Watch video | Download video: 202009021122-CantoralFarfan.mp4 (34M)
, Institute of Science and Technology Austria
- 10:26
The geometric sieve for quadrics and applications
Watch video | Download video: 202009031000-Browning.mp4 (31M)
, Utrecht University
- 11:09
Campana points, a new number theoretic challenge
Watch video | Download video: 202009031040-Pieropan.mp4 (39M)
, University of Warwick
- 10:27
Modularity of elliptic curves over totally real quartic fields not containing the square root of 5
Watch video | Download video: 202009041002-Box.mp4 (30M)
, Seoul National University
- 11:14
Rational torsion points on J_0(N)
Watch video | Download video: 202009041040-Yoo.mp4 (41M)
, Pontificia Universidad Catolica de Chile
- 11:50
A Chabauty-Coleman bound for surfaces in abelian threefolds
Watch video | Download video: 202009041120-Pasten.mp4 (41M)
Aug 21 - Aug 22
, University of Waterloo
- 09:54
Double-Sided Queues with Marked Markovian Arrival Processes and Abandonment
Watch video | Download video: 202008210933-Wu.mp4 (36M)
, University of Waterloo
- 10:28
Bounds on the Mean and Squared Coefficient of Variation of Phase-Type Distributions
Watch video | Download video: 202008211000-He.mp4 (32M)
, Cleveland State University
- 10:57
Catastrophes and Queueing Systems with Time-Varying Periodic Transition Rates
Watch video | Download video: 202008211031-Margolius.mp4 (42M)
, Carleton University
- 11:56
On Bayesian Estimation for Join the Shortest Queue Model
Watch video | Download video: 202008211130-Ghashim.mp4 (31M)
, Carleton University
- 12:29
Construction of New Copulas with Applications to Queueing Models
Watch video | Download video: 202008211158-Thapa.mp4 (28M)
, University of Windsor
- 14:30
Completing a Task with Interruptions
Watch video | Download video: 202008211401-Hlynka.mp4 (41M)
, McMaster University
- 15:32
Size-based Scheduling with Estimation Errors
Watch video | Download video: 202008211502-Down.mp4 (63M)
, University of Melbourne
- 16:55
Admission Policies for Complex Resource Allocation Problems
Watch video | Download video: 202008211602-Taylor.mp4 (42M)
, University of Saskatchewan
- 09:25
Queueing Theory in a World where most Queueing Problems are Solved by Simulation
Watch video | Download video: 202008220832-Grassmann.mp4 (61M)
, University of British Columbia, Okanagan
- 09:58
The Distribution of the Line Length in a GI/G/1 Queue Using Distribution Little Laws and Roots Methods
Watch video | Download video: 202008220930-Tavakoli.mp4 (37M)
, UBC Okanagan
- 10:26
An upper bound for the Galois group of weight walks with rational coefficients in the quarter plane
Watch video | Download video: 202008221000-Jiang.mp4 (32M)
, University of Rochester
- 11:23
Models of the Impact of Triage Nurse Standing Orders on Emergency Department Length of Stay
Watch video | Download video: 202008221058-Tilson.mp4 (36M)
, Simon Fraser University
- 11:58
Performance Analysis of a Markovian Queue with Service Rate and Customers' Joining Decisions
Watch video | Download video: 202008221129-Zhang.mp4 (43M)
, Mcmaster University
- 12:25
A decision integration strategy for short-term demand forecasting and ordering for red blood cell components
Watch video | Download video: 202008221203-Li.mp4 (30M)
, Stony Brook University
- 12:59
Queueing and Markov chain decomposition method to analyze Markov-modulated Markov chains
Watch video | Download video: 202008221230-Sasanuma.mp4 (44M)
, Carleton University
- 13:26
Fluid model for multiple TCP and UDP connections through a network of queues in a random environment
Watch video | Download video: 202008221300-SidAli.mp4 (49M)
Aug 02 - Aug 07
, University of Bordeaux
- 08:09
Sharp discontinuous traveling waves in a hyperbolic Keller–Segel equation
Watch video | Download video: 202008030740-Griette.mp4 (44M)
, University of Science and Technology of China
- 08:41
Spreading speeds of nonlocal diffusion KPP equations
Watch video | Download video: 202008030815-Liang.mp4 (40M)
, University of Lorraine
- 07:27
Propagating terraces in multidimensional and spatially periodic domains
Watch video | Download video: 202008040700-Giletti.mp4 (36M)
, Hokkaido University
- 07:54
Asymptotic behavior of solutions to level-set mean curvature flow equations with discontinuous source terms
Watch video | Download video: 202008040729-Hamamuki.mp4 (37M)
, University of Tel-Aviv
- 08:26
The symmetry of stable solutions of semilinear elliptic equations
Watch video | Download video: 202008040800-Nordmann.mp4 (31M)
, Stanford University
- 08:56
Reaction-diffusion equations in the half-space
Watch video | Download video: 202008040829-Graham.mp4 (36M)
, Tokyo Institute of Technology
- 07:24
Mathematical analysis of a reaction-diffusion model for Neolithic transition in Europe
Watch video | Download video: 202008050700-Mori.mp4 (32M)
, National Chiao Tung University
- 08:08
Wave propagation in two-species strong competition models
Watch video | Download video: 202008050740-Wu.mp4 (43M)
, Auburn University
- 09:02
Can chemotaxis speed up or slow down the spatial spreading in parabolic-elliptic Keller-Segel systems with logistic source?
Watch video | Download video: 202008050831-Shen.mp4 (41M)
, Okayama University of Sciences
- 07:28
Convergence to traveling wave for the logarithmic diffusion equation with reaction term
Watch video | Download video: 202008060700-Shimojo.mp4 (34M)
, Nankai University
- 07:57
The principal eigenvalue problem for some second order elliptic and parabolic operators with large advection 
Watch video | Download video: 202008060730-Zhou.mp4 (27M)
, Okayama University
- 08:27
Fast reaction limit of three-components reaction-diffusion systems and free boundary problems describing population dynamics
Watch video | Download video: 202008060800-Monobe.mp4 (36M)
, Université Claude Bernard Lyon-1
- 08:57
Strong competition limit, traveling waves and best dispersal strategy for Lotka-Volterra competitive systems
Watch video | Download video: 202008060830-Girardin.mp4 (38M)
Jul 26 - Jul 31
, University of Stuttgart
- 09:22
From Stochastic Thermodynamics to Thermodynamic Inference
Watch video | Download video: 202007270816-Seifert.mp4 (79M)
, Stanford University
- 10:45
An Energy-Accuracy Tradeoff in Nonequilibrium Cellular Sensing
Watch video | Download video: 202007271004-Harvey.mp4 (123M)
, University of Luxembourg
- 09:07
Thermodynamics of Biochemical Reaction Networks: Information, Accuracy and Speed
Watch video | Download video: 202007280801-Esposito.mp4 (97M)
, Imperial College London
- 09:15
Non-Equilibrium Thermodynamics of Catalytic Information Processing
Watch video | Download video: 202007290803-Ouldridge-Addenbrooke.mp4 (106M)
, Max Planck Institute Marburg
- 10:36
Information Processing by Bacterial Quorum Sensing Systems
Watch video | Download video: 202007290930-Bischofs.mp4 (76M)
Jun 14 - Jun 19
, Dana-Farber Cancer Institute
- 06:24
Keynote Talk (Cortex seq-FISH study)
Watch video | Download video: 202006150530-Yuan.mp4 (136M)
, INSERM
- 07:21
CORTEX seq-FISH: clustering
Watch video | Download video: 202006150700-Coullomb.mp4 (31M)
, Stanford Cancer Institute
- 07:38
CORTEX seq-FISH: selection of spatial coherent genes
Watch video | Download video: 202006150721-Xu.mp4 (25M)
, Department of Statistics, University of Padua
- 07:55
CORTEX seq-FISH: software structure and data integration
Watch video | Download video: 202006150739-Righelli.mp4 (39M)
, University of British Columbia
- 08:40
CORTEX seq-FISH: integration with scRNA-seq data
Watch video | Download video: 202006150821-Singh.mp4 (28M)
, University of Michigan Medical School
- 09:00
CORTEX seq-FISH: integration with scRNA-seq data
Watch video | Download video: 202006150841-Sodicoff.mp4 (40M)
, The University of Sydney
- 07:20
sc targeted proteomics: Predicting outcome, survival from 3 proteomics datasets (Keren, Jackson, Wagner)
Watch video | Download video: 202006160700-Lin.mp4 (30M)
, BayBioMS TU Munich
- 07:36
sc targeted proteomics: comparing multi-block PCA, linear regression
Watch video | Download video: 202006160720-Meng.mp4 (36M)
, Standford University
- 07:51
sc targeted proteomics:Stan model for latent Dirichlet allocation
Watch video | Download video: 202006160736-Jeganathan.mp4 (22M)
, Quebec AI Institute
- 08:05
sc targeted proteomics: spatial analysis
Watch video | Download video: 202006160751-Sankaran.mp4 (24M)
, University of Toronto
- 09:00
Networks - learning salient gene and protein features from network topologies.
Watch video | Download video: 202006160840-Forster.mp4 (42M)
, German Cancer Research Centre & EMBL
- 06:32
Keynote Talk (scNMT-seq study)
Watch video | Download video: 202006170532-Stegle.mp4 (104M)
, The University of Melbourne
- 07:21
scNMT-seq: multivariate integrative analyses
Watch video | Download video: 202006170700-Abadi.mp4 (37M)
, University of Michigan
- 07:40
scNMT-seq: LIGER
Watch video | Download video: 202006170721-Welch.mp4 (29M)
, Memorial Sloan Kettering Cancer Center
- 07:59
scNMT-seq:MOSAIC, or Multi-Omic Supervised Integrative Clustering
Watch video | Download video: 202006170741-Arora.mp4 (30M)
, Altius Institute for Biomedical Sciences
- 08:31
DNase-seq data as a scaffold for complementary (single cell) datasets
Watch video | Download video: 202006170810-Meuleman.mp4 (31M)
, Stanford University
- 07:02
Keynote Talk: Computational Challenges
Watch video | Download video: 202006180601-Holmes.mp4 (83M)
, UNC-Chapel Hill
- 08:02
Benchmarking
Watch video | Download video: 202006180730-Love.mp4 (46M)
, University of Pennsylvania
- 08:13
Writing with Manubot
Watch video | Download video: 202006180803-Greene.mp4 (32M)
, Channing Division of Network Medicine, Brigham and Women's Hospital, Harvard Medical School
- 07:00
Software Infastructure
Watch video | Download video: 202006190602-Carey.mp4 (108M)
Jun 07 - Jun 12
, Michigan State University
- 10:00
Relative adjunction inequalities and their applications
Watch video | Download video: 202006080902-Hedden.mp4 (76M)
, University of Oregon
- 10:55
Khovanov homology detects split links
Watch video | Download video: 202006081001-Lipshitz.mp4 (76M)
, University of Vienna
- 09:56
Bordered contact invariants
Watch video | Download video: 202006090901-Vertesi.mp4 (87M)
, Georgia Institute of Technology
- 10:53
Symplectic trisections and the adjunction inequality
Watch video | Download video: 202006091000-Lambert-Cole.mp4 (70M)
, Boston College
- 10:00
The rectangular peg problem
Watch video | Download video: 202006110900-Greene.mp4 (72M)
, Washington University
- 11:04
Lagrangians, SO(3)-instantons and the Atiyah-Floer Conjecture
Watch video | Download video: 202006111005-Daemi.mp4 (86M)
, Princeton University
- 08:57
Knot Floer homology as immersed curves
Watch video | Download video: 202006120802-Hanselman.mp4 (75M)
, University of Notre Dame
- 09:58
Instanton and Heegaard Floer homologies of surgeries on torus knots
Watch video | Download video: 202006120903-Pinzon-Caicedo.mp4 (95M)
, Indiana University
- 11:05
The earring correspondence on the pillowcase
Watch video | Download video: 202006121003-Kotelskiy.mp4 (155M)
May 31 - Jun 05
, University of Illinois at Chicago
- 10:00
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 1
Watch video | Download video: 202006010900-Marker.mp4 (75M)
, University of Copenhagen
- 10:58
Tutorial: Challenges in the study of algebraic models of biochemical reaction networks
Watch video | Download video: 202006011000-Feliu.mp4 (117M)
, McMaster University
- 09:35
Limit cycles of planar vector fields, Hilbert’s 16th problem and o-minimality
Watch video | Download video: 202006020900-Speissegger.mp4 (50M)
, University of Wisconsin-Madison
- 10:17
Mass-action systems: From linear to non-linear inequalities
Watch video | Download video: 202006020940-Yu.mp4 (67M)
, Brown University
- 10:56
Convex Hulls of Trajectories
Watch video | Download video: 202006021020-Kaihnsa.mp4 (47M)
, École Polytechnique
- 09:59
Structural parameter identifiability with a view towards model theory
Watch video | Download video: 202006030901-Pogudin.mp4 (93M)
, University of Illinois at Chicago
- 10:56
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 2
Watch video | Download video: 202006031001-Marker.mp4 (75M)
, Consejo Superior de Investigaciones Científicas (CSIC)
- 09:37
Finding and breaking Lie symmetries: implications for structural identifiability and observability of dynamic models
Watch video | Download video: 202006040901-Villaverde.mp4 (51M)
, University of Notre Dame
- 10:16
A model-theoretic analysis of geodesic equations in negative curvature
Watch video | Download video: 202006040940-Jaoui.mp4 (62M)
, Swansea University
- 11:00
Introduction to tropical algebraic geometry
Watch video | Download video: 202006041020-Ren.mp4 (57M)
, City University of New York
- 09:36
Irreducibility and generic ODEs
Watch video | Download video: 202006050902-Nagloo.mp4 (49M)
, MPI MiS, Leipzig
- 10:19
Disguised toric dynamical systems
Watch video | Download video: 202006050940-Sorea.mp4 (62M)
, University of Connecticut School of Medicine
- 10:56
Ask not what algebra can do for biology - ask what biology can do for algebra
Watch video | Download video: 202006051036-Laubenbacher.mp4 (23M)
May 18 - Aug 13
, New York University
- 11:08
Rank-one matrix estimation and Hamilton-Jacobi equations - 1
Watch video | Download video: 202005181000-Mourrat.mp4 (121M)
, New York University
- 11:12
Rank-one matrix estimation and Hamilton-Jacobi equations - 2
Watch video | Download video: 202005191000-Mourrat.mp4 (124M)
, New York University
- 11:09
Rank-one Matrix Estimation and Hamilton-Jacobi Equations - 3
Watch video | Download video: 202005211001-Mourrat.mp4 (105M)
, Weizmann Institute
- 10:56
Critical and Near-Critical Percolation - 1
Watch video | Download video: 202005251000-Kozma.mp4 (78M)
, Weizmann Institute
- 11:05
Critical and Near-Critical Percolation - 2
Watch video | Download video: 202005271003-Kozma.mp4 (88M)
, Weizmann Institute
- 10:57
Critical and Near-Critical Percolation - 3
Watch video | Download video: 202005281001-Kozma.mp4 (80M)
, Instytut Matematyczny Uniwersytetu Wrocławskiego
- 10:37
Branching random walks and stretched exponential tails
Watch video | Download video: 202006051000-Dyszewski.mp4 (43M)
, University of Graz
- 11:02
The extremal particles of branching Brownian motion
Watch video | Download video: 202006051040-Johnson.mp4 (34M)
, Columbia University
- 11:30
Gibbsian Line ensembles in Integrable Probability - 1
Watch video | Download video: 202006071000-Corwin.mp4 (158M)
, Columbia University
- 11:30
Gibbsian Line ensembles in Integrable Probability - 2
Watch video | Download video: 202006091000-Corwin.mp4 (115M)
, Columbia University
- 11:30
Gibbsian Line ensembles in Integrable Probability - 3
Watch video | Download video: 202006101000-Corwin.mp4 (91M)
, Princeton University
- 10:40
The Airy Sheet
Watch video | Download video: 202006111000-Dauvergne.mp4 (61M)
, UC Berkeley
- 11:10
The quantitatively Brownian nature of the Airy line ensemble - 1
Watch video | Download video: 202006111050-Calvert.mp4 (18M)
, UC Berkeley
- 11:30
The quantitatively Brownian nature of the Airy line ensemble - 2
Watch video | Download video: 202006111110-Hegde.mp4 (18M)
, UC Berkeley
- 11:50
Endpoints of disjoint Geodesics in the directed Landscape
Watch video | Download video: 202006111130-Bates.mp4 (25M)
, University of California - Berkeley
- 12:40
Geodesic Watermelons in Last Passage Percolation
Watch video | Download video: 202006111200-Ganguly.mp4 (56M)
, Kyoto University
- 10:40
Invariant measures for KdV and Toda-type discrete integrable systems
Watch video | Download video: 202006121000-Croydon.mp4 (78M)
, Columbia University
- 11:10
Tightness of the KPZ line ensemble
Watch video | Download video: 202006121050-Wu.mp4 (24M)
, University of Toronto
- 11:30
Brownian absolute continuity of KPZ fixed point with arbitrary initial condition
Watch video | Download video: 202006121110-Sarkar.mp4 (43M)
, Princeton University
- 11:50
Empirical distribution along geodesics in exponential last passage percolation
Watch video | Download video: 202006121130-Zhang.mp4 (35M)
, Berkeley
- 12:40
Multispecies ASEP and MacDonald polynomials
Watch video | Download video: 202006121200-Corteel.mp4 (57M)
, University of Cambridge
- 11:10
Mixing and hitting times for Markov chains - 1
Watch video | Download video: 202006151000-Sousi.mp4 (114M)
, University of Cambridge
- 11:10
Mixing and hitting times for Markov chains - 2
Watch video | Download video: 202006161000-Sousi.mp4 (131M)
, University of Cambridge
- 11:10
Mixing and hitting times for Markov chains - 3
Watch video | Download video: 202006181000-Sousi.mp4 (127M)
, University of Leiden
- 11:09
with Elena Pulvirenti: Metastability for interacting Particle Systems - 1
Watch video | Download video: 202006221000-denHollander.mp4 (95M)
, University of Leiden
- 11:11
with Elena Pulvirenti: Metastability for interacting Particle Systems - 2
Watch video | Download video: 202006231001-denHollander.mp4 (99M)
, University of Leiden
- 11:09
with Elena Pulvirenti: Metastability for interacting Particle Systems - 3
Watch video | Download video: 202006251002-denHollander.mp4 (91M)
, University of Leiden
- 11:10
with Elena Pulvirenti: Metastability for interacting Particle Systems - 4
Watch video | Download video: 202006261010-denHollander.mp4 (82M)
, University of Waterloo
- 10:52
A Brief Introduction to Mean Field Spin Glass Models - 1
Watch video | Download video: 202006291000-Jagannath.mp4 (58M)
, University of Waterloo
- 12:30
A Brief Introduction to Mean Field Spin Glass Models - 2
Watch video | Download video: 202006291130-Jagannath.mp4 (71M)
, University of Waterloo
- 10:55
A Brief Introduction to Mean Field Spin Glass Models - 3
Watch video | Download video: 202006301002-Jagannath.mp4 (72M)
, University of Waterloo
- 12:28
A Brief Introduction to Mean Field Spin Glass Models - 4
Watch video | Download video: 202006301131-Jagannath.mp4 (78M)
, University of Frankfurt
- 11:11
Disordered systems and random graphs - 1
Watch video | Download video: 202007011000-Coja-Oghlan.mp4 (114M)
, Courant Institute
- 10:57
TAP approach and optimization of full-RSB spherical spin glasses
Watch video | Download video: 202007021000-Subag.mp4 (66M)
, University of Frankfurt
- 12:39
Disordered systems and random graphs - 2
Watch video | Download video: 202007021132-Coja-Oghlan.mp4 (94M)
, University of Frankfurt
- 11:09
Disordered systems and random graphs - 3
Watch video | Download video: 202007031001-Coja-Oghlan.mp4 (89M)
, Stanford University
- 11:04
Mean field methods in high-dimensional statistics and nonconvex optimization - 1
Watch video | Download video: 202007061001-Montanari.mp4 (91M)
, Stanford University
- 11:11
Mean field methods in high-dimensional statistics and nonconvex optimization - 2
Watch video | Download video: 202007071001-Montanari.mp4 (99M)
, Stanford University
- 11:04
Mean field methods in high-dimensional statistics and nonconvex optimization - 3
Watch video | Download video: 202007081001-Montanari.mp4 (93M)
, Stanford University
- 11:02
Mean field methods in high-dimensional statistics and nonconvex optimization - 4
Watch video | Download video: 202007091002-Montanari.mp4 (80M)
, New York University
- 12:21
Information-theoretic limits of Bayesian inference in Gaussian noise
Watch video | Download video: 202007091132-Miolane.mp4 (68M)
, Stanford University
- 11:00
Mean field methods in high-dimensional statistics and nonconvex optimization - 5
Watch video | Download video: 202007101000-Montanari.mp4 (91M)
, MIT
- 10:58
Simplicity and Complexity in Belief Propagation - 1
Watch video | Download video: 202007130957-Mossel.mp4 (91M)
, MIT
- 11:10
Simplicity and Complexity in Belief Propagation - 2
Watch video | Download video: 202007141000-Mossel.mp4 (132M)
, MIT
- 11:00
Simplicity and Complexity in Belief Propagation - 3
Watch video | Download video: 202007151000-Mossel.mp4 (94M)
, University of California - Berkeley
- 12:34
Large deviations for random networks and applications - 1
Watch video | Download video: 202007151132-Ganguly.mp4 (284M)
, University of California - Berkeley
- 11:05
Large deviations for random networks and applications - 2
Watch video | Download video: 202007161001-Ganguly.mp4 (282M)
, University of California - Berkeley
- 11:05
Large deviations for random networks and applications - 3
Watch video | Download video: 202007171022-Ganguly.mp4 (197M)
, Zurich
- 10:59
Schramm-Loewner evolution and imaginary geometry 1
Watch video | Download video: 202008031001-Holden.mp4 (95M)
, Zurich
- 11:00
Schramm-Loewner evolution and imaginary geometry 2
Watch video | Download video: 202008041001-Holden.mp4 (83M)
, Zurich
- 09:57
Schramm-Loewner evolution and imaginary geometry 3
Watch video | Download video: 202008060900-Holden.mp4 (85M)
, University of Cambridge
- 10:58
Uniform spanning trees in high dimension 1
Watch video | Download video: 202008101000-Hutchcroft.mp4 (135M)
, University of Cambridge
- 11:05
Uniform spanning trees in high dimension 2
Watch video | Download video: 202008111001-Hutchcroft.mp4 (137M)
, University of Cambridge
- 11:11
Uniform spanning trees in high dimension 3
Watch video | Download video: 202008131001-Hutchcroft.mp4 (151M)
May 03 - May 08
, University of Maryland
- 08:54
The Power Spectrum of Passive Scalar Turbulence in the Batchelor Regime
Watch video | Download video: 202005040802-Bedrossian.mp4 (91M)
, Princeton University
- 10:36
Nonlinear Stability of Vortices and Shear Flows
Watch video | Download video: 202005040930-Ionescu.mp4 (106M)
, University of Massachusetts
- 09:10
Invariant Gibbs measures and global Strong Solutions for periodic 2D nonlinear Schrödinger Equations.
Watch video | Download video: 202005050800-Nahmod.mp4 (132M)
, Universite Cote d'Azur
- 10:39
Non-stationary Wave Turbulence
Watch video | Download video: 202005050930-Nazarenko.mp4 (109M)
, University of Michigan
- 09:02
Wave Turbulence in Finite Domain – Role of Discrete Resonant Manifold
Watch video | Download video: 202005060804-Pan.mp4 (91M)
, CNRS & ENS Lyon
- 10:28
Energy Cascade in Internal Wave Attractors
Watch video | Download video: 202005060931-Dauxois.mp4 (94M)
May 01 - May 03
, University of Calgary
- 09:49
Difference Necklaces
Watch video | Download video: 202005020858-Scheidler.mp4 (73M)
, University of Waterloo
- 10:12
Unconditional computation of fundamental units in number fields
Watch video | Download video: 202005020951-Yee.mp4 (31M)
, University of Lethbridge
- 11:09
Refinements of Strong Multiplicity One for $\rm{GL}(2)$
Watch video | Download video: 202005021040-Wong.mp4 (42M)
, University of Alberta
- 11:26
Hecke operators on vector-valued modular forms
Watch video | Download video: 202005021111-Joshi.mp4 (20M)
, York University
- 12:03
Distribution of values of $L$-functions in the critical strip - Function Field version
Watch video | Download video: 202005021130-Lumley.mp4 (46M)
, University of British Columbia
- 14:16
Differences Between Perfect Powers (Plenary)
Watch video | Download video: 202005021332-Bennett.mp4 (66M)
, University of Lethbridge
- 14:42
An explicit version of Chebotarev’s density theorem
Watch video | Download video: 202005021420-Das.mp4 (31M)
, University of Calgary
- 16:21
Arthur packets for sub-regular unipotent representations of $G_2$
Watch video | Download video: 202005021556-Zhang.mp4 (33M)
, Mount Royal University
- 09:37
Some Primality Tests Constructed from a Cubic Extension of the Lucas Functions
Watch video | Download video: 202005030903-Roettger.mp4 (54M)
, University of Lethbridge
- 10:49
The fourth moment of quadratic Dirichlet $L$-functions
Watch video | Download video: 202005031032-Shen.mp4 (21M)
, University of Calgary
- 11:29
Statistical Analysis of Aliquot Sequences
Watch video | Download video: 202005031050-Jacobson,Jr..mp4 (56M)
Mar 15 - Mar 20
, University of Waterloo
- 10:38
Improving Bounds for Hadwiger's conjecture
Watch video | Download video: 202003160907-Postle.mp4 (537M)
, Stanford University
- 11:26
Clique minors in graphs with a forbidden subgraph
Watch video | Download video: 202003161043-Fox.mp4 (66M)
, Mississippi State University
- 11:53
25 interesting problems on chi
Watch video | Download video: 202003161125-Sivaraman.mp4 (37M)
, Simon Fraser University
- 12:37
Problem session
Watch video | Download video: 202003161200-Mohar.mp4 (214M)
, Princeton University
- 10:35
Forbidden induced subgraphs and potential maximal cliques
Watch video | Download video: 202003170905-Chudnovsky.mp4 (379M)
, University of Oxford
- 11:37
Three-colouring P_t-free graphs in subexponential time
Watch video | Download video: 202003171115-Groenland.mp4 (30M)
, Rutgers University
- 12:25
Exactly m-coloured graphs
Watch video | Download video: 202003171150-Narayanan.mp4 (61M)
, University of Ottawa
- 09:48
Clustered 3-colouring via structure + ∆
Watch video | Download video: 202003180910-Dujmovic.mp4 (65M)
, Monash University
- 10:44
Universal product structures
Watch video | Download video: 202003180950-Wood.mp4 (81M)
, Texas A&M University
- 11:31
Clustered colouring and immersion
Watch video | Download video: 202003181100-Liu.mp4 (41M)
, Institute for Basic Science
- 09:39
3-degenerate induced subgraphs of a planar graph
Watch video | Download video: 202003190905-Oum.mp4 (59M)
, Jagiellonian University
- 10:17
Coloring rectangle graphs with O(ω log ω) colors
Watch video | Download video: 202003190943-Walczak.mp4 (122M)
, California Institute of Technology
- 10:46
Repeated patterns in properly edge-coloured graphs
Watch video | Download video: 202003191015-Conlon.mp4 (47M)
, Georgia Tech
- 11:13
Analogies between chromatic number and dimension
Watch video | Download video: 202003191046-Trotter.mp4 (48M)
Mar 13 - Mar 15
, York University
- 11:10
Blockchain and Data Science: Two Perspectives
Watch video | Download video: 202003141030-Deters.mp4 (145M)
, York University
- 11:10
Blockchain and Data Science: Two Perspectives
Watch video | Download video: 202003141030-Laskowski.mp4 (145M)
, École de technologie supérieure
- 14:14
Overview of research directions of FUSÉE Lab @ ÉTS Montréal
Watch video | Download video: 202003141334-Deters.mp4 (144M)
, University of Calgary
- 15:20
Miner Collusion and the BitCoin Protocol
Watch video | Download video: 202003141424-Lehar.mp4 (209M)
Mar 01 - Mar 06
, MIT
- 10:04
Odd primary analogues of Real orientations
Watch video | Download video: 202003020903-Hahn.mp4 (284M)
, University of Kentucky
- 11:24
Additive Power Operations in Equivariant Cohomology
Watch video | Download video: 202003021032-Guillou.mp4 (277M)
, University of Chicago
- 14:31
TC and syntomic cohomology
Watch video | Download video: 202003021331-Mathew.mp4 (308M)
, Universiteit Utrecht
- 16:12
Chromatic localizations of algebraic K-theory
Watch video | Download video: 202003021511-Meier.mp4 (291M)
, University of Pennsylvania
- 17:21
The fiber of the map Sigma_G^\infty M to A_G(M)
Watch video | Download video: 202003021621-Merling.mp4 (286M)
, Nagoya University and University of Copenhagen
- 10:08
Dirac geometry
Watch video | Download video: 202003030900-Hesselholt.mp4 (333M)
, UC Berkeley
- 14:31
The K-theory of truncated polynomial algebras and coordinate axes
Watch video | Download video: 202003031330-Speirs.mp4 (338M)
, Brown University
- 16:08
A slice refinement of Bökstedt periodicity
Watch video | Download video: 202003031500-Sulyma.mp4 (356M)
, University of Chicago
- 17:15
The C_2 effective spectral sequence and the homotopy of ko_{C_2}
Watch video | Download video: 202003031614-Kong.mp4 (245M)
, University of Bergen
- 09:19
Motivic Hochschild homology
Watch video | Download video: 202003040832-Dundas.mp4 (167M)
, UCLA
- 10:32
The naive-commutative structure on rational equivariant K-theory
Watch video | Download video: 202003040930-May.mp4 (291M)
, Wayne State University
- 12:01
C_2-equivariant stable homotopy groups
Watch video | Download video: 202003041102-Isaksen.mp4 (199M)
, Universitat Munster
- 10:10
Characteristic polynomials and TR with coefficients
Watch video | Download video: 202003050900-Nikolaus.mp4 (426M)
, University of Chicago
- 11:27
Models of Lubin-Tate spectra via Real bordism theory
Watch video | Download video: 202003051031-Shi.mp4 (189M)
, Freie Universitaet Berlin
- 14:36
Equivariant Witt vectors, real topological Hochschild homology, and norms
Watch video | Download video: 202003051330-Angelini-Knoll.mp4 (339M)
, Cornell University
- 17:25
Tate blueshift for real oriented cohomology
Watch video | Download video: 202003051614-Quigley.mp4 (374M)
, Vanderbilt University
- 09:49
Segal and Waldhausen K-theory: a multiplicative comparison
Watch video | Download video: 202003060845-Bohmann.mp4 (302M)
, WWU Münster
- 11:01
Two theories of real cyclotomic spectra
Watch video | Download video: 202003061001-Shah.mp4 (320M)
Feb 23 - Feb 28
, University of Birmingham
- 09:27
Joint and Individual Representation of Domains of Sleep, Physical Activity, and Circadian Rhythmicity: Multilevel Perspective
Watch video | Download video: 202002240913-Little.mp4 (38M)
, Duke University
- 09:52
Missing Data in Accelerometry: Challenges and Considerations
Watch video | Download video: 202002240927-Herring.mp4 (107M)
, Indiana University School of Public Health-Bloomington
- 10:50
Watch video | Download video: 202002241032-Harezlak.mp4 (64M)
, Columbia University
- 11:10
Functional data methods for accelerometer data
Watch video | Download video: 202002241050-Goldsmith.mp4 (79M)
, Columbia University
- 14:58
Policy Learning with high dimensional actions
Watch video | Download video: 202002241436-Qian.mp4 (102M)
, Harvard University
- 09:28
Watch video | Download video: 202002250903-Murphy.mp4 (84M)
, Duke University
- 10:00
How to apply modern harmonic analysis to study high frequency physiological time series?
Watch video | Download video: 202002250935-Wu.mp4 (98M)
, Georgia Institute of Technology
- 11:36
Applications of Wearable Devices in Personalized Healthcare
Watch video | Download video: 202002251111-Mintz.mp4 (84M)
, Texas A&M University
- 15:17
Using Scores to Predict Health Outcomes in Epidemiological Studies
Watch video | Download video: 202002251452-Gaynanova.mp4 (77M)
, Johns Hopkins University
- 10:22
Using Wearables to Think Beyond MVPA
Watch video | Download video: 202002261002-Schrack.mp4 (71M)
, California Polytechnic State University
- 11:44
Can we "open" the black box and convince health researchers to use machine learning?
Watch video | Download video: 202002261129-KozeyKeadle.mp4 (84M)
, Columbia University
- 09:27
Registration of 24-hour accelerometer profiles with application to human chronotypes
Watch video | Download video: 202002270910-Wrobel.mp4 (55M)
, North Carolina State University
- 09:50
Experimental design for reinforcement learning problems
Watch video | Download video: 202002270929-Laber.mp4 (72M)
, NYU Courant Institute and Center for Data Science
- 10:16
Practical Bayesian Deep Learning
Watch video | Download video: 202002270951-Wilson.mp4 (108M)
, Massachusetts Institute of Technology
- 10:45
Sensor Hardware and New Opportunities for Data Analysis
Watch video | Download video: 202002271016-Fletcher.mp4 (119M)
, Flinders University
- 11:30
Developing Digital Tools to Monitor and Support Mental Health
Watch video | Download video: 202002271106-Bidargaddi.mp4 (92M)
, University of Massachusetts
- 12:08
Introduction to a new high resolution calibration dataset: free living people, accelerometry, and direct observation
Watch video | Download video: 202002271147-Staudenmayer.mp4 (87M)
, University of California San Diego
- 12:36
Modeling Densely Sampled Activity Data Derived from Wearable Sensors: Opportunities and Challenges
Watch video | Download video: 202002271209-Natarajan.mp4 (136M)
, Duke University
- 09:28
Open-source digital biomarker development
Watch video | Download video: 202002280909-Bent.mp4 (64M)
Feb 16 - Feb 21
, University of Alberta
- 09:39
Stochastic models of rare events in cell biology
Watch video | Download video: 202002170902-Newby.mp4 (138M)
, UC Irvine
- 20:23
Stochastic modeling to infer gene regulatory rules from single cell coexpression patterns
Watch video | Download video: 202002171932-Read.mp4 (181M)
, University of Basel
- 09:25
Faster Growth Reduces the Sensitivity of Gene Circuits to Environmental Signals
Watch video | Download video: 202002180845-Julou.mp4 (138M)
, Northwestern University
- 11:49
Using machine learning to map transcriptomics to phenotype in bacteria and humans
Watch video | Download video: 202002181115-Wytock.mp4 (165M)
, Purdue University
- 16:23
Self-communicating cancer cells
Watch video | Download video: 202002181532-Mugler.mp4 (182M)
, Simon Fraser University
- 10:35
Physically optimizing inference
Watch video | Download video: 202002190944-Sivak.mp4 (191M)
, Johns Hopkins University
- 16:23
A two-step mechanism controlling stochastic cell fate specification in the fly eye
Watch video | Download video: 202002201532-Johnston.mp4 (233M)
, University of Lethbridge
- 17:48
Graph-theoretical analysis of biochemical networks
Watch video | Download video: 202002201702-Roussel.mp4 (150M)
, Mayo Clinic
- 20:14
Developing a mathematical structure to reflect microbial community interactions
Watch video | Download video: 202002201934-Brunner.mp4 (152M)
Feb 09 - Feb 14
, Bar-Ilan University
- 09:36
Non-central Funk-Radon transforms
Watch video | Download video: 202002100900-Agranovsky.mp4 (127M)
, Stockholm University
- 10:13
Radon transforms supported in hypersurfaces and a conjecture by Arnold
Watch video | Download video: 202002100939-Boman.mp4 (137M)
, University of Michigan, Ann Arbor
- 11:13
On the volume of non-central sections of a cube
Watch video | Download video: 202002101042-Rudelson.mp4 (155M)
, Universitaet Kiel
- 11:43
On non-central sections of the simplex, the cube and the cross-polytope
Watch video | Download video: 202002101116-Koenig.mp4 (97M)
, Carnegie Mellon University
- 14:47
Volume of intersections of convex bodies with their symmetric images and efficient coverings
Watch video | Download video: 202002101420-Tkocz.mp4 (87M)
, Georgia Institute of Technology
- 15:53
A discussion on the Log-Brunn-Minkowski conjecture and related questions
Watch video | Download video: 202002101520-Livshyts.mp4 (108M)
, Tel Aviv University
- 16:22
The log-Brunn-Minkowski inequality and its local version
Watch video | Download video: 202002101555-Putterman.mp4 (101M)
, UCLA
- 16:58
On the Comparison of Measures of Convex Bodies via Projections and Sections
Watch video | Download video: 202002101629-Hosle.mp4 (93M)
, National and Kapodistrian University of Athens
- 09:36
Volume estimates for some random convex sets
Watch video | Download video: 202002110901-Giannopoulos.mp4 (126M)
, Christian-Albrechts-Universitaet
- 10:06
The convex hull of random points on the boundary of a simple polytope
Watch video | Download video: 202002110937-Schutt.mp4 (120M)
, University of Warsaw
- 11:50
Moments of random vectors
Watch video | Download video: 202002111120-Latala.mp4 (99M)
, University of Alberta
- 14:02
Singularity of 0/1 random Bernoulli matrices
Watch video | Download video: 202002111330-Litvak.mp4 (113M)
, University of Florida
- 14:35
Localization technique for discrete log-concave random variables
Watch video | Download video: 202002111404-Marsiglietti.mp4 (165M)
, Kent State University
- 16:54
A problem on the affine quermassintegrals of convex bodies
Watch video | Download video: 202002111620-Chasapis.mp4 (151M)
, Case Western Reserve University
- 09:25
Constrained convex bodies with extremal affine surface areas
Watch video | Download video: 202002120900-Werner.mp4 (108M)
, Technion
- 10:05
Functional surface area measures
Watch video | Download video: 202002120935-Rotem.mp4 (110M)
, North Dakota State University
- 11:12
On a local solution of the 8th Busemann-Petty problem
Watch video | Download video: 202002121042-Alfonseca-Cubero.mp4 (127M)
, University of Alberta
- 11:45
Dual curvature measures and the Orlicz-Minkowski problem
Watch video | Download video: 202002121115-Xing.mp4 (93M)
, Tel-Aviv University
- 09:34
Polarity, transportation and potentials
Watch video | Download video: 202002130900-Artstein.mp4 (139M)
, Universidad de Zaragoza
- 10:03
Volume product and metric spaces
Watch video | Download video: 202002130937-GarciaLirola.mp4 (101M)
, Tel Aviv University
- 11:14
Complex analogue of the algebra of even valuations on convex sets
Watch video | Download video: 202002131041-Alesker.mp4 (167M)
, Technische Universität Berlin
- 11:40
Slicing properties of the lattice point enumerator
Watch video | Download video: 202002131116-Henk.mp4 (90M)
, University of Warsaw
- 14:05
On some results in harmonic analysis on the discrete cube
Watch video | Download video: 202002131330-Oleszkiewicz.mp4 (125M)
, Technische Universität Wien
- 16:45
An optimal plank theorem
Watch video | Download video: 202002131620-OrtegaMoreno.mp4 (116M)
, Weizmann Institute
- 17:25
No good dimension reduction in the trace class norm
Watch video | Download video: 202002131655-Schechtman.mp4 (110M)
Feb 02 - Feb 07
, Texas A&M University
- 11:13
Decay and asymptotics for the 1D Klein-Gordon equation with variable coefficient cubic nonlinearities
Watch video | Download video: 202002031030-Luhrmann.mp4 (241M)
, University of Toronto
- 12:15
A Nonlinear Plancherel Theorem and Application to Global Well-posedness for the Defocusing Davey-Stewartson Equation
Watch video | Download video: 202002031129-Nachman.mp4 (179M)
, ENS Paris-Saclay
- 09:52
Watch video | Download video: 202002050900-Alazard.mp4 (275M)
, Vanderbilt University
- 11:15
Strichartz estimates for the compressible Euler equation with vorticity and low-regularity solutions.
Watch video | Download video: 202002051029-Disconzi.mp4 (166M)
, University of Michigan
- 16:42
On the rigorous derivation of the wave kinetic equation for NLS
Watch video | Download video: 202002061543-Hani.mp4 (302M)
Jan 26 - Jan 31
, Microsoft Research
- 09:39
An Exactly Solvable Model for a 4+1D Beyond-Cohomology Symmetry Protected Topological Phase
Watch video | Download video: 202001270859-Haah.mp4 (198M)
, Yale University
- 10:19
Fun with fractons
Watch video | Download video: 202001270940-Williamson.mp4 (159M)
, University of Colorado Boulder
- 11:32
Fractons: the road to reality
Watch video | Download video: 202001271051-Pretko.mp4 (168M)
, University of Colorado at Boulder
- 15:01
Quantum smectic fracton order
Watch video | Download video: 202001271421-Radzihovsky.mp4 (159M)
, Caltech
- 16:04
Entanglement renormalization of fractonic gauge theories
Watch video | Download video: 202001271533-Shirley.mp4 (137M)
, Caltech
- 16:47
TQFT of Fracton Orders
Watch video | Download video: 202001271605-Slagle.mp4 (173M)
, Princeton University
- 09:40
Emergent fractons and algebraic quantum liquid from plaquette melting transitions
Watch video | Download video: 202001280900-You.mp4 (177M)
, Technical University of Munich
- 10:21
Ergodicity-breaking arising from Hilbert space fragmentation in dipole-conserving Hamiltonians
Watch video | Download video: 202001280940-Pollmann.mp4 (157M)
, Princeton University
- 11:43
Watch video | Download video: 202001281052-Bernevig.mp4 (172M)
, Harvard University
- 14:12
Watch video | Download video: 202001281332-Vijay.mp4 (204M)
, KU Leuven
- 14:55
Watch video | Download video: 202001281414-deRoeck.mp4 (188M)
, University of Tübigen
- 15:59
Facilitation constraints in interacting Rydberg gases
Watch video | Download video: 202001281520-Lesanovsky.mp4 (156M)
, University of Maryland
- 09:30
Non-Abelian Fracton Phases
Watch video | Download video: 202001290901-Huang.mp4 (110M)
, Universidad Complutense de Madrid
- 10:12
Twisted fracton models and error thresholds for fracton codes
Watch video | Download video: 202001290933-Song.mp4 (140M)
, University of Illinois
- 11:36
Electric multipole insulators
Watch video | Download video: 202001291053-Hughes.mp4 (145M)
, University of Colorado Boulder
- 09:42
Watch video | Download video: 202001300901-Hermele.mp4 (195M)
, Ecole Normale Superieure Paris CNRS
- 10:16
Watch video | Download video: 202001300942-Regnault.mp4 (114M)
, University of Maryland
- 11:24
Watch video | Download video: 202001301044-Barkeshli.mp4 (143M)
, U. Wurzburg
- 12:03
Exotic phases and phase transitions: quantum Monte Carlo studies
Watch video | Download video: 202001301125-Assaad.mp4 (133M)
, Brown University
- 14:10
Multipole gauge theories
Watch video | Download video: 202001301330-Gromov.mp4 (163M)
, University of California, Santa Barbara
- 14:52
Interacting Valley Chern insulator in Moiré systems and avoidable quantum critical points
Watch video | Download video: 202001301411-Xu.mp4 (154M)
, Univ of Colorado - Boulder
- 15:59
Tensor gauge theory at Lifshitz transition
Watch video | Download video: 202001301524-Ma.mp4 (146M)
, University of Illinois
- 16:40
Watch video | Download video: 202001301600-Bradlyn.mp4 (135M)
, University of Maryland
- 17:34
Type-II Fractons from Defects in Topological Order
Watch video | Download video: 202001301659-Bulmash.mp4 (126M)
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
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)