2020 Workshop Videos
Nov 22 - Nov 27
Miroslav Bulicek, Charles University
Monday Nov 23, 2020 06:15 - 06:39
Large data analysis for Kolmogorov’s two-equation model of turbulence
David Gerard-Varet, University Paris Diderot
Monday Nov 23, 2020 06:44 - 07:06
On the effective viscosity of suspensions
Eduard Feireisl, Institute of Mathematics, Czech Academy of Sciences
Monday Nov 23, 2020 08:00 - 08:22
Ergodic hypothesis for open fluid systems
Yasemin Şengül, Sabancı University
Monday Nov 23, 2020 08:25 - 08:48
Local-in-time existence of solutions to strain-limiting viscoelasticity
Aneta Wróblewska-Kamińska, Institute of Mathematics, Polish Academy of Sciences
Monday Nov 23, 2020 08:48 - 09:09
From compressible Naveir-Stokes with nonlocal forces to Euler
Alexis Vasseur, The University of Texas at Austin
Monday Nov 23, 2020 10:00 - 10:21
Instability of finite time blow-ups for incompressible Euler
Ondřej Kreml, Czech Academy of Sciences
Monday Nov 23, 2020 10:27 - 10:49
Non-uniqueness of admissible weak solutions to the compressible Euler equations with smooth initial data
Michael Renardy, Virginia Tech
Monday Nov 23, 2020 10:55 - 11:12
Pure stress modes for linear viscoelastic flows with variable coefficients
Tomas Barta, Charles University
Tuesday Nov 24, 2020 06:02 - 06:21
Decay of solutions to integrodifferential equations
Mark Dostalik, Charles University
Tuesday Nov 24, 2020 06:25 - 06:44
Thermodynamically consistent derivation of a micro-macro model for dilute polymeric fluids
Piotr Mucha, University of Warsaw
Tuesday Nov 24, 2020 06:51 - 07:17
Flows initiated by ripped density
Dalibor Pražák, Charles University
Tuesday Nov 24, 2020 08:01 - 08:26
A finite-dimensional reduction of dissipative dynamical systems
Jakub Woznicki, University of Warsaw
Tuesday Nov 24, 2020 08:27 - 08:54
Mv-strong uniqueness for density dependent, incompressible, non-Newtonian fluids
Tony Lelievre, Ecole des Ponts
Tuesday Nov 24, 2020 08:54 - 09:20
Effective dynamics for stochastic differential equations
Josef Málek, Charles University, Faculty of Mathematics and Physics
Tuesday Nov 24, 2020 10:00 - 10:26
On evolutionary problems with a-priori bounded gradients
Endre Suli, University of Oxford
Tuesday Nov 24, 2020 10:27 - 10:52
Analysis and approximation of implicitly constituted non-Newtonian fluid flow models
Vít Průša, Charles University
Tuesday Nov 24, 2020 10:56 - 11:20
Thermodynamics of viscoelastic rate-type fluids and its implications for stability analysis
Anna Abbatiello, Institut für Mathematik, Technische Universität Berlin
Wednesday Nov 25, 2020 06:01 - 06:17
On the motion of a compressible viscous fluid driven by time-periodic inflow/outflow boundary conditions
Ewelina Zatorska, Imperial College London
Wednesday Nov 25, 2020 06:24 - 06:48
On the dynamical network of interacting particles: from micro to macro
Tomasz Dębiec, University of Warsaw
Wednesday Nov 25, 2020 06:52 - 07:13
Incompressible limit for a two-species model with coupling through Brinkman’s law.
Mária Lukácová, Johannes Gutenberg-Universität Mainz
Wednesday Nov 25, 2020 08:00 - 08:22
Viscoelastic phase separation: analysis and numerics
Barbora Benesova, Charles University
Wednesday Nov 25, 2020 08:55 - 09:24
A variational approach to fluid-structure interaction
Piotr Gwiazda, Polish Academy of Sciences
Wednesday Nov 25, 2020 10:00 - 10:17
Homogenization of nonlinear elliptic systems in nonreflexive Musielak-Orlicz spaces
Emil Wiedemann, Universität Ulm
Wednesday Nov 25, 2020 10:22 - 10:47
Weak and measure-valued solutions for the compressible Euler equations
Vaclav Macha, Academy of Sciences, Czech Republic
Wednesday Nov 25, 2020 10:51 - 11:12
On a body with a cavity filled with compressible fluid
Yong Lu, Nanjing University
Thursday Nov 26, 2020 06:02 - 06:26
Homogenization of stationary Navier–Stokes–Fourier system in domains with tiny holes
Pierre-Emmanuel Jabin, University of Maryland
Thursday Nov 26, 2020 06:28 - 06:51
Compressible Navier-Stokes equations with heterogeneous pressure laws
Ansgar Juengel, TU Wien
Thursday Nov 26, 2020 06:54 - 07:12
Analysis of degenerate cross-diffusion systems for heat-conducting fluid mixtures
Erika Maringová, TU Wien
Thursday Nov 26, 2020 08:00 - 08:21
On the dynamic slip boundary condition
Marie Doumic, INRIA
Thursday Nov 26, 2020 08:26 - 08:49
Estimating the division of amyloid fibrils
Petr Kaplicky, Charles University
Thursday Nov 26, 2020 08:54 - 09:14
Uniqueness and regularity of flows of non-Newtonian fluids with critical power-law growth
Michal Bathory, University of Vienna
Thursday Nov 26, 2020 10:01 - 10:23
Analysis of an unsteady flow of an incompressible heat-conductive rate-type viscoelastic fluid with stress diffusion
Paige Davis, Charles University
Thursday Nov 26, 2020 10:25 - 10:46
Absolute Instabilities of Travelling Waves Solutions in a KellerSegel Model
Nicola Fusco, Universita di Napoli
Thursday Nov 26, 2020 10:51 - 11:14
Stability results for the nonlocal Mullins-Sekerka flow
Dongjuan Niu, Capital Normal University
Friday Nov 27, 2020 06:26 - 06:45
Vanishing porosity limit of the coupled Stokes-Brinkman system
Sébastien Boyaval, Ecole des Ponts ParisTech & Inria Paris
Friday Nov 27, 2020 06:50 - 07:17
Viscoelastic motions of Maxwell fluids with finite propagation speed
Milan Pokorný, Charles University
Friday Nov 27, 2020 08:00 - 08:22
Existence analysis of a stationary compressible fluid model for heat-conducting and chemically reacting mixtures
Tomas Los, Charles University
Friday Nov 27, 2020 08:24 - 08:54
On planar flows of viscoelastic fluids of the Burgers type
Jakub Skrzeczkowski, University of Warsaw
Friday Nov 27, 2020 08:54 - 09:15
Fast reaction limit with nonmonotone reaction function
Edriss Titi, Texas A&M University
Friday Nov 27, 2020 10:00 - 10:25
Statistical Properties of the Navier-Stokes-Voigt Model
Athanasios Tzavaras, KAUST
Friday Nov 27, 2020 10:29 - 10:49
Existence and uniqueness for a viscoelastic Kelvin-Voigt model with nonconvex stored energy
Agnieszka Świerczewska-Gwiazda, University of Warsaw
Friday Nov 27, 2020 10:56 - 11:17
Dissipative measure-valued solutions for the Euler-Poisson equation
Nov 08 - Nov 13
Trevor Bedford, Fred Hutchinson Cancer Research Center
Monday Nov 9, 2020 10:00 - 10:21
Genomic tracking of SARS-CoV-2 evolution and spread
Lindi Wahl, University of Western Ontario
Monday Nov 9, 2020 10:20 - 10:39
How different is the flu you transmit from the flu you received?
Nicholas Croucher, Imperial College London
Monday Nov 9, 2020 10:50 - 11:10
The evolution of multi-strain bacterial populations
Jimmy Liu, BCCDC
Monday Nov 9, 2020 11:10 - 11:30
High-resolution characterization of global Salmonella subpopulations
Aaron King, University of Michigan
Monday Nov 9, 2020 12:30 - 12:50
Phylodynamics and genealogy-valued Markov processes
Liangliang Wang, Simon Fraser University
Monday Nov 9, 2020 12:50 - 13:10
Bayesian inference of parameters in transmission models
Robert Beiko, Dalhousie University
Monday Nov 9, 2020 13:20 - 13:34
Mapping the shared evolutionary trajectories of resistance genes and other (possibly!) bad actors
Jianhong Wu, York University
Monday Nov 9, 2020 13:40 - 14:00
COVID-19: implication of multi-waves
Olivier Gascuel, Centre National de la Recherche Scientifique & Muséum National d'Histoire Naturelle
Tuesday Nov 10, 2020 10:00 - 10:20
Large-scale phylogeography of hCoV-19
Carmen Murall, PHAC
Tuesday Nov 10, 2020 10:20 - 10:40
Genomic epidemiology of SARS-CoV-2 in Quebec
Melodie Monod, Imperial College London
Tuesday Nov 10, 2020 10:50 - 11:10
Estimating the age groups that sustain resurging COVID-19 epidemics in the United States
Maribel Hernandez-Rosales, Center for Research and Advanced Studies
Tuesday Nov 10, 2020 11:10 - 11:31
Insights on the Effects of Contact and Mobility Network Dynamics in the Mexican COVID-19 Epidemics
David Rasmussen, NC State
Tuesday Nov 10, 2020 12:30 - 12:50
Decomposing the sources of SARS-CoV-2 fitness variation using phylodynamics
Katia Koelle, Emory University
Tuesday Nov 10, 2020 12:50 - 13:10
Phylodynamic inference - with and without phylogenies?
Vladimir Minin, University of California - Irvine
Tuesday Nov 10, 2020 13:20 - 13:40
Bayesian modeling and data integration in infectious disease phylodynamics
Art Poon, Western University
Tuesday Nov 10, 2020 13:40 - 14:00
Optimizing the genetic clustering of viruses for public health surveillance
Xavier Didelot, University of Warwick
Wednesday Nov 11, 2020 10:00 - 10:20
Additive uncorrelated relaxed clock models
Mark Achtman, University of Warwick
Wednesday Nov 11, 2020 10:20 - 10:40
Hierarchical population genomic structure of bacterial pathogens in EnteroBase
Oliver Ratmann, Imperial College London
Wednesday Nov 11, 2020 10:50 - 11:10
Estimating population level transmission dynamics from pathogen deep sequence data: a case study around HIV hotspots in sub Saharan-Africa
Alex Bouchard, UBC
Wednesday Nov 11, 2020 11:10 - 11:30
Distribution continuum methods for phylogenetic inference
John Lees, EMBL-EBI
Wednesday Nov 11, 2020 12:30 - 12:52
Hardware-accelerated genome sketching enables real-time genomic epidemiology of pathogens
Pierre Mahé, bioMérieux
Wednesday Nov 11, 2020 12:50 - 13:10
Improving the interpretability of k-mer-based signatures for antibiotic resistance prediction
Zamin Iqbal, EBI/Sanger Institute
Wednesday Nov 11, 2020 13:20 - 13:40
Revealing hidden genetic variation in the bacterial accessory genome
Jessica Ji, University of California Los Angeles
Wednesday Nov 11, 2020 13:40 - 14:00
mbImpute: an accurate and robust imputation method for microbiome data
Kevin Ma, Harvard University
Thursday Nov 12, 2020 10:00 - 10:20
Increased power from conditional bacterial genome-wide association identifies macrolide resistance mutations in Neisseria gonorrhoeae
Tatum Mortimer, Harvard T.H. Chan School of Public Health
Thursday Nov 12, 2020 10:20 - 10:40
Adaptation to the cervical environment is associated with increased antibiotic susceptibility in Neisseria gonorrhoeae
Santiago Castillo-Ramirez, UNAM
Thursday Nov 12, 2020 10:50 - 11:10
Population genomics of A. baumannii reveals a licentious and highly mobile resistome
Brian Ingalls, University of Waterloo
Thursday Nov 12, 2020 11:10 - 11:30
Synthetic biology approaches to suppression of antibiotic resistance
Irina Ostrovnaya, Memorial Sloan-Kettering Cancer Center
Thursday Nov 12, 2020 12:30 - 12:50
Identifying prognostic pairwise relationships among bacterial species in microbiome studies
Celia Greenwood, Lady Davis Institute for Medical Research
Thursday Nov 12, 2020 12:50 - 13:10
Bayesian community modelling of the microbiome
Leonid Chindelevitch, Imperial College, London
Thursday Nov 12, 2020 13:20 - 13:40
Interpretable machine learning methods for predicting drug resistance
Edward Feil, University of Bath
Thursday Nov 12, 2020 13:40 - 14:00
The adaptation and transmission of Klebsiella species and strains in human, animal and environmental settings
Paul Gordon, University of Calgary
Friday Nov 13, 2020 10:00 - 10:05
Considerations for estimating Rt in Alberta, Canada
Marco Hamins-Puertolas, NCSU
Friday Nov 13, 2020 10:05 - 10:10
Inference of Multiscale Selection using a Continuous Type Birth Death Model
Lenora Kepler, NCSU
Friday Nov 13, 2020 10:10 - 10:15
Using phylodynamics and decision trees to estimate the effects of mutation on viral fitness
Adrian Cazares, EMBL-EBI & Sanger Institute
Friday Nov 13, 2020 10:15 - 10:20
Combining sequencing technologies and data mining to study (mega)plasmid families
Alpha Forna, SFU
Friday Nov 13, 2020 10:20 - 10:25
Case fatality imputation using machine learning
Dongyuang Song, UCLA
Friday Nov 13, 2020 10:25 - 10:30
PseudotimeDE: inference of differential gene expression along cell pseudotime with well-calibrated p-values from single-cell RNA sequencing data
Miles Xi, UCLA
Friday Nov 13, 2020 10:30 - 10:35
Benchmarking computational doublet-detection methods for single-cell RNA sequencing data
Daniel Anderson, Imperial
Friday Nov 13, 2020 10:35 - 10:40
In-browser genome sketching for secure real-time genomic epidemiology
Morteza Mahmoudisaber, U Montreal
Friday Nov 13, 2020 10:40 - 10:45
Do machine learning predictors of microbial phenotype from genotype identify causal variants?
Samuel Horsfield, Imperial College London
Friday Nov 13, 2020 10:45 - 10:50
ggCaller: a gene caller for bacterial pangenome graphs
Maryam Hayati, Simon Fraser University
Friday Nov 13, 2020 10:50 - 10:55
Deep clustering of bacterial tree images
Xueting Qiu, Harvard School of Public Health
Friday Nov 13, 2020 10:55 - 11:00
Persistence and Evolution of SARS-CoV-2 in an Immunocompromised Host
Nov 08 - Nov 13
Ehud Deshalit, Hebrew University of Jerusalem
Monday Nov 9, 2020 09:59 - 10:59
Difference equations over fields of elliptic functions.
Curtis McMullen, Harvard University
Monday Nov 9, 2020 12:31 - 13:31
Billiards and the arithmetic of non-arithmetic groups
Junyi Xie, BICMR of Pekin University
Tuesday Nov 10, 2020 09:00 - 09:57
On the Zariski dense orbit conjecture
Joel Nagloo, University of Illinois at Chicago
Tuesday Nov 10, 2020 10:00 - 10:55
Schwarzian equation, automorphic functions and functional transcendence
Laura DeMarco, Harvard University
Tuesday Nov 10, 2020 12:30 - 13:27
Elliptic surfaces and R-divisors
Simion Filip, University of Chicago
Wednesday Nov 11, 2020 09:30 - 10:28
Equivariant currents and heights on the boundary of the ample cone of a K3 surface.
Dragos Ghioca, University of British Columbia
Wednesday Nov 11, 2020 12:00 - 13:00
A couple of conjectures in arithmetic dynamics over fields of positive characteristic.
Piotr Kowalski, Uniwersytet Wrocławski
Thursday Nov 12, 2020 09:00 - 09:55
Model theory of group actions on fields
Anand Pillay, University of Notre Dame
Thursday Nov 12, 2020 10:00 - 10:54
Definable Galois theory and holomorphic vector bundles
Vesselin Dimitrov, University of Toronto
Thursday Nov 12, 2020 12:30 - 13:28
On an arithmetic criterion for holonomicity
Charlotte Hardouin, Institut de mathematiques de Toulouse
Friday Nov 13, 2020 10:00 - 10:57
Algebraic independence of solutions of linear difference equations
Serge Cantat, CNRS, University Rennes 1
Friday Nov 13, 2020 12:30 - 13:30
Finite orbits and canonical heights for large groups of automorphisms.
Nov 01 - Nov 06
Alexander Kuznetsov, Steklov Mathematical Institute, NRU HSE
Monday Nov 2, 2020 08:59 - 09:56
Rationality and derived categories of some Fano threefolds over non-closed fields
Rina Anno, Kansas State University
Monday Nov 2, 2020 10:02 - 10:59
Generalized braid group actions
Ludmil Katzarkov, University of Miami
Monday Nov 2, 2020 12:39 - 13:33
New Birational Invariants
Ana-Maria Castravet, University of Versailles
Tuesday Nov 3, 2020 08:59 - 10:01
Exceptional collections on moduli spaces of pointed stable rational curves
Michael Wemyss, University of Glasgow
Tuesday Nov 3, 2020 10:05 - 11:02
Stability conditions via Tits cone intersections
Izzet Coskun, UIC
Tuesday Nov 3, 2020 12:32 - 13:30
Brill-Noether Theorems for moduli spaces of sheaves on surfaces
Alice Rizzardo, University of Liverpool
Wednesday Nov 4, 2020 09:01 - 09:53
Using geometric realizations to construct Non-Fourier-Mukai functors
Federico Barbacovi, UCL
Wednesday Nov 4, 2020 10:00 - 11:10
A geometric presentation of the flop-flop autoequivalence as a(n inverse) spherical twist
Emanuele Macri, University Paris-Saclay
Wednesday Nov 4, 2020 12:32 - 13:33
Antisymplectic involutions on projective hyperkähler manifolds
Matt Booth, University of Antwerp
Thursday Nov 5, 2020 09:03 - 09:59
Topological Hochschild cohomology for schemes
Nicolas Addington, University of Oregon
Thursday Nov 5, 2020 10:01 - 11:11
A categorical sl_2 action on some moduli spaces of sheaves
Jack Huizenga, Pennsylvania State University
Thursday Nov 5, 2020 12:32 - 13:27
The cohomology of general tensor products of vector bundles on the projective plane
Barbara Bolognese, University of Sheffield
Friday Nov 6, 2020 09:01 - 09:53
A partial compactification of the stability manifold
Inbar Klang, Columbia University
Friday Nov 6, 2020 10:00 - 11:01
Hochschild homology for C_n -equivariant things
Sofia Tirabassi, Stockholm University
Friday Nov 6, 2020 12:31 - 13:41
The Brauer group of bielliptic surfaces
Oct 19 - Oct 30
Jessica Striker, North Dakota State University
Monday Oct 19, 2020 09:00 - 09:45
Promotion and rowmotion - an ocean of notions
Corey Vorland, Marian University
Monday Oct 19, 2020 10:00 - 10:27
An Introduction to Homomesy through Promotion and Rowmotion on Order Ideals
Alexander Garver, University of Michigan
Monday Oct 19, 2020 10:30 - 10:58
Promotion via representations of quivers
Oliver Pechenik, University of Michigan
Wednesday Oct 21, 2020 09:00 - 09:43
Dynamics of plane partitions
Rebecca Patrias, University of Michigan
Wednesday Oct 21, 2020 10:00 - 10:26
Promotion, Webs, and Kwebs
Emily Gunawan, University of Oklahoma
Wednesday Oct 21, 2020 10:30 - 10:59
Infinite friezes and bracelets
Tom Roby, University of Connecticut
Friday Oct 23, 2020 09:00 - 09:46
Let's birational: Lifting periodicity and homomesy to higher realms
Nathan Williams, University of Texas at Dallas
Monday Oct 26, 2020 09:00 - 09:46
Independence Posets
Emily Barnard, DePaul University
Monday Oct 26, 2020 10:00 - 10:31
The Kreweras Complement
Emine Yıldırım, Queen's University
Monday Oct 26, 2020 10:32 - 11:03
The orbits of the Coxeter Transformation and Rowmotion for cominuscule posets
Darij Grinberg, Drexel University
Wednesday Oct 28, 2020 09:03 - 09:35
Littlewood-Richardson coefficients and birational combinatorics
Michael Joseph, Dalton State College
Wednesday Oct 28, 2020 09:36 - 10:07
A birational lifting of the Lalanne–Kreweras involution on Dyck paths
Sam Hopkins, Howard University
Wednesday Oct 28, 2020 10:18 - 11:11
Symmetry of Narayana numbers and rowvacuation of root posets
Soichi Okada, Nagoya University
Friday Oct 30, 2020 08:15 - 08:46
Proof of birational file homomesy for minuscule posets (Repeat showing)
Oct 16 - Oct 16
Malabika Pramanik, UBC
Friday Oct 16, 2020 11:02 - 11:09
Introduction from BIRS Scientific Director, CIH Committee
Helen Moore, Applied BioMath
Friday Oct 16, 2020 11:28 - 11:44
Systems Modelling in Biopharma
Richard Allen, Pfizer
Friday Oct 16, 2020 11:45 - 12:04
Insights into Modeling and Simulation Careers in Biopharma
Dean Bottino, Takeda
Friday Oct 16, 2020 12:04 - 12:20
Stuff I wish I’d paid better attention to in grad school: Math modeling in oncology drug R&D
Jake Taylor-King, Juvenescence
Friday Oct 16, 2020 12:20 - 12:45
Exploiting AI in Early Clinical Development
Sep 30 - Oct 02
Ryan Alweiss, Princeton University
Wednesday Sep 30, 2020 08:04 - 08:27
Discrepancy Minimization via a Self-Balancing Walk
Samantha Fairchild, University of Washington
Wednesday Sep 30, 2020 08:27 - 08:52
Families of well-approximable measures
Sebastian Neumayer, TU Berlin
Wednesday Sep 30, 2020 08:53 - 09:18
Curve Based Approximation of Images on Manifolds
Tetiana Stepaniuk, Universität zu Lübeck
Wednesday Sep 30, 2020 09:19 - 09:44
Hyperuniformity of point set sequences
Hendrik Pasing, Ruhr West University of Applied Sciences
Wednesday Sep 30, 2020 09:44 - 10:01
Improved Discrepancy Bounds and Estimates
Ujue Etayo, TU Graz
Friday Oct 2, 2020 08:01 - 08:23
A deterministic set of spherical points with small discrepancy
Mathias Sonnleitner, JKU Linz
Friday Oct 2, 2020 08:23 - 08:45
(Non-)optimal point sets for numerical integration
Victor Reis, IAS
Friday Oct 2, 2020 08:45 - 09:14
Vector Balancing in Lebesgue Spaces
Lily Li, University of Toronto
Friday Oct 2, 2020 09:15 - 09:36
On the Computational Complexity of Linear Discrepancy
Sep 17 - Sep 20
Michael Farber, Queen Mary University of London
Thursday Sep 17, 2020 08:01 - 08:55
Topology of parametrised motion planning algorithms
Ayse Borat, Bursa Technical University
Thursday Sep 17, 2020 09:01 - 09:46
A simplicial analog of homotopic distance
Daniel Koditschek, University of Pennsylvania
Thursday Sep 17, 2020 10:21 - 10:32
Vector Field Methods of Motion Planning
Vasileios Vasilopoulos, University of Pennsylvania
Thursday Sep 17, 2020 10:32 - 10:48
Doubly Reactive Methods of Task Planning for Robotics
Paul Gustafson, Wright State University
Thursday Sep 17, 2020 10:49 - 10:55
A Category Theoretic Treatment of Robot Hybrid Dynamics with Applications to Reactive Motion Planning and Beyond
Matthew Kvalheim, University of Michigan
Thursday Sep 17, 2020 11:01 - 11:18
Toward a Task Planning Theory for Robot Hybrid Dynamics
Jie Wu, Yanqi Lake Beijing Institute of Mathematics and Applications
Friday Sep 18, 2020 09:00 - 09:48
Topological complexity of the work map
Petar Pavesic, University of Ljubljana
Friday Sep 18, 2020 10:00 - 10:31
Two questions on TC
Hellen Colman, Wright College
Friday Sep 18, 2020 10:15 - 10:59
Morita Invariance of Invariant Topological Complexity
Stephan Mescher, Martin Luther University Halle-Wittenberg
Saturday Sep 19, 2020 09:00 - 09:52
Spherical complexities and closed geodesics
Yuliy Baryshnikov, University of Illinois at Urbana-Champaign
Saturday Sep 19, 2020 10:00 - 10:52
Euler characteristics of exotic configuration spaces
Alexander Dranishnikov, University of Florida
Saturday Sep 19, 2020 10:15 - 11:02
On topological complexity of hyperbolic groups
David Recio-Mitter, Lehigh University
Sunday Sep 20, 2020 08:01 - 08:56
Geodesic complexity and motion planning on graphs
John Oprea, Cleveland State University
Sunday Sep 20, 2020 09:02 - 09:54
Logarithmicity, the TC-generating function and right-angled Artin groups
Don Davis, Lehigh University
Sunday Sep 20, 2020 10:15 - 11:05
Geodesic complexity of non-geodesic spaces
Sep 15 - Sep 17
Ron Peled, Tel Aviv University
Tuesday Sep 15, 2020 09:34 - 10:24
Euclidean random permutations
Evita Nestoridi, Princeton University
Tuesday Sep 15, 2020 10:29 - 11:19
Mixing results for the interchange and exclusion processes with open boundaries.
Duncan Dauvergne, UofT
Thursday Sep 17, 2020 10:16 - 10:45
The scaling limit of the longest increasing subsequence
Mickaël Maazoun, Oxford University
Thursday Sep 17, 2020 10:50 - 11:30
Scaling limits of Baxter permutations and bipolar orientations
Dan Romik, University of California Davis
Thursday Sep 17, 2020 11:48 - 12:32
Distributional identities and absorbing time asymptotics in the oriented swap process
Sep 08 - Sep 09
Eli Matzri, Bar Ilan University
Tuesday Sep 8, 2020 09:10 - 09:36
Polynomials over central division algebras (joint with Shira Gilat)
Raman Parimala, Emory University
Tuesday Sep 8, 2020 09:49 - 10:43
The unramified Brauer group
Nivedita Bhaskhar, Sisu
Tuesday Sep 8, 2020 10:54 - 11:23
SK1 triviality for l-torsion algebras over p-adic curves - a proof sketch
Srimathy Srinivasan, Tata Institute of Fundamental Research
Tuesday Sep 8, 2020 11:35 - 12:05
A finiteness theorem for special unitary groups of quaternionic skew-hermitian forms with good reduction
Jinbo Ren, Institute for Advanced Study
Tuesday Sep 8, 2020 12:14 - 12:41
Mathematical logic and its applications in arithmetics of algebraic groups and beyond
Matthew Stover, Temple University
Wednesday Sep 9, 2020 09:58 - 10:27
Superrigidity in rank one
Vladimir Chernousov, University of Alberta
Wednesday Sep 9, 2020 10:39 - 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.
Zev Rosengarten, Hebrew University of Jerusalem
Wednesday Sep 9, 2020 11:44 - 12:12
Rigidity for Unirational Groups
Charlotte Ure, University of Virginia
Wednesday Sep 9, 2020 12:24 - 12:51
The Generic Clifford Algebra and its Brauer Class
David El-Chai Ben-Ezra, Soreq NRC
Wednesday Sep 9, 2020 13:04 - 13:33
The Congruence Subgroup Problem for Automorphism Groups
Aug 30 - Sep 04
Filip Najman, University of Zagreb
Monday Aug 31, 2020 10:00 - 10:33
Q-curves over odd degree number fields
Benjamin Matschke, Boston University
Monday Aug 31, 2020 10:41 - 11:15
A general S-unit equation solver and tables of elliptic curves over number fields
Abbey Bourdon, Wake Forest University
Monday Aug 31, 2020 11:20 - 11:49
On Isolated Points of Odd Degree
Rachel Pries, Colorado State University
Tuesday Sep 1, 2020 10:01 - 10:27
Principal polarizations and Shimura data for families of cyclic covers of the projective line
Lajos Hajdu, University of Debrecen
Tuesday Sep 1, 2020 10:42 - 11:08
Powers in arithmetic progressions
Daniel Loughran, University of Bath
Wednesday Sep 2, 2020 10:01 - 10:29
Hasse principle for a family of K3 surfaces
Adam Logan, Government of Canada
Wednesday Sep 2, 2020 10:40 - 11:07
Explicit coverings of K3 surfaces by the square of a curve
Victoria Cantoral Farfán, Georg-August-Universität Göttingen
Wednesday Sep 2, 2020 11:22 - 11:45
Fields of definition of elliptic fibrations on covers of certain extremal rational elliptic surfaces
Tim Browning, Institute of Science and Technology Austria
Thursday Sep 3, 2020 10:00 - 10:26
The geometric sieve for quadrics and applications
Marta Pieropan, Utrecht University
Thursday Sep 3, 2020 10:40 - 11:09
Campana points, a new number theoretic challenge
Josha Box, University of Warwick
Friday Sep 4, 2020 10:02 - 10:27
Modularity of elliptic curves over totally real quartic fields not containing the square root of 5
Hwajong Yoo, Seoul National University
Friday Sep 4, 2020 10:40 - 11:14
Rational torsion points on J_0(N)
Hector Pasten, Pontificia Universidad Catolica de Chile
Friday Sep 4, 2020 11:20 - 11:50
A Chabauty-Coleman bound for surfaces in abelian threefolds
Aug 21 - Aug 22
Haoran Wu, University of Waterloo
Friday Aug 21, 2020 09:33 - 09:54
Double-Sided Queues with Marked Markovian Arrival Processes and Abandonment
Qi-Ming He, University of Waterloo
Friday Aug 21, 2020 10:00 - 10:28
Bounds on the Mean and Squared Coefficient of Variation of Phase-Type Distributions
Barbara Margolius, Cleveland State University
Friday Aug 21, 2020 10:31 - 10:57
Catastrophes and Queueing Systems with Time-Varying Periodic Transition Rates
Ehssan Ghashim, Carleton University
Friday Aug 21, 2020 11:30 - 11:56
On Bayesian Estimation for Join the Shortest Queue Model
Suman Thapa, Carleton University
Friday Aug 21, 2020 11:58 - 12:29
Construction of New Copulas with Applications to Queueing Models
Myron Hlynka, University of Windsor
Friday Aug 21, 2020 14:01 - 14:30
Completing a Task with Interruptions
Douglas Down, McMaster University
Friday Aug 21, 2020 15:02 - 15:32
Size-based Scheduling with Estimation Errors
Peter Taylor, University of Melbourne
Friday Aug 21, 2020 16:02 - 16:55
Admission Policies for Complex Resource Allocation Problems
Winfried Grassmann, University of Saskatchewan
Saturday Aug 22, 2020 08:32 - 09:25
Queueing Theory in a World where most Queueing Problems are Solved by Simulation
Javad Tavakoli, University of British Columbia, Okanagan
Saturday Aug 22, 2020 09:30 - 09:58
The Distribution of the Line Length in a GI/G/1 Queue Using Distribution Little Laws and Roots Methods
Ruichao Jiang, UBC Okanagan
Saturday Aug 22, 2020 10:00 - 10:26
An upper bound for the Galois group of weight walks with rational coefficients in the quarter plane
Vera Tilson, University of Rochester
Saturday Aug 22, 2020 10:58 - 11:23
Models of the Impact of Triage Nurse Standing Orders on Emergency Department Length of Stay
George Zhang, Simon Fraser University
Saturday Aug 22, 2020 11:29 - 11:58
Performance Analysis of a Markovian Queue with Service Rate and Customers' Joining Decisions
Na Li, Mcmaster University
Saturday Aug 22, 2020 12:03 - 12:25
A decision integration strategy for short-term demand forecasting and ordering for red blood cell components
Katsunobu Sasanuma, Stony Brook University
Saturday Aug 22, 2020 12:30 - 12:59
Queueing and Markov chain decomposition method to analyze Markov-modulated Markov chains
Ahmed Sid Ali, Carleton University
Saturday Aug 22, 2020 13:00 - 13:26
Fluid model for multiple TCP and UDP connections through a network of queues in a random environment
Aug 02 - Aug 07
Quentin Griette, University of Bordeaux
Monday Aug 3, 2020 07:40 - 08:09
Sharp discontinuous traveling waves in a hyperbolic Keller–Segel equation
Xing Liang, University of science and technology of China
Monday Aug 3, 2020 08:15 - 08:41
Spreading speeds of nonlocal diffusion KPP equations
Thomas Giletti, University of Clermont-Auvergne
Tuesday Aug 4, 2020 07:00 - 07:27
Propagating terraces in multidimensional and spatially periodic domains
Nao Hamamuki, Hokkaido University
Tuesday Aug 4, 2020 07:29 - 07:54
Asymptotic behavior of solutions to level-set mean curvature flow equations with discontinuous source terms
Samuel Nordmann, University of Tel-Aviv
Tuesday Aug 4, 2020 08:00 - 08:26
The symmetry of stable solutions of semilinear elliptic equations
Cole Graham, University of Wisconsin–Madison
Tuesday Aug 4, 2020 08:29 - 08:56
Reaction-diffusion equations in the half-space
Ryunosuke Mori, JSPS/Meiji University
Wednesday Aug 5, 2020 07:00 - 07:24
Mathematical analysis of a reaction-diffusion model for Neolithic transition in Europe
Chang-Hong Wu, National Yang Ming Chiao Tung University
Wednesday Aug 5, 2020 07:40 - 08:08
Wave propagation in two-species strong competition models
Wenxian Shen, Auburn University
Wednesday Aug 5, 2020 08:31 - 09:02
Can chemotaxis speed up or slow down the spatial spreading in parabolic-elliptic Keller-Segel systems with logistic source?
Masahiko Shimojo, Tokyo Metropolitan University
Thursday Aug 6, 2020 07:00 - 07:28
Convergence to traveling wave for the logarithmic diffusion equation with reaction term
Maolin Zhou, Nankai University
Thursday Aug 6, 2020 07:30 - 07:57
The principal eigenvalue problem for some second order elliptic and parabolic operators with large advection
Harunori Monobe, Osaka Metropolitan University
Thursday Aug 6, 2020 08:00 - 08:27
Fast reaction limit of three-components reaction-diffusion systems and free boundary problems describing population dynamics
Léo Girardin, CNRS
Thursday Aug 6, 2020 08:30 - 08:57
Strong competition limit, traveling waves and best dispersal strategy for Lotka-Volterra competitive systems
Jul 26 - Jul 31
Udo Seifert, University of Stuttgart
Monday Jul 27, 2020 08:16 - 09:22
From Stochastic Thermodynamics to Thermodynamic Inference
Sarah Harvey, Stanford University
Monday Jul 27, 2020 10:04 - 10:45
An Energy-Accuracy Tradeoff in Nonequilibrium Cellular Sensing
Massimiliano Esposito, University of Luxembourg
Tuesday Jul 28, 2020 08:01 - 09:07
Thermodynamics of Biochemical Reaction Networks: Information, Accuracy and Speed
Thomas Ouldridge, Imperial College London
Wednesday Jul 29, 2020 08:03 - 09:15
Non-Equilibrium Thermodynamics of Catalytic Information Processing
Ilka Bischofs, Max Planck Institute for Terrestrial Microbiology
Wednesday Jul 29, 2020 09:30 - 10:36
Information Processing by Bacterial Quorum Sensing Systems
20w5197: Mathematical Frameworks for Integrative Analysis of Emerging Biological Data Types (Online)
Jun 14 - Jun 19
Guocheng Yuan, Dana-Farber Cancer Institute
Monday Jun 15, 2020 05:30 - 06:24
Keynote Talk (Cortex seq-FISH study)
Alexis Coullomb, INSERM
Monday Jun 15, 2020 07:00 - 07:21
CORTEX seq-FISH: clustering
Hang Xu, Stanford Cancer Institute
Monday Jun 15, 2020 07:21 - 07:38
CORTEX seq-FISH: selection of spatial coherent genes
Dario Righelli, Department of Statistics, University of Padua
Monday Jun 15, 2020 07:39 - 07:55
CORTEX seq-FISH: software structure and data integration
Amrit Singh, University of British Columbia
Monday Jun 15, 2020 08:21 - 08:40
CORTEX seq-FISH: integration with scRNA-seq data
Joshua Sodicoff, University of Michigan Medical School
Monday Jun 15, 2020 08:41 - 09:00
CORTEX seq-FISH: integration with scRNA-seq data
Yingxin Lin, Yale University
Tuesday Jun 16, 2020 07:00 - 07:20
sc targeted proteomics: Predicting outcome, survival from 3 proteomics datasets (Keren, Jackson, Wagner)
Chen Meng, BayBioMS TU Munich
Tuesday Jun 16, 2020 07:20 - 07:36
sc targeted proteomics: comparing multi-block PCA, linear regression
Pratheepa Jeganathan, Standford University
Tuesday Jun 16, 2020 07:36 - 07:51
sc targeted proteomics:Stan model for latent Dirichlet allocation
Kris Sankaran, Quebec AI Institute
Tuesday Jun 16, 2020 07:51 - 08:05
sc targeted proteomics: spatial analysis
Duncan Forster, University of Toronto
Tuesday Jun 16, 2020 08:40 - 09:00
Networks - learning salient gene and protein features from network topologies.
Oliver Stegle, German Cancer Research Centre & EMBL
Wednesday Jun 17, 2020 05:32 - 06:32
Keynote Talk (scNMT-seq study)
Al Abadi, The University of Melbourne
Wednesday Jun 17, 2020 07:00 - 07:21
scNMT-seq: multivariate integrative analyses
Joshua Welch, University of Michigan
Wednesday Jun 17, 2020 07:21 - 07:40
scNMT-seq: LIGER
Arshi Arora, Memorial Sloan Kettering Cancer Center
Wednesday Jun 17, 2020 07:41 - 07:59
scNMT-seq:MOSAIC, or Multi-Omic Supervised Integrative Clustering
Wouter Meuleman, Altius Institute for Biomedical Sciences
Wednesday Jun 17, 2020 08:10 - 08:31
DNase-seq data as a scaffold for complementary (single cell) datasets
Susan Holmes, Stanford University
Thursday Jun 18, 2020 06:01 - 07:02
Keynote Talk: Computational Challenges
Michael Love, UNC-Chapel Hill
Thursday Jun 18, 2020 07:30 - 08:02
Benchmarking
Casey Greene, University of Pennsylvania
Thursday Jun 18, 2020 08:03 - 08:13
Writing with Manubot
Vincent Carey, Channing Division of Network Medicine, Brigham and Women's Hospital, Harvard Medical School
Friday Jun 19, 2020 06:02 - 07:00
Software Infastructure
Jun 07 - Jun 12
Matthew Hedden, Michigan State University
Monday Jun 8, 2020 09:02 - 10:00
Relative adjunction inequalities and their applications
Robert Lipshitz, University of Oregon
Monday Jun 8, 2020 10:01 - 10:55
Khovanov homology detects split links
Vera Vertesi, University of Vienna
Tuesday Jun 9, 2020 09:01 - 09:56
Bordered contact invariants
Peter Lambert-Cole, University of Georgia
Tuesday Jun 9, 2020 10:00 - 10:53
Symplectic trisections and the adjunction inequality
Joshua Greene, Boston College
Thursday Jun 11, 2020 09:00 - 10:00
The rectangular peg problem
Aliakbar Daemi, Washington University
Thursday Jun 11, 2020 10:05 - 11:04
Lagrangians, SO(3)-instantons and the Atiyah-Floer Conjecture
Jonathan Hanselman, Princeton University
Friday Jun 12, 2020 08:02 - 08:57
Knot Floer homology as immersed curves
Juanita Pinzon-Caicedo, University of Notre Dame
Friday Jun 12, 2020 09:03 - 09:58
Instanton and Heegaard Floer homologies of surgeries on torus knots
Artem Kotelskiy, Indiana University
Friday Jun 12, 2020 10:03 - 11:05
The earring correspondence on the pillowcase
May 31 - Jun 05
David Marker, University of Illinois at Chicago
Monday Jun 1, 2020 09:00 - 10:00
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 1
Elisenda Feliu, University of Copenhagen
Monday Jun 1, 2020 10:00 - 10:58
Tutorial: Challenges in the study of algebraic models of biochemical reaction networks
Patrick Speissegger, McMaster University
Tuesday Jun 2, 2020 09:00 - 09:35
Limit cycles of planar vector fields, Hilbert’s 16th problem and o-minimality
Polly Yu, University of Wisconsin-Madison
Tuesday Jun 2, 2020 09:40 - 10:17
Mass-action systems: From linear to non-linear inequalities
Nidhi Kaihnsa, University of Copenhagen
Tuesday Jun 2, 2020 10:20 - 10:56
Convex Hulls of Trajectories
Gleb Pogudin, École Polytechnique
Wednesday Jun 3, 2020 09:01 - 09:59
Structural parameter identifiability with a view towards model theory
David Marker, University of Illinois at Chicago
Wednesday Jun 3, 2020 10:01 - 10:56
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 2
Alejandro F. Villaverde, Consejo Superior de Investigaciones Científicas (CSIC)
Thursday Jun 4, 2020 09:01 - 09:37
Finding and breaking Lie symmetries: implications for structural identifiability and observability of dynamic models
Remi Jaoui, University of Notre Dame
Thursday Jun 4, 2020 09:40 - 10:16
A model-theoretic analysis of geodesic equations in negative curvature
Yue Ren, Swansea University
Thursday Jun 4, 2020 10:20 - 11:00
Introduction to tropical algebraic geometry
Joel Nagloo, University of Illinois at Chicago
Friday Jun 5, 2020 09:02 - 09:36
Irreducibility and generic ODEs
Miruna-Stefana Sorea, Lucian Blaga University of Sibiu, Romania
Friday Jun 5, 2020 09:40 - 10:19
Disguised toric dynamical systems
Reinhard Laubenbacher, University of Florida
Friday Jun 5, 2020 10:36 - 10:56
Ask not what algebra can do for biology - ask what biology can do for algebra
May 18 - Aug 13
Jean Christophe Mourrat, New York University
Monday May 18, 2020 10:00 - 11:08
Rank-one matrix estimation and Hamilton-Jacobi equations - 1
Jean Christophe Mourrat, New York University
Tuesday May 19, 2020 10:00 - 11:12
Rank-one matrix estimation and Hamilton-Jacobi equations - 2
Jean Christophe Mourrat, New York University
Thursday May 21, 2020 10:01 - 11:09
Rank-one Matrix Estimation and Hamilton-Jacobi Equations - 3
Gady Kozma, Weizmann Institute
Monday May 25, 2020 10:00 - 10:56
Critical and Near-Critical Percolation - 1
Gady Kozma, Weizmann Institute
Wednesday May 27, 2020 10:03 - 11:05
Critical and Near-Critical Percolation - 2
Gady Kozma, Weizmann Institute
Thursday May 28, 2020 10:01 - 10:57
Critical and Near-Critical Percolation - 3
Piotr Dyszewski, Instytut Matematyczny Uniwersytetu Wrocławskiego
Friday Jun 5, 2020 10:00 - 10:37
Branching random walks and stretched exponential tails
Samuel Johnston, University of Graz
Friday Jun 5, 2020 10:40 - 11:02
The extremal particles of branching Brownian motion
Ivan Corwin, Columbia University
Sunday Jun 7, 2020 10:00 - 11:30
Gibbsian Line ensembles in Integrable Probability - 1
Ivan Corwin, Columbia University
Tuesday Jun 9, 2020 10:00 - 11:30
Gibbsian Line ensembles in Integrable Probability - 2
Ivan Corwin, Columbia University
Wednesday Jun 10, 2020 10:00 - 11:30
Gibbsian Line ensembles in Integrable Probability - 3
Duncan Dauvergne, UofT
Thursday Jun 11, 2020 10:00 - 10:40
The Airy Sheet
Jacob Calvert, UC Berkeley
Thursday Jun 11, 2020 10:50 - 11:10
The quantitatively Brownian nature of the Airy line ensemble - 1
Milind Hegde, UC Berkeley
Thursday Jun 11, 2020 11:10 - 11:30
The quantitatively Brownian nature of the Airy line ensemble - 2
Erik Bates, UC Berkeley
Thursday Jun 11, 2020 11:30 - 11:50
Endpoints of disjoint Geodesics in the directed Landscape
Shirshendu Ganguly, UC Berkeley
Thursday Jun 11, 2020 12:00 - 12:40
Geodesic Watermelons in Last Passage Percolation
David Croydon, Kyoto University
Friday Jun 12, 2020 10:00 - 10:40
Invariant measures for KdV and Toda-type discrete integrable systems
Xuan Wu, Columbia University
Friday Jun 12, 2020 10:50 - 11:10
Tightness of the KPZ line ensemble
Sourav Sarkar, University of Toronto
Friday Jun 12, 2020 11:10 - 11:30
Brownian absolute continuity of KPZ fixed point with arbitrary initial condition
Lingfu Zhang, Princeton University
Friday Jun 12, 2020 11:30 - 11:50
Empirical distribution along geodesics in exponential last passage percolation
Sylvie Corteel, Berkeley
Friday Jun 12, 2020 12:00 - 12:40
Multispecies ASEP and MacDonald polynomials
Perla Sousi, University of Cambridge
Monday Jun 15, 2020 10:00 - 11:10
Mixing and hitting times for Markov chains - 1
Perla Sousi, University of Cambridge
Tuesday Jun 16, 2020 10:00 - 11:10
Mixing and hitting times for Markov chains - 2
Perla Sousi, University of Cambridge
Thursday Jun 18, 2020 10:00 - 11:10
Mixing and hitting times for Markov chains - 3
Frank den Hollander, University of Leiden
Monday Jun 22, 2020 10:00 - 11:09
with Elena Pulvirenti: Metastability for interacting Particle Systems - 1
Frank den Hollander, University of Leiden
Tuesday Jun 23, 2020 10:01 - 11:11
with Elena Pulvirenti: Metastability for interacting Particle Systems - 2
Frank den Hollander, University of Leiden
Thursday Jun 25, 2020 10:02 - 11:09
with Elena Pulvirenti: Metastability for interacting Particle Systems - 3
Frank den Hollander, University of Leiden
Friday Jun 26, 2020 10:10 - 11:10
with Elena Pulvirenti: Metastability for interacting Particle Systems - 4
Aukosh Jagannath, University of Waterloo
Monday Jun 29, 2020 10:00 - 10:52
A Brief Introduction to Mean Field Spin Glass Models - 1
Aukosh Jagannath, University of Waterloo
Monday Jun 29, 2020 11:30 - 12:30
A Brief Introduction to Mean Field Spin Glass Models - 2
Aukosh Jagannath, University of Waterloo
Tuesday Jun 30, 2020 10:02 - 10:55
A Brief Introduction to Mean Field Spin Glass Models - 3
Aukosh Jagannath, University of Waterloo
Tuesday Jun 30, 2020 11:31 - 12:28
A Brief Introduction to Mean Field Spin Glass Models - 4
Amin Coja-Oghlan, University of Frankfurt
Wednesday Jul 1, 2020 10:00 - 11:11
Disordered systems and random graphs - 1
Eliran Subag, Courant Institute
Thursday Jul 2, 2020 10:00 - 10:57
TAP approach and optimization of full-RSB spherical spin glasses
Amin Coja-Oghlan, University of Frankfurt
Thursday Jul 2, 2020 11:32 - 12:39
Disordered systems and random graphs - 2
Amin Coja-Oghlan, University of Frankfurt
Friday Jul 3, 2020 10:01 - 11:09
Disordered systems and random graphs - 3
Andrea Montanari, Stanford University
Monday Jul 6, 2020 10:01 - 11:04
Mean field methods in high-dimensional statistics and nonconvex optimization - 1
Andrea Montanari, Stanford University
Tuesday Jul 7, 2020 10:01 - 11:11
Mean field methods in high-dimensional statistics and nonconvex optimization - 2
Andrea Montanari, Stanford University
Wednesday Jul 8, 2020 10:01 - 11:04
Mean field methods in high-dimensional statistics and nonconvex optimization - 3
Andrea Montanari, Stanford University
Thursday Jul 9, 2020 10:02 - 11:02
Mean field methods in high-dimensional statistics and nonconvex optimization - 4
Léo Miolane, New York University
Thursday Jul 9, 2020 11:32 - 12:21
Information-theoretic limits of Bayesian inference in Gaussian noise
Andrea Montanari, Stanford University
Friday Jul 10, 2020 10:00 - 11:00
Mean field methods in high-dimensional statistics and nonconvex optimization - 5
Elchanan Mossel, MIT
Monday Jul 13, 2020 09:57 - 10:58
Simplicity and Complexity in Belief Propagation - 1
Elchanan Mossel, MIT
Tuesday Jul 14, 2020 10:00 - 11:10
Simplicity and Complexity in Belief Propagation - 2
Elchanan Mossel, MIT
Wednesday Jul 15, 2020 10:00 - 11:00
Simplicity and Complexity in Belief Propagation - 3
Shirshendu Ganguly, UC Berkeley
Wednesday Jul 15, 2020 11:32 - 12:34
Large deviations for random networks and applications - 1
Shirshendu Ganguly, UC Berkeley
Thursday Jul 16, 2020 10:01 - 11:05
Large deviations for random networks and applications - 2
Shirshendu Ganguly, UC Berkeley
Friday Jul 17, 2020 10:22 - 11:05
Large deviations for random networks and applications - 3
Nina Holden, Zurich
Monday Aug 3, 2020 10:01 - 10:59
Schramm-Loewner evolution and imaginary geometry 1
Nina Holden, Zurich
Tuesday Aug 4, 2020 10:01 - 11:00
Schramm-Loewner evolution and imaginary geometry 2
Nina Holden, Zurich
Thursday Aug 6, 2020 09:00 - 09:57
Schramm-Loewner evolution and imaginary geometry 3
Thomas Hutchcroft, Caltech
Monday Aug 10, 2020 10:00 - 10:58
Uniform spanning trees in high dimension 1
Thomas Hutchcroft, Caltech
Tuesday Aug 11, 2020 10:01 - 11:05
Uniform spanning trees in high dimension 2
Thomas Hutchcroft, Caltech
Thursday Aug 13, 2020 10:01 - 11:11
Uniform spanning trees in high dimension 3
May 03 - May 08
Jacob Bedrossian, University of Maryland
Monday May 4, 2020 08:02 - 08:54
The Power Spectrum of Passive Scalar Turbulence in the Batchelor Regime
Alexandru Ionescu, Princeton University
Monday May 4, 2020 09:30 - 10:36
Nonlinear Stability of Vortices and Shear Flows
Andrea Nahmod, University of Massachusetts Amherst
Tuesday May 5, 2020 08:00 - 09:10
Invariant Gibbs measures and global Strong Solutions for periodic 2D nonlinear Schrödinger Equations.
Sergey Nazarenko, Universite Cote d'Azur
Tuesday May 5, 2020 09:30 - 10:39
Non-stationary Wave Turbulence
Yulin Pan, University of Michigan
Wednesday May 6, 2020 08:04 - 09:02
Wave Turbulence in Finite Domain – Role of Discrete Resonant Manifold
Thierry Dauxois, CNRS & ENS Lyon
Wednesday May 6, 2020 09:31 - 10:28
Energy Cascade in Internal Wave Attractors
May 01 - May 03
Renate Scheidler, University of Calgary
Saturday May 2, 2020 08:58 - 09:49
Difference Necklaces
Randy Yee, University of Calgary
Saturday May 2, 2020 09:51 - 10:12
Unconditional computation of fundamental units in number fields
Peng-Jie Wong, National Sun Yat-Sen University
Saturday May 2, 2020 10:40 - 11:09
Refinements of Strong Multiplicity One for $\rm{GL}(2)$
Aniket Joshi, University of Alberta
Saturday May 2, 2020 11:11 - 11:26
Hecke operators on vector-valued modular forms
Allysa Lumley, Universite de Montreal
Saturday May 2, 2020 11:30 - 12:03
Distribution of values of $L$-functions in the critical strip - Function Field version
Michael Bennett, University of British Columbia
Saturday May 2, 2020 13:32 - 14:16
Differences Between Perfect Powers (Plenary)
Sourabhashis Das, University of Waterloo
Saturday May 2, 2020 14:20 - 14:42
An explicit version of Chebotarev’s density theorem
Qing Zhang, Huazhong University of Science and Technology
Saturday May 2, 2020 15:56 - 16:21
Arthur packets for sub-regular unipotent representations of $G_2$
Eric Roettger, Mount Royal University
Sunday May 3, 2020 09:03 - 09:37
Some Primality Tests Constructed from a Cubic Extension of the Lucas Functions
Quanli Shen, University of Lethbridge
Sunday May 3, 2020 10:32 - 10:49
The fourth moment of quadratic Dirichlet $L$-functions
Michael Jacobson, Jr., University of Calgary
Sunday May 3, 2020 10:50 - 11:29
Statistical Analysis of Aliquot Sequences
Mar 15 - Mar 20
Luke Postle, University of Waterloo
Monday Mar 16, 2020 09:07 - 10:38
Improving Bounds for Hadwiger's conjecture
Jacob Fox, Stanford University
Monday Mar 16, 2020 10:43 - 11:26
Clique minors in graphs with a forbidden subgraph
Vaidy Sivaraman, Mississippi State University
Monday Mar 16, 2020 11:25 - 11:53
25 interesting problems on chi
Bojan Mohar, Simon Fraser University
Monday Mar 16, 2020 12:00 - 12:37
Problem session
Maria Chudnovsky, Princeton
Tuesday Mar 17, 2020 09:05 - 10:35
Forbidden induced subgraphs and potential maximal cliques
Carla Groenland, TU Delft
Tuesday Mar 17, 2020 11:15 - 11:37
Three-colouring P_t-free graphs in subexponential time
Bhargav Narayanan, Rutgers University
Tuesday Mar 17, 2020 11:50 - 12:25
Exactly m-coloured graphs
Vida Dujmović, University of Ottawa
Wednesday Mar 18, 2020 09:10 - 09:48
Clustered 3-colouring via structure + ∆
David Wood, Monash University
Wednesday Mar 18, 2020 09:50 - 10:44
Universal product structures
Chun-Hung Liu, Texas A&M University
Wednesday Mar 18, 2020 11:00 - 11:31
Clustered colouring and immersion
Sang-il Oum, Institute for Basic Science
Thursday Mar 19, 2020 09:05 - 09:39
3-degenerate induced subgraphs of a planar graph
Bartosz Walczak, Jagiellonian University
Thursday Mar 19, 2020 09:43 - 10:17
Coloring rectangle graphs with O(ω log ω) colors
David Conlon, California Institute of Technology
Thursday Mar 19, 2020 10:15 - 10:46
Repeated patterns in properly edge-coloured graphs
William Trotter, Georgia Tech
Thursday Mar 19, 2020 10:46 - 11:13
Analogies between chromatic number and dimension
Mar 13 - Mar 15
Marek Laskowski, York University
Saturday Mar 14, 2020 10:30 - 11:10
Blockchain and Data Science: Two Perspectives
Marek Laskowski, York University
Saturday Mar 14, 2020 10:30 - 11:10
Blockchain and Data Science: Two Perspectives
Kaiwen Zhang, École de technologie supérieure
Saturday Mar 14, 2020 13:34 - 14:14
Overview of research directions of FUSÉE Lab @ ÉTS Montréal
Alfred Lehar, University of Calgary
Saturday Mar 14, 2020 14:24 - 15:20
Miner Collusion and the BitCoin Protocol
Mar 01 - Mar 06
Jeremy Hahn, MIT
Monday Mar 2, 2020 09:03 - 10:04
Odd primary analogues of Real orientations
Bert Guillou, University of Kentucky
Monday Mar 2, 2020 10:32 - 11:24
Additive Power Operations in Equivariant Cohomology
Akhil Mathew, University of Chicago
Monday Mar 2, 2020 13:31 - 14:31
TC and syntomic cohomology
Lennart Meier, University of Utrecht
Monday Mar 2, 2020 15:11 - 16:12
Chromatic localizations of algebraic K-theory
Mona Merling, University of Pennsylvania
Monday Mar 2, 2020 16:21 - 17:21
The fiber of the map Sigma_G^\infty M to A_G(M)
Lars Hesselholt, Nagoya University / University of Copenhagen
Tuesday Mar 3, 2020 09:00 - 10:08
Dirac geometry
Martin Speirs, UC Berkeley
Tuesday Mar 3, 2020 13:30 - 14:31
The K-theory of truncated polynomial algebras and coordinate axes
Yuri Sulyma, Brown University
Tuesday Mar 3, 2020 15:00 - 16:08
A slice refinement of Bökstedt periodicity
Hana Jia Kong, University of Chicago
Tuesday Mar 3, 2020 16:14 - 17:15
The C_2 effective spectral sequence and the homotopy of ko_{C_2}
Bjorn Dundas, University of Bergen
Wednesday Mar 4, 2020 08:32 - 09:19
Motivic Hochschild homology
Clover May, UCLA
Wednesday Mar 4, 2020 09:30 - 10:32
The naive-commutative structure on rational equivariant K-theory
Dan Isaksen, Wayne State University
Wednesday Mar 4, 2020 11:02 - 12:01
C_2-equivariant stable homotopy groups
Thomas Nikolaus, Universitat Munster
Thursday Mar 5, 2020 09:00 - 10:10
Characteristic polynomials and TR with coefficients
XiaoLin Danny Shi, University of Chicago
Thursday Mar 5, 2020 10:31 - 11:27
Models of Lubin-Tate spectra via Real bordism theory
Gabriel Angelini-Knoll, Freie Universitaet Berlin
Thursday Mar 5, 2020 13:30 - 14:36
Equivariant Witt vectors, real topological Hochschild homology, and norms
J.D. Quigley, Cornell University
Thursday Mar 5, 2020 16:14 - 17:25
Tate blueshift for real oriented cohomology
Anna Marie Bohmann, Vanderbilt University
Friday Mar 6, 2020 08:45 - 09:49
Segal and Waldhausen K-theory: a multiplicative comparison
Jay Shah, WWU Münster
Friday Mar 6, 2020 10:01 - 11:01
Two theories of real cyclotomic spectra
Feb 23 - Feb 28
Max Little, University of Birmingham
Monday Feb 24, 2020 09:13 - 09:27
Joint and Individual Representation of Domains of Sleep, Physical Activity, and Circadian Rhythmicity: Multilevel Perspective
Amy Herring, Duke University
Monday Feb 24, 2020 09:27 - 09:52
Missing Data in Accelerometry: Challenges and Considerations
Jaroslaw Harezlak, Indiana University
Monday Feb 24, 2020 10:32 - 10:50
Jeff Goldsmith, Columbia University
Monday Feb 24, 2020 10:50 - 11:10
Functional data methods for accelerometer data
Min Qian, Columbia University
Monday Feb 24, 2020 14:36 - 14:58
Policy Learning with high dimensional actions
Susan Murphy, Harvard University
Tuesday Feb 25, 2020 09:03 - 09:28
Hau-Tieng Wu, Duke University
Tuesday Feb 25, 2020 09:35 - 10:00
How to apply modern harmonic analysis to study high frequency physiological time series?
Yonatan Mintz, Georgia Institute of Technology
Tuesday Feb 25, 2020 11:11 - 11:36
Applications of Wearable Devices in Personalized Healthcare
Raymond Carroll, Texas A&M University
Tuesday Feb 25, 2020 14:52 - 15:17
Using Scores to Predict Health Outcomes in Epidemiological Studies
Jennifer Schrack, Johns Hopkins University
Wednesday Feb 26, 2020 10:02 - 10:22
Using Wearables to Think Beyond MVPA
Sarah Keadle, California Polytechnic State University
Wednesday Feb 26, 2020 11:29 - 11:44
Can we "open" the black box and convince health researchers to use machine learning?
Julia Wrobel, Columbia University
Thursday Feb 27, 2020 09:10 - 09:27
Registration of 24-hour accelerometer profiles with application to human chronotypes
Eric Laber, North Carolina State University
Thursday Feb 27, 2020 09:29 - 09:50
Experimental design for reinforcement learning problems
Andrew Wilson, New York University
Thursday Feb 27, 2020 09:51 - 10:16
Practical Bayesian Deep Learning
Richard Fletcher, Massachusetts Institute of Technology
Thursday Feb 27, 2020 10:16 - 10:45
Sensor Hardware and New Opportunities for Data Analysis
Niranjan Bidargaddi, Flinders University
Thursday Feb 27, 2020 11:06 - 11:30
Developing Digital Tools to Monitor and Support Mental Health
John Staudenmayer, University of Massachusetts
Thursday Feb 27, 2020 11:47 - 12:08
Introduction to a new high resolution calibration dataset: free living people, accelerometry, and direct observation
Loki Natarajan, University of California San Diego
Thursday Feb 27, 2020 12:09 - 12:36
Modeling Densely Sampled Activity Data Derived from Wearable Sensors: Opportunities and Challenges
Brinnae Bent, Duke University
Friday Feb 28, 2020 09:09 - 09:28
Open-source digital biomarker development
Feb 16 - Feb 21
Jay Newby, University of Alberta
Monday Feb 17, 2020 09:02 - 09:39
Stochastic models of rare events in cell biology
Elizabeth Read, UC Irvine
Monday Feb 17, 2020 19:32 - 20:23
Stochastic modeling to infer gene regulatory rules from single cell coexpression patterns
Thomas Julou, University of Basel
Tuesday Feb 18, 2020 08:45 - 09:25
Faster Growth Reduces the Sensitivity of Gene Circuits to Environmental Signals
Thomas Wytock, Northwestern University
Tuesday Feb 18, 2020 11:15 - 11:49
Using machine learning to map transcriptomics to phenotype in bacteria and humans
Andrew Mugler, University of Pittsburgh
Tuesday Feb 18, 2020 15:32 - 16:23
Self-communicating cancer cells
David Sivak, Simon Fraser University
Wednesday Feb 19, 2020 09:44 - 10:35
Physically optimizing inference
Robert Johnston, Johns Hopkins University
Thursday Feb 20, 2020 15:32 - 16:23
A two-step mechanism controlling stochastic cell fate specification in the fly eye
Marc Roussel, University of Lethbridge
Thursday Feb 20, 2020 17:02 - 17:48
Graph-theoretical analysis of biochemical networks
Jim Brunner, Mayo Clinic
Thursday Feb 20, 2020 19:34 - 20:14
Developing a mathematical structure to reflect microbial community interactions
Feb 09 - Feb 14
Mark Agranovsky, Bar-Ilan University
Monday Feb 10, 2020 09:00 - 09:36
Non-central Funk-Radon transforms
Jan Boman, Stockholm University
Monday Feb 10, 2020 09:39 - 10:13
Radon transforms supported in hypersurfaces and a conjecture by Arnold
Mark Rudelson, University of Michigan, Ann Arbor
Monday Feb 10, 2020 10:42 - 11:13
On the volume of non-central sections of a cube
Hermann Koenig, Universitaet Kiel
Monday Feb 10, 2020 11:16 - 11:43
On non-central sections of the simplex, the cube and the cross-polytope
Tomasz Tkocz, Carnegie Mellon University
Monday Feb 10, 2020 14:20 - 14:47
Volume of intersections of convex bodies with their symmetric images and efficient coverings
Galyna Livshyts, Georgia Institute of Technology
Monday Feb 10, 2020 15:20 - 15:53
A discussion on the Log-Brunn-Minkowski conjecture and related questions
Eli Putterman, Tel Aviv University
Monday Feb 10, 2020 15:55 - 16:22
The log-Brunn-Minkowski inequality and its local version
Johannes Hosle, UCLA
Monday Feb 10, 2020 16:29 - 16:58
On the Comparison of Measures of Convex Bodies via Projections and Sections
Apostolos Giannopoulos, National and Kapodistrian University of Athens
Tuesday Feb 11, 2020 09:01 - 09:36
Volume estimates for some random convex sets
Carsten Schütt, Christian-Albrechts-Universitaet
Tuesday Feb 11, 2020 09:37 - 10:06
The convex hull of random points on the boundary of a simple polytope
Rafal Latala, University of Warsaw
Tuesday Feb 11, 2020 11:20 - 11:50
Moments of random vectors
Alexander Litvak, University of Alberta
Tuesday Feb 11, 2020 13:30 - 14:02
Singularity of 0/1 random Bernoulli matrices
Arnaud Marsiglietti, University of Florida
Tuesday Feb 11, 2020 14:04 - 14:35
Localization technique for discrete log-concave random variables
Giorgos Chasapis, University of Crete
Tuesday Feb 11, 2020 16:20 - 16:54
A problem on the affine quermassintegrals of convex bodies
Elisabeth Werner, Case Western Reserve University
Wednesday Feb 12, 2020 09:00 - 09:25
Constrained convex bodies with extremal affine surface areas
Liran Rotem, Technion
Wednesday Feb 12, 2020 09:35 - 10:05
Functional surface area measures
Maria de los Angeles Alfonseca-Cubero, North Dakota State University
Wednesday Feb 12, 2020 10:42 - 11:12
On a local solution of the 8th Busemann-Petty problem
Sudan Xing, University of Arkansas at Little Rock.
Wednesday Feb 12, 2020 11:15 - 11:45
Dual curvature measures and the Orlicz-Minkowski problem
Shiri Artstein, Tel-Aviv University
Thursday Feb 13, 2020 09:00 - 09:34
Polarity, transportation and potentials
Luis C. García-Lirola, Universidad de Zaragoza
Thursday Feb 13, 2020 09:37 - 10:03
Volume product and metric spaces
Semyon Alesker, Tel Aviv University
Thursday Feb 13, 2020 10:41 - 11:14
Complex analogue of the algebra of even valuations on convex sets
Martin Henk, Technische Universität Berlin
Thursday Feb 13, 2020 11:16 - 11:40
Slicing properties of the lattice point enumerator
Krzysztof Oleszkiewicz, University of Warsaw
Thursday Feb 13, 2020 13:30 - 14:05
On some results in harmonic analysis on the discrete cube
Oscar Adrian Ortega Moreno, Technische Universität Wien
Thursday Feb 13, 2020 16:20 - 16:45
An optimal plank theorem
Gideon Schechtman, Weizmann Institute
Thursday Feb 13, 2020 16:55 - 17:25
No good dimension reduction in the trace class norm
Feb 02 - Feb 07
Jonas Luhrmann, Texas A&M University
Monday Feb 3, 2020 10:30 - 11:13
Decay and asymptotics for the 1D Klein-Gordon equation with variable coefficient cubic nonlinearities
Adrian Nachman, University of Toronto
Monday Feb 3, 2020 11:29 - 12:15
A Nonlinear Plancherel Theorem and Application to Global Well-posedness for the Defocusing Davey-Stewartson Equation
Thomas Alazard, ENS Paris-Saclay
Wednesday Feb 5, 2020 09:00 - 09:52
Marcelo Disconzi, Vanderbilt University
Wednesday Feb 5, 2020 10:29 - 11:15
Strichartz estimates for the compressible Euler equation with vorticity and low-regularity solutions.
Zaher Hani, University of Michigan
Thursday Feb 6, 2020 15:43 - 16:42
On the rigorous derivation of the wave kinetic equation for NLS
Jan 26 - Jan 31
Jeongwan Haah, Microsoft Research
Monday Jan 27, 2020 08:59 - 09:39
An Exactly Solvable Model for a 4+1D Beyond-Cohomology Symmetry Protected Topological Phase
Dominic Williamson, Yale University
Monday Jan 27, 2020 09:40 - 10:19
Fun with fractons
Michael Pretko, University of Colorado Boulder
Monday Jan 27, 2020 10:51 - 11:32
Fractons: the road to reality
Leo Radzihovsky, University of Colorado at Boulder
Monday Jan 27, 2020 14:21 - 15:01
Quantum smectic fracton order
Wilbur Shirley, Caltech
Monday Jan 27, 2020 15:33 - 16:04
Entanglement renormalization of fractonic gauge theories
Kevin Slagle, Caltech
Monday Jan 27, 2020 16:05 - 16:47
TQFT of Fracton Orders
Yizhi You, Princeton University
Tuesday Jan 28, 2020 09:00 - 09:40
Emergent fractons and algebraic quantum liquid from plaquette melting transitions
Frank Pollmann, Technical University of Munich
Tuesday Jan 28, 2020 09:40 - 10:21
Ergodicity-breaking arising from Hilbert space fragmentation in dipole-conserving Hamiltonians
Andrei Bernevig, Princeton University
Tuesday Jan 28, 2020 10:52 - 11:43
Sagar Vijay, Harvard University
Tuesday Jan 28, 2020 13:32 - 14:12
Wojciech de Roeck, KU Leuven
Tuesday Jan 28, 2020 14:14 - 14:55
Igor Lesanovsky, University of Tübigen
Tuesday Jan 28, 2020 15:20 - 15:59
Facilitation constraints in interacting Rydberg gases
Sheng-Jie Huang, University of Maryland
Wednesday Jan 29, 2020 09:01 - 09:30
Non-Abelian Fracton Phases
Hao Song, Universidad Complutense de Madrid
Wednesday Jan 29, 2020 09:33 - 10:12
Twisted fracton models and error thresholds for fracton codes
Taylor Hughes, University of Illinois
Wednesday Jan 29, 2020 10:53 - 11:36
Electric multipole insulators
Michael Hermele, University of Colorado Boulder
Thursday Jan 30, 2020 09:01 - 09:42
Nicolas Regnault, Ecole Normale Superieure Paris CNRS
Thursday Jan 30, 2020 09:42 - 10:16
Maissam Barkeshli, University of Maryland
Thursday Jan 30, 2020 10:44 - 11:24
Fakher Assaad, U. Wurzburg
Thursday Jan 30, 2020 11:25 - 12:03
Exotic phases and phase transitions: quantum Monte Carlo studies
Andrey Gromov, Brown University
Thursday Jan 30, 2020 13:30 - 14:10
Multipole gauge theories
Cenke Xu, University of California, Santa Barbara
Thursday Jan 30, 2020 14:11 - 14:52
Interacting Valley Chern insulator in Moiré systems and avoidable quantum critical points
Han Ma, Univ of Colorado - Boulder
Thursday Jan 30, 2020 15:24 - 15:59
Tensor gauge theory at Lifshitz transition
Barry Bradlyn, University of Illinois
Thursday Jan 30, 2020 16:00 - 16:40
Daniel Bulmash, University of Maryland
Thursday Jan 30, 2020 16:59 - 17:34
Type-II Fractons from Defects in Topological Order
Jan 19 - Jan 24
Paul Beame, University of Washington
Monday Jan 20, 2020 09:05 - 10:02
Proof Complexity 2020
Noah Fleming, University of Toronto
Monday Jan 20, 2020 10:02 - 10:56
Semialgebraic Proofs and Efficient Algorithm Design
Alexander Razborov, University of Chicago
Monday Jan 20, 2020 11:21 - 12:13
Hardness Condensation
Leszek Kolodziejczyk, University of Warsaw
Monday Jan 20, 2020 16:00 - 16:29
Polynomial Calculus Space and Resolution Width
Tuomas Hakoniemi, Universitat Politècnica de Catalunya
Monday Jan 20, 2020 16:30 - 16:56
Size-Degree Trade-Off for Sums-of-Squares Proofs
Dmitry Sokolov, EPFL
Monday Jan 20, 2020 16:57 - 17:32
Dmitry Sokolov: (Semi)Algebraic Proofs over $\{\pm 1\}$ Variables
Pavel Pudlak, Mathematical Institute of the Czech Academy of Sciences
Tuesday Jan 21, 2020 09:02 - 09:58
On Depth 1 Frege Systems
Iddo Tzameret, Royal Holloway, University of London
Tuesday Jan 21, 2020 10:01 - 11:01
and Edward Hirsch: Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?
Igor Carboni Oliveira, University of Oxford
Tuesday Jan 21, 2020 11:22 - 11:50
Consistency of Circuit Lower Bounds with Bounded Theories
Jan Pich, University of Oxford
Tuesday Jan 21, 2020 11:51 - 12:20
Why are Proof Complexity Lower Bounds Hard?
Olaf Beyersdorff, University of Jena
Tuesday Jan 21, 2020 15:01 - 15:31
Characterising QBF Hardness via Circuit Complexity
Aaron Potechin, University of Chicago
Tuesday Jan 21, 2020 16:01 - 16:31
Sum of Squares Bounds for the Ordering Principle
Nicola Galesi, Università degli Studi di Roma La Sapienza
Tuesday Jan 21, 2020 16:32 - 17:03
Resolution and the binary encodings of combinatorial principles
Sasank Mouli, UC San Diego
Tuesday Jan 21, 2020 17:03 - 17:31
The Surprising Power of Constant Depth Algebraic Proofs
Marc Vinyals, Technion
Wednesday Jan 22, 2020 09:02 - 09:54
Lifting in Proof Complexity
Albert Atserias, Universitat Politecnica de Catalunya
Wednesday Jan 22, 2020 09:55 - 10:45
Automating Resolution is NP-Hard
Mika Goos, Stanford University
Wednesday Jan 22, 2020 11:11 - 11:57
Automated Proof Search: The Aftermath
Michal Garlík, Universitat Politecnica de Catalunya
Thursday Jan 23, 2020 09:02 - 09:31
Resolution Lower Bounds for Refutation Statements
Ilario Bonacina, UPC Universitat Politècnica de Catalunya
Thursday Jan 23, 2020 09:31 - 09:57
SETH and Resolution
Jacobo Toran, University of Ulm
Thursday Jan 23, 2020 09:58 - 10:29
Reversible Pebble Games and the Relation between Tree-like and General Resolution
Dmitry Itsykson, Steklov Institute of Mathematics at St. Petersburg
Thursday Jan 23, 2020 11:00 - 11:29
On 1-BP complexity of satisfiable Tseitin formulas and how it relates to regular resolution
Shuo Pang, University of Chicago
Thursday Jan 23, 2020 11:30 - 11:52
k-Clique and Regular vs. General Resolution
Kilian Risse, KTH Royal Institute of Technology
Thursday Jan 23, 2020 15:01 - 15:29
Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs
Susanna de Rezende, Czech Academy of Sciences
Thursday Jan 23, 2020 16:01 - 16:31
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Nicola Galesi, Università degli Studi di Roma La Sapienza
Thursday Jan 23, 2020 16:32 - 17:02
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs
Alexander Knop, UC San Diego
Thursday Jan 23, 2020 17:04 - 17:35
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Marc Vinyals, Technion
Friday Jan 24, 2020 09:34 - 10:00
Hard Examples for Common Variable Decision Heuristics
Jan 12 - Jan 17
Ian Hewitt, University of Oxford
Monday Jan 13, 2020 09:28 - 09:43
Introduction
Stephen Price, Los Alamos National Laboratory
Monday Jan 13, 2020 09:43 - 10:12
Overview of DOE projects
Mauro Perego, Sandia National Laboratories
Monday Jan 13, 2020 10:50 - 11:14
Ice Sheet Initialization
Mathieu Morlighem, UC Irvine
Monday Jan 13, 2020 11:16 - 11:34
From optimal control to automatic differentiation: challenges in data assimilation in ice sheet modeling
Hilmar Gudmundsson, Northumbria University
Monday Jan 13, 2020 11:35 - 12:05
Bayesian calibration of ice-sheet models
Patrick Heimbach, University of Texas at Austin
Monday Jan 13, 2020 14:11 - 14:38
Paleochronometry by control methods
Brent Minchew, MIT
Monday Jan 13, 2020 14:39 - 15:01
Time-series data analysis
Marianne Haseloff, University of Oxford
Monday Jan 13, 2020 16:03 - 16:43
Ice streams
Elisa Mantelli, Princeton University
Monday Jan 13, 2020 16:44 - 17:14
Ice sheet flow with temperature-dependent sliding
Jenny Suckale, Stanford University
Monday Jan 13, 2020 17:17 - 17:47
Data-model integration in forward models of ice stream dynamics
Alexander Robel, Georgia Tech
Tuesday Jan 14, 2020 09:06 - 09:36
Bifurcations and noise in ice sheet dynamics
Tamsin Edwards, King’s College London
Tuesday Jan 14, 2020 09:45 - 10:15
Quantifying uncertainties in the land ice contribution to sea level rise this century
Noemi Petra, UC Merced
Tuesday Jan 14, 2020 10:17 - 10:47
Inferring the basal sliding coefficient for the Stokes ice sheet model under rheological uncertainty
Daniel Goldberg, University of Edinburgh
Tuesday Jan 14, 2020 11:09 - 11:39
Impacts of bathymetric uncertainty on ice-shelf melt (through adjoint modelling)
Douglas Brinkerhoff, University of Montana
Tuesday Jan 14, 2020 11:41 - 12:11
Large Ensemble Modelling of Greenland's Contribution to Sea Level Rise
Denis Felikson, NASA Goddard Space Flight Center
Tuesday Jan 14, 2020 12:13 - 12:43
Inland diffusion of terminus-initiated thinning on the Greenland Ice Sheet
Jeremy Bassis, University of Michigan
Tuesday Jan 14, 2020 14:06 - 14:43
Joe Todd, University of St Andrews
Tuesday Jan 14, 2020 14:43 - 15:12
Modelling Calving: From Ice Cubes to Ice Sheets
David Pollard, Pennsylvania State University
Tuesday Jan 14, 2020 15:12 - 15:42
Will structural failure occur during ice retreat into deep Antarctic basins?
Xylar Asay-Davis, Los Alamos National Laboratory
Wednesday Jan 15, 2020 09:07 - 09:47
A menagerie of approaches to ice sheet-ocean coupling, with emphasis on US Department of Energy models
Olga Sergienko, Princeton University
Wednesday Jan 15, 2020 09:49 - 10:20
Grounding lines
Andrew Wells, University of Oxford
Wednesday Jan 15, 2020 10:58 - 11:28
Subglacial and meltwater plumes at marine terminating glaciers
Helene Seroussi, Caltech JPL
Wednesday Jan 15, 2020 11:29 - 11:59
Ice-ocean interactions: coupling and parameterization
Irina Tezaur, Sandia National Laboratories
Thursday Jan 16, 2020 09:03 - 09:30
Trilinos/Kokkos-based strategy towards achieving a performance portable land-ice model
Josefin Ahlkrona, Stockholm University
Thursday Jan 16, 2020 09:37 - 10:07
Finite element methods for ice sheet modeling
Thomas Zwinger, CSC-IT Center for Science Ltd.
Thursday Jan 16, 2020 10:08 - 10:36
Code optimization and new programming paradigms with Elmer/Ice
Olivier Gagliardini, University of Grenoble Alpes
Thursday Jan 16, 2020 14:03 - 14:33
Friction at the base of glaciers: insights from modeling at various scales
Katarzyna Kowal, University of Cambridge
Thursday Jan 16, 2020 14:39 - 15:05
Accumulation of subglacial till in grounding zones
Jerome Neufeld, University of Cambridge
Thursday Jan 16, 2020 15:06 - 15:36
Poroelasticity, supraglacial lake drainage and ocean tides
Colin Meyer, Dartmouth College
Thursday Jan 16, 2020 16:10 - 16:41
Subglacial frozen fringe
