
info@newton.ac.uk
Name:  info@newton.ac.uk 
Affiliation:  Isaac Newton Institute for Mathematical Sciences 
Email:  (only provided to users who are logged into talks.cam) 
Last login:  Mon Jan 11 20:47:52 +0000 2016 
Public lists managed by info@newton.ac.uk
Talks given by info@newton.ac.uk
Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's email was specified in a talk. Most talks have not done this.
Talks organised by info@newton.ac.uk
This list is based on what was entered into the 'organiser' field in a talk. It may not mean that info@newton.ac.uk actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.
 Multiple changepoint estimation in highdimensional Gaussian graphical models
 Multiple changepoint estimation in highdimensional Gaussian graphical models
 To be confirmed
 To be confirmed
 Compressed Sensing Plus Motion (CS+M): A New Perspective for Improving Undersampled MR Image Reconstruction
 Compressed Sensing Plus Motion (CS+M): A New Perspective for Improving Undersampled MR Image Reconstruction
 Introduction
 Introduction
 Automatic Quality Assessment of Cardiac MRI
 Automatic Quality Assessment of Cardiac MRI
 Imagespecific Finetuning and Uncertainty Estimation for Medical Image Segmentation
 Imagespecific Finetuning and Uncertainty Estimation for Medical Image Segmentation
 Learning from Graphstructured Neuroimaging Data
 Learning from Graphstructured Neuroimaging Data
 Introduction MedIAN (Medical Image Analysis Network)
 Introduction MedIAN (Medical Image Analysis Network)
 CTPN: Cambridge Technology Platforms Network  Working Together Across Disciplines
 CTPN: Cambridge Technology Platforms Network  Working Together Across Disciplines
 Approximating Costly Functions using Gaussian Processes
 Approximating Costly Functions using Gaussian Processes
 Modelling of Clinical Imaging
 Modelling of Clinical Imaging
 Quantitative Interpretation of Multiparametric Cardiovascular MRI Datasets
 Quantitative Interpretation of Multiparametric Cardiovascular MRI Datasets
 Digital Image Analysis of Diagnostic Intestinal Biopsies to Investigate the Spectrum of Gluten Sensitivity
 Digital Image Analysis of Diagnostic Intestinal Biopsies to Investigate the Spectrum of Gluten Sensitivity
 Inferring Uncertainties in Computational Anatomy
 Inferring Uncertainties in Computational Anatomy
 Machine Learning for Medical Image Analysis
 Machine Learning for Medical Image Analysis
 Questions and Answers
 Questions and Answers
 Diffeomorphic Image Registration Models by New Constraints
 Diffeomorphic Image Registration Models by New Constraints
 A Robust Model for Selective Segmentation
 A Robust Model for Selective Segmentation
 Multimodality Image Registration
 Multimodality Image Registration
 Introduction
 Introduction
 Welcome and Introduction
 Welcome and Introduction
 Approximate kernel embeddings of distributions
 Approximate kernel embeddings of distributions
 Highdimensional variable selection when features are sparse
 Highdimensional variable selection when features are sparse
 Causal trees and Wigner's semicircle law
 Causal trees and Wigner's semicircle law
 Computer model calibration with large nonstationary spatial outputs: application to the calibration of a climate model
 Computer model calibration with large nonstationary spatial outputs: application to the calibration of a climate model
 Bayesian quadrature, energy minimization and kernel herding for space filling design
 Bayesian quadrature, energy minimization and kernel herding for space filling design
 A Comparison of Approximate Bayesian Computation and Stochastic Calibration for SpatioTemporal Models of HighFrequency Rainfall Patterns
 A Comparison of Approximate Bayesian Computation and Stochastic Calibration for SpatioTemporal Models of HighFrequency Rainfall Patterns
 Multilevel Emulation and History Matching of EAGLE: an expensive hydrodynamical Galaxy formation simulation.
 Multilevel Emulation and History Matching of EAGLE: an expensive hydrodynamical Galaxy formation simulation.
 Bayesian model calibration for generalized linear models: An application in radiation transport
 Bayesian model calibration for generalized linear models: An application in radiation transport
 Deep Gaussian Process Priors for Bayesian Inverse Problems
 Deep Gaussian Process Priors for Bayesian Inverse Problems
 Jointsparse recovery for highdimensional parametric PDEs
 Recent advances in quantum annealing and outlook on its potential in statistics
 Jointsparse recovery for highdimensional parametric PDEs
 Recent advances in quantum annealing and outlook on its potential in statistics
 Modes of posterior measure for Bayesian inverse problems with a class of nonGaussian priors
 Modes of posterior measure for Bayesian inverse problems with a class of nonGaussian priors
 Bayesian calibration, history matching and model discrepancy
 Bayesian calibration, history matching and model discrepancy
 Parameter inference, model error and the goals of calibration
 Parameter inference, model error and the goals of calibration
 Quantifying and reducing uncertainties on sets under Gaussian Process priors
 Quantifying and reducing uncertainties on sets under Gaussian Process priors
 Experimental Design for Inverse Modelling: From Real to Virtual and Back
 Experimental Design for Inverse Modelling: From Real to Virtual and Back
 Experimental Design for Prediction of Physical System Means Using Calibrated Computer Simulators
 Experimental Design for Prediction of Physical System Means Using Calibrated Computer Simulators
 Bayesian probabilistic numerical methods
 Bayesian probabilistic numerical methods
 Large Graph Limits of Learning Algorithms
 Large Graph Limits of Learning Algorithms
 Inverting the Pareto Boundary: Bayes linear decision support with a soft constraint
 Inverting the Pareto Boundary: Bayes linear decision support with a soft constraint
 Large numbers of explanatory variables
 Large numbers of explanatory variables
 Smooth metamodels
 Smooth metamodels
 On the Convergence of Laplace's Approximation and Its Implications for Bayesian Computation
 On the Convergence of Laplace's Approximation and Its Implications for Bayesian Computation
 Optimal Bayesian experimental design: focused objectives and observation selection strategies
 Optimal Bayesian experimental design: focused objectives and observation selection strategies
 Lowrank tensor approximation for sampling high dimensional distributions
 Lowrank tensor approximation for sampling high dimensional distributions
 Statistical guarantees for Bayesian uncertainty quantification in inverse problems
 Statistical guarantees for Bayesian uncertainty quantification in inverse problems
 Deterministic Multilevel Methods for Forward and Inverse UQ in PDEs
 Deterministic Multilevel Methods for Forward and Inverse UQ in PDEs
 Subspacebased dimension reduction for forward and inverse uncertainty quantification
 Subspacebased dimension reduction for forward and inverse uncertainty quantification
 Studying black holes with gravitational waves: Why GW astronomy needs you!
 Studying black holes with gravitational waves: Why GW astronomy needs you!
 Rothschild Lecture: The Legacy of Rudolph Kalman
 Rothschild Lecture: The Legacy of Rudolph Kalman
 UQ methodologies in Schlumberger's technology development for Drilling Automation
 UQ methodologies in Schlumberger's technology development for Drilling Automation
 Sequential detection of structural changes in irregularly observed data
 Sequential detection of structural changes in irregularly observed data
 Inference for the mode of a logconcave density: a likelihood ratio test and confidence intervals
 Inference for the mode of a logconcave density: a likelihood ratio test and confidence intervals
 Compressed Empirical Measures
 Compressed Empirical Measures
 Spatiotemporal modelling and parameter estimation of anisotropic particle trajectories
 Spatiotemporal modelling and parameter estimation of anisotropic particle trajectories
 Multiscale methods and recursion in data science
 Multiscale methods and recursion in data science
 Multiscale Bounded Variation Regularization
 Multiscale Bounded Variation Regularization
 A concentration interval for the Lasso
 A concentration interval for the Lasso
 Statistical Analysis of Functions on Surfaces, with an application to Medical Imaging
 Statistical Analysis of Functions on Surfaces, with an application to Medical Imaging
 Spectral estimation for a class of highdimensional linear processes
 Spectral estimation for a class of highdimensional linear processes
 Fusion and Individualized Fusion Learning from Diverse Data Sources by Confidence Distribution
 Fusion and Individualized Fusion Learning from Diverse Data Sources by Confidence Distribution
 Limiting spectral distributions for a class of highdimensional time series
 Limiting spectral distributions for a class of highdimensional time series
 New twosample tests based on adjacency
 New twosample tests based on adjacency
 Mixed Effects Model on Functional Manifolds / Sampling Directed Networks
 Mixed Effects Model on Functional Manifolds / Sampling Directed Networks
 Statistical theory for deep neural networks with ReLU activation function
 Statistical theory for deep neural networks with ReLU activation function
 Small and Large Scale Network Features
 Small and Large Scale Network Features
 Graph Total Variation for Inverse Problems with Highly Correlated Designs
 Graph Total Variation for Inverse Problems with Highly Correlated Designs
 Functional regression on manifold with contamination
 Functional regression on manifold with contamination
 Object Data Driven Discovery
 Object Data Driven Discovery
 Uncertainty quantification for Geospatial process
 Uncertainty quantification for Geospatial process
 Speech as object data: exploring crosslinguistic changes in Romance languages
 Speech as object data: exploring crosslinguistic changes in Romance languages
 Manifold Data Analysis with Applications to HighResolution 3D Imaging
 Manifold Data Analysis with Applications to HighResolution 3D Imaging
 Learning LowDimensional Metrics
 Learning LowDimensional Metrics
 Intrinsic wavelet regression for curves and surfaces of Hermitian positive definite matrices
 Intrinsic wavelet regression for curves and surfaces of Hermitian positive definite matrices
 Isotonic regression in general dimensions
 Isotonic regression in general dimensions
 Adaptive Confidence Bands for ShapeRestricted Regression in Multidimension using Multiscale Tests
 Adaptive Confidence Bands for ShapeRestricted Regression in Multidimension using Multiscale Tests
 Dynamic Smoothing Meets Gravity
 Dynamic Smoothing Meets Gravity
 Procrustes Analysis of Covariance Operators and Optimal Transport of Gaussian Processes
 Procrustes Analysis of Covariance Operators and Optimal Transport of Gaussian Processes
 Constraining carbon emissions pathways towards Paris climate targets
 Constraining carbon emissions pathways towards Paris climate targets
 Questions and Wrapup
 Questions and Wrapup
 Group Leaders Feedback on Three Industry Groups
 Group Leaders Feedback on Three Industry Groups
 Breakout Sessions (part 3)
 Breakout Sessions (part 3)
 Causal Inference for Treatment Effects: A Theory and Associated Learning Algorithms
 Causal Inference for Treatment Effects: A Theory and Associated Learning Algorithms
 Breakout sessions (part 2)
 Breakout sessions (part 2)
 SpiNNaker  BiologicallyInspired MassivelyParallel Computing
 SpiNNaker  BiologicallyInspired MassivelyParallel Computing
 Moore's Law and Beyond: Routes to the Next MillionFold Improvement in Performance
 Moore's Law and Beyond: Routes to the Next MillionFold Improvement in Performance
 Initial Breakout Group Discussions
 Initial Breakout Group Discussions
 Supporting Innovation in Quantum Technologies
 Supporting Innovation in Quantum Technologies
 Computational and Benchmarking Perspectives
 Computational and Benchmarking Perspectives
 Benchmarking, Optimisation and CoDesign of Computer Systems: From Classical to Quantum
 Benchmarking, Optimisation and CoDesign of Computer Systems: From Classical to Quantum
 Challenges for Real World Problem Owners: Materials
 Challenges for Real World Problem Owners: Materials
 Challenges for Real World Problem Owners: Manufacturing
 Challenges for Real World Problem Owners: Manufacturing
 Challenges for Real World Problem Owners  Finance
 Challenges for Real World Problem Owners  Finance
 Design Challenges in BT's Network
 Design Challenges in BT's Network
 Challenges for Real World Problem Owners  Earth Observation
 Challenges for Real World Problem Owners  Earth Observation
 Quantum Computing and the Met Office
 Quantum Computing and the Met Office
 Quantum Computing Architectures
 Quantum Computing Architectures
 National Quantum Keynote
 National Quantum Keynote
 Welcome and Introduction
 Welcome and Introduction
 iFusion: Individualized Fusion Learning
 iFusion: Individualized Fusion Learning
 tba
 Principal component analysis for learning tree tensor networks
 Principal component analysis for learning tree tensor networks
 Multifidelity Monte Carlo estimation with adaptive lowfidelity models
 Multifidelity Monte Carlo estimation with adaptive lowfidelity models
 Reduced Basis Solvers for Stochastic Galerkin Matrix Equations
 Reduced Basis Solvers for Stochastic Galerkin Matrix Equations
 State Estimation in Reduced Modeling
 State Estimation in Reduced Modeling
 Quantifying spatiotemporal boundary condition uncertainty for the deglaciation
 Quantifying spatiotemporal boundary condition uncertainty for the deglaciation
 Certified dimension reduction of the input parameter space of vectorvalued functions
 Certified dimension reduction of the input parameter space of vectorvalued functions
 ConditionalValueatRisk Estimation with ReducedOrder Models
 ConditionalValueatRisk Estimation with ReducedOrder Models
 Low rank methods for PDEconstrained optimization
 Low rank methods for PDEconstrained optimization
 Isotonic regression in general dimensions
 Greedy algorithms for optimal measurements selection in state estimation using reduced models
 Isotonic regression in general dimensions
 Greedy algorithms for optimal measurements selection in state estimation using reduced models
 Model selection, model frames, and scientific interpretation
 Model selection, model frames, and scientific interpretation
 Weighted reduced order methods for parametrized PDEs with random inputs
 Weighted reduced order methods for parametrized PDEs with random inputs
 Optimal dimensionreduced calibration and the terminal case for spatial models
 Lowrank cross approximation algorithms for the solution of stochastic PDEs
 Lowrank cross approximation algorithms for the solution of stochastic PDEs
 LinearCost Covariance Functions for Gaussian Random Fields
 LinearCost Covariance Functions for Gaussian Random Fields
 Hierarchical Low Rank Tensors
 tba
 Multimodel and model structural uncertainty quantification with applications to climate science
 Multilevel Nested Simulation for Efficient Risk Estimation
 tba
 Multilevel estimators in Bayesian Inversion and Optimization
 Adaptive Multilevel Stochastic Collocation Method for Randomized Elliptic PDEs
 New directions in solving structured nonconvex problems in multivariate statistics
 New directions in solving structured nonconvex problems in multivariate statistics
 Dimensionality reduction and surrogate modelling for highdimensional UQ problems
 tba
 Poster Blitz
 A Triple Model Reduction for DataDriven LargeScale Inverse Problems in High Dimensional Parameter Spaces
 tba
 tba
 tba
 tba
 Adaptivity in Numerical Methods for ODEs and PDEs
 Adaptivity in Numerical Methods for ODEs and PDEs
 Progress on the connection between spectral embedding and network models used by the probability, statistics and machinelearning communities
 Questions, Discussion and Wrapup
 Taking Big Data Upstream: Trading Storage for Approximation
 Big Data Challenges in the Performance of Large IP Networks
 Questions and Discussions
 Scalable Inference for Complex Environmental Data
 Future Challenges for Scaling Big Data at the National Grid
 Questions and Discussions
 Genomics Research at EBI: Challenges in Statistical Scaling
 Delivering Better Treatments to the Right Patients Faster and More Safely : Opportunities for Big Data to Improve Pharmaceutical R&D
 Data Science for Networked Data
 Making sense of Human Microbiome Data
 Welcome and Introduction
 MetropolisHastings algorithms for Bayesian inference in Hilbert spaces
 MetropolisHastings algorithms for Bayesian inference in Hilbert spaces
 Testing covariance matrices in high dimensions
 Informal talk  Optimum Experimental Design
 Informal talk  Optimum Experimental Design
 Informationtheoretic perspectives on learning algorithms
 Informationtheoretic perspectives on learning algorithms
 Bayesian Quadrature for Multiple Related Integrals
 Bayesian Quadrature for Multiple Related Integrals
 A Hybrid Block Bootstrap For Sample Quantiles Under Weak Dependence
 A Hybrid Block Bootstrap For Sample Quantiles Under Weak Dependence
 Nonlinear Shrinkage Estimation in Quadratic Inference Function Analysis for Correlated Data
 Nonlinear Shrinkage Estimation in Quadratic Inference Function Analysis for Correlated Data
 Uncertainty Quantification of geochemical and mechanical compaction in layered sedimentary basins
 Uncertainty Quantification of geochemical and mechanical compaction in layered sedimentary basins
 Adaptation in logconcave density estimation
 Adaptation in logconcave density estimation
 Future directions panel
 Future directions panel
 Replication or exploration? Sequential design for stochastic simulation experiments
 Replication or exploration? Sequential design for stochastic simulation experiments
 HighDimensional Collocation for Lognormal Diffusion Problems
 HighDimensional Collocation for Lognormal Diffusion Problems
 Nonstationary Gaussian process emulators with covariance mixtures
 Nonstationary Gaussian process emulators with covariance mixtures
 Group covariance functions for Gaussian process metamodels with categorical inputs
 Group covariance functions for Gaussian process metamodels with categorical inputs
 Bayesian optimal design for Gaussian process model
 Bayesian optimal design for Gaussian process model
 Uncertainty Quantification with MultiLevel and MultiIndex methods
 Uncertainty Quantification with MultiLevel and MultiIndex methods
 Positive definite kernels for deterministic and stochastic approximations of (invariant) functions
 Positive definite kernels for deterministic and stochastic approximations of (invariant) functions
 Surrogate models in Bayesian Inverse Problems
 Surrogate models in Bayesian Inverse Problems
 A compositional approach to scalable statistical modelling and computation
 A compositional approach to scalable statistical modelling and computation
 Deterministic RBF Surrogate Methods for Uncertainty Quantification, Global Optimization and Parallel HPC Applications
 Deterministic RBF Surrogate Methods for Uncertainty Quantification, Global Optimization and Parallel HPC Applications
 Polynomial approximation of highdimensional functions on irregular domains
 Polynomial approximation of highdimensional functions on irregular domains
 Panel comparisons: Challenor, Ginsbourger, Nobile, Teckentrup and Beck
 Panel comparisons: Challenor, Ginsbourger, Nobile, Teckentrup and Beck
 tba
 Emulators for forecasting and UQ of natural hazards
 Aspects of adaptive Galerkin FE for stochastic direct and inverse problems
 Aspects of adaptive Galerkin FE for stochastic direct and inverse problems
 A domaindecompositionbased model reduction method for convectiondiffusion equations with random coefficients
 Modelling discontinuities in simulator output using Voronoi tessellations
 MultiIndex Stochastic Collocation (MISC) for Elliptic PDEs with random data
 Random Feature Expansions for Deep Gaussian Processes
 Recovery conditions of compressed sensing approach to uncertainty quantification
 Domain Uncertainty Quantification
 Active Subspace Techniques to Construct Surrogate Models for Complex Physical and Biological Models
 Emulation for model discrepancy
 Adaptive Stochastic Galerkin Finite Element Approximation for Elliptic PDEs with Random Coefficients
 Questions, Discussion and WrapUp
 Uncertainties and Modelling in the Management of Coronary Heart Disease
 Questions and Discussion
 Modelling Financial Uncertainty for Regulated Insurance Companies: the Case of Equity Risk
 Understanding and Mitigating the Impacts of Natural Catastrophes: Models, Uncertainties and Applications
 Questions and Discussion
 Challenges of Modelling and Parameter Uncertainties in Aeronautical Applications
 Uncertainty Management During the Design of Advanced Aero Engines
 Testing for Highdimensional White Noise
 An Overview of Stochastic Finite Element Methods for PDE Models with Uncertain Inputs
 Uncertainty Quantification in Complex Models  A Statistical Perspective
 Welcome and Introduction
 OfB UQ for Complex Systems
 Revisiting Huber’s MEstimation: A TuningFree Approach
 Multivariate intensity estimation via hyperbolic wavelet selection
 Singular Value Decomposition for Highdimensional Highorder Data
 Variable selection and classification with largescale presence only data
 An optimal unrestricted learning procedure
 Learning determinantal point processes
 Falkon: fast and optimal kernel method for large scale machine learning
 The xyz algorithm for fast interaction search in highdimensional data
 Sharp oracle inequalities for stationary points of nonconvex penalised Mestimators
 Asymptotics for ABC algorithms
 Small Big Data: Temporal structure in discrete time series
 On the gap between local recovery guarantees in structured compressed sensing and oracle estimates
 Adaptive estimation of functionals under sparsity
 Optimal Covariance Change Point Detection in High Dimension
 Learning from mistakes  learning optimally sparse image filters by quotient minimisation
 Probability paradigms in Uncertainty Quantification
 Nonlinear Models for Matrix Completion
 Optimal and efficient learning with random features
 Sharpness, Restart and Compressed Sensing Performance
 Selecting Groups of Variables for Prediction Problems in Chemometrics: Recent Regularization Approaches
 Optimal Link Prediction with Matrix Logistic Regression
 Learning and inference in probabilistic submodular models
 RANK: LargeScale Inference with Graphical Nonlinear Knockoffs
 The Expxorcist: Nonparametric Graphical Models Via Conditional Exponential Densities
 An Instability in Variational Methods for Learning Topic Models
 The zigzag and superefficient sampling for Bayesian analysis of big data
 Instruments, Images, and Anchors
 Uniform pertubation analysis of eigenspaces and its applications to Community Detection, Ranking and Beyond
 The Hardness of Conditional Independence Testing
 Robust inference with the knockoff filter
 On GradientBased Optimization: Accelerated, Stochastic and Nonconvex
 UQ perspectives on approximate Bayesian computation (ABC)
 Analysis of Ensemble Kalman Inversion
 Variations on the Expected Improvement
 Multilevel Monte Carlo Methods
 Computational models of the heart: Why they are useful, and how they would benefit from UQ
 Uncertainty Quantification (UQ) and Communication for Chemical and Biological Hazard Response
 The Bayesian approach to inverse problems
 Gaussian process emulation
 Lowrank approximations for parametric and random PDEs
 Linear Algebra Methods for ParameterDependent Partial Differential Equations
 Bayesian Probabilistic Numerical Methods
 A few elements of numerical analysis for PDEs with random coefficients of lognormal type
 Uncertainty quantification in demography: Challenges and possible solutions
 Sequential Bayesian Inference in highdimensional geoscience applications
 UQ in earth sciences: applications and challenges
 Experimental design in computer experiments: review and recent research
 Uncertainty quantification for partial differential equations: going beyond Monte Carlo
 Uncertainty analysis for complex systems modelled by computer simulators
 Philosophical Approaches to Uncertainty and its Measurement
 Machine learning techniques for uncertainty quantification of subsurface reservoir models
 Uncertainty quantification of numerical experiments: Several issues in industrial applications
 Poster Blitz I
 Uncertainty Quantification from a Mathematical Perspective
 Statistical perspectives on UQ, past and present
 An interpolating distance between Wasserstein and FisherRao
 Compensated convexity, multiscale medial axis maps, and sharp regularity of the squared distance function
 Formulations of community detection in terms of total variation and surface tension
 Stochastic Metamorphosis in Imaging Science
 Biophysical force regulation in cell migration
 When to lift (a function to higher dimensions) and when not
 Nonlinear elasticity and image processing
 Geometry and learning in 3D correspondence problems
 Optimal Transport and Deep Generative Models
 Soliton solutions for the elastic metric on spaces of curves
 Inversion of waves and current profiles using Xband radar in coastal zone
 Langevin equations for landmark image registration with uncertainty
 Two and threedimensional effects in spatial and temporal evolution of water waves excited by wind and generated mechanically
 TwoStage/ThreeStage Method for Image Segmentation
 Loworder graphical models for shapes and hierarchies in segmentation
 Konrad Bajer Commemorative Symposium
 Konrad Bajer Commemorative Symposium
 Konrad Bajer Commemorative Symposium
 Compact Rank Models and Optimization
 Konrad Bajer Commemorative Symposium
 Konrad Bajer Commemorative Symposium  TEA BREAK
 Konrad Bajer Commemorative Symposium
 Simultaneous Image Segmentation and Registration and Applications
 Konrad Bajer Commemorative Symposium
 Konrad Bajer Commemorative Symposium
 Konrad Bajer Commemorative Symposium
 Efficient regularization of functional map computations
 Capturing 3D models of deformable objects from monocular sequences
 Experimental modelling of waves in ice cover
 Recent advances of Computational Quasiconformal Geometry in Imaging, Graphics and Visions
 Riemannian Diffeomorphic Mapping and Some Applications
 3D Shape Inference from Images using Deep Learning
 Euler's elastica based segmentation models and the fast algorithms
 Spectral approaches to partial deformable 3D shape correspondence
 Convexity and Other Shape priors for Single and Multiple Object Segmentation
 Point correspondences in the functional map framework
 Fracture Mechanics Applied To Ice Ih
 Anisotropic sea ice mechanics
 An anisotropic elasticdecohesive constitutive relation for sea ice
 Evaluation of an ElasticDecohesive Rheology for Sea Ice
 A MaxwellElastoBrittle model for the drift and deformation of sea ice
 Global Ice Fracture Experiments at Spitsbergen and Its Impact on Numerical Simulation of Ice Actions
 Coulomb’s mechanics of sea ice: From geophysical evidences to experimental modeling
 Cracks in ice and their role in brittle compressive failure
 Micromechanics of sea ice frictional slip from test basin scale experiments
 Hydrofracture Propagation from Supraglacial Lake Drainage
 Potential new pathways in modelling sea ice phenomena coming from the analysis of multiscale solids with defects
 Impact of the hydraulically induced shear stress on hydraulic fracture
 Issues on modeling river ice dynamics
 Sea ice breakup in the marginal ice zone
 River Ice Breakup
 Integrating Elastic and Viscous Properties of Ice for Ocean Wave Propagation
 Breaking Pattern of Ice Cover during its Collision with Ship/Offshore Structures
 Deformation and failure of sea ice cover
 The Physics of Ice Crushing Associated with Indentation and Impact
 Structural adaptation  a statistical concept for image denoising
 Crack nucleation in ice – a historical review and research challenges
 Ice edge failure process
 Peridynamic Modelling of Ice Fracture
 On the Formation and Evolution of Rifts in Ice Shelves
 Continuum damage models for fracturing and weakening of Antarctic ice shelves
 Probabilistic Fracture Mechanics and Its Implications on Ice
 Growth process and structure of refrozen cracks in sea ice
 Questions/Discussions
 A World From a Sheet of Paper
 Form and Shape for Lighting Virtual Worlds
 On Form and Function in Board Games
 Mathematical Approaches to Toys
 ReConstructing Illuminated Manuscripts and Paintings
 How Quantum Physics Democratised Music: A Meditation on Physics and Technology
 Hearing Your Genes Evolve
 Growth and Form: From Stalactites to Ponytails
 Light Echoes in Art and Science: How far do the Two Constituencies Reflect Each Other in Theory and Practice?
 Welcome and Introduction
 Forms in Olympic Games
 Physics of Sports
 An Introduction to the Mechanics of the Lasso
 Geometry and probability in perception and action
 On the terminal motion of sliding/spinning discs
 Selfpropelled wedge
 Collective dynamics of bristlebots
 Playing with magnetic chains: from selfbuckling to selfassembly
 “Fun”damental physics: robophysical models for General Relativity and Quantum Mechanics
 The beaver ball: a chaotic rolling robot
 Artists' Session: Serendipity & the wave
 MultiRegion Image Segmentation using Generalized Averages and One Level Set Function
 Artists' Session: Material and Metaphor
 Artists' Session: Perception of form. Lessons form art history
 Artists' Session: How science inspired my work
 Artists' Session: On the Border of Consciousness
 Artists' Session: The Human Form  In Search of the Universal
 Artists' Session: Emma Rodgers
 Artists' Session: Mark Francis
 Artists’ Session: In pursuit of tipping point
 Mathematical approaches for virtual art restoration
 Art, outreach, and pattern formation
 Art in aid of science
 Art & Science, the big trail
 Computational Origami Design
 Paper mosaics: an exploration of tiling’s through origami
 Music of falling paper
 Paul Klee notebooks: form and mathematics
 Hydrodynamic instabilties and modern artistic painting
 Catastrophe theory and art
 Physics and mathematics of marbling
 Artful foams: in memoriam Cyril Stanley Smith
 Magic mirrors and magic windows
 The suitability of the effective wavefield as a tool to predict wave attenuation over long distances
 Mechanics of a Volvox Embryo Turning Itself Inside Out
 Panel Discussion Session
 Using Data to Improve Decision Making in a Complex World
 Sequential DecisionMaking under Uncertainty: Bandit Optimisation
 Modelling Volatility Surfaces  Dimension Reduction Techniques to Extract Structure from Option Price Data
 Calculating for Pleasure – Modelling and Maths in Ice Cream Research at Unilever
 Measurement Traceability and New Measurement Modalities
 Analysis of Nonlinear Equations in the Power Grid
 Polynomial Optimisation and Semidefinite Programming
 Welcome and Introduction  Update from Cantab Capital Institute for the Mathematics of Information
 Mixed boundaryvalue problems (tutorial)
 Around unbalanced optimal transport: fluid dynamic, growth model, applications.
 3D normal coordinate systems for the cortex: applications in the deafened cortices in babies, adults and cats
 Shell Shape of Snails
 The Morphology of Cellular Motility
 Measuring shape change by registration
 Machine Learning Approaches for Deformable Image Registration
 Distortion minimizing geodesic subspaces on shape ensembles
 Statistical Inference in Nonlinear Spaces via Maximum Likelihood and Diffusion Bridge Simulation
 How to deform and shake images?
 Learning distributions of shape trajectories: a hierarchical model on a manifold of diffeomorphisms
 Template shape estimation: correcting an asymptotic bias
 What can we learn from large deformation diffeomorphic metric mapping on spaces of rigid bodies?
 Monotone properties of BarzilaiBorwein Method
 The elastic metric for surfaces and its use
 Reconstructing leaf morphogenesis using twodimensional shape analysis
 Bayesian analysis of object data using Top Space and Quotient Space models
 How organisms shape themselves: using geometric morphometrics for understanding evolution and development
 Geometrical Growth Models for Computational Anatomy
 Interaction of wave with a body floating on a wide polynya
 Shape analysis through a deformation prior
 Differential invariants for the actions of planar Lie groups
 On loss of form in cancer growth
 Incompressible limit of a mechanical models for tissue growth
 Accelerated optimization on manifolds
 Bridge Simulation and Metric Estimation on Lie Groups and Orbit Spaces
 Towards a geometric variational discretization of compressible fluid dynamics
 Morphoelasticity and the Geometry of Growth
 Riemannian Gradient Flows in Shape Analysis
 tba
 An efficient kernel product for automatic differentiation libraries, with applications to measure transport
 General Sobolev metrics on the manifold of all Riemannian metrics
 Discontinuous Galerkin method for numerical simulation of ice flow impact on vertical cylinder offshore structure
 Generation of wave motion in fluid with inhomogeneous ice cover
 DEM modelling of waveinduced floefloe (and floestructure) collisions
 Discrete Element Simulation of IceStructure Interaction
 Determining global ice loads on offshore structures
 Using DEM to model ice sheets and structures
 Modelling Brittle Failure of Ice
 Geometric control of active matter
 Probabilistic aspects of multielement systems failure
 Iceinduced vibrations in offshore structures: coupled dynamic icestructure interactions over multiple scales
 Passive, nanoengineered antiicing: An experimental perspective
 Impacts, ice growth and related modelling
 A convexity based method for approximation and interpolation of sampled functions
 Correlation of local ice forces across the width of a structure during icestructure interaction
 Effect of uncertainties in ice loading on design of Arctic installations
 How ought we to structure research so as to make progress in understanding ice interaction?
 Nonlinear numerical modeling of impact loads of ship sections and floating ice
 Safer Operations in the Sea Icecovered Oceans: The Tale of the Two Projects
 Hydroelastic waves and their interaction with structures
 Influence of broken ice on marine operations – identification of important processes
 Shape Analysis — An Introduction to Its Ideas, Methods and Questions
 Design and Assessment Methods for Ships in Ice
 Theoretical modelling of shipice interaction
 Thermomechanical loads of sea ice on structures
 Iceinduced vibrations of offshore structures: physics of the process, modelling and remaining challenges
 Structureproperty relationships for sea ice: Modeling and experimental validation
 Icestructure interaction in the SakhalinII (Sea of Okhotsk) and Kashagan (NE Caspian) project
 Friction of Sea Ice
 The weighted pLaplacian and semisupervised learning
 Sparse Recovery Algorithms for 3D Imaging using Point Spread Function Engineering
 From spatial learning to machine learning: an unsupervised approach with applications to behavioral science
 A Nuclearnorm Model for MultiFrame Superresolution Reconstruction
 Analysis and applications of structuralpriorbased total variation regularization for inverse problems
 Alternating projections for phase retrieval with random sensing vectors
 What do regularisers do?
 Structured compressed sensing and recent theoretical advances on optimal sampling
 Cell detection by functional inverse diffusion and group sparsity
 Bayesian analysis and computation for convex inverse problems: theory, methods, and algorithms
 Divide and Conquer: Patchbased Image Denoising, Restoration, and Beyond
 Parametric representation in shape optimization
 Stochastic geometry for automatic object detection and tracking
 On computational barriers in data science and the paradoxes of deep learning
 Generating sampling patterns in MRI
 Krylov Subspace Methods for Sparse Reconstruction
 Sparse Recovery by l0 Penalty
 HighDimensional Mixture Models For Unsupervised Image Denoising (HDMI)
 Convolutional Neural Networks on Graphs
 Below the Surface of the NonLocal Bayesian Image Denoising Method
 Learning iterative reconstruction for high resolution photoacoustic tomography
 Advancements in Hybrid Iterative Methods for Inverse Problems
 Learned forward operators: Variational regularization for blackbox models
 Breaking the Curse of Dimensionality with Convex Neural Networks
 The tensor graphical lasso (Teralasso)
 Nonlinear Eigenanalysis of sparsitypromoting regularisation operators
 Accelerated FreeForm Model Discovery of Interpretable Models using Small Data
 Task Oriented Reconstruction using Deep Learning
 Denoising Geometric Image Features
 Structured solutions to nonlinear systems of equations
 Geometry and Topology of Neural Network Optimization
 Enhancing fMRI Reconstruction by Means of the ICBTVRegularisation Combined with Suitable Subsampling Strategies and Temporal Smoothing
 Optimal Approximation with Sparsely Connected Deep Neural Networks
 PDEbased Algorithms for Convolution Neural Network
 Cancer ID  From Spectral Segmentation to Deep Learning
 tba
 Spectral Computed Tomography
 Denoising geometric image features
 Graph Methods for Manifoldvalued Data
 The Complexity of Motion in Medical Imaging: From Theory to Practice
 Patientspecific Biomechanical Modelling in the Development of Cardiovascular Disease
 Using Machine Learning to Accelerate Treatment Workflows in Radiation Oncology
 Introduction
 Questions
 Functional Respiratory Imaging: The Story of a Growing Child
 From Analysis Method to Quantitative Imaging Biomarkers
 Routes to Market Introduction for a Promising Imaging Biomarker
 Introduction
 MedIAN (Medical Image Analysis Network)  Collaborating Across Disciplines
 Collaborations on Imaging – The Medimmune’s Innovative Way
 Digital Innovation for Imaging Agents
 New Technology Can Transform Lowcost Microscopy
 Intraoperative Molecular Imaging in Cancer Surgery
 Challenges for Machine Learning in Clinical Decision Support : Focus on Stroke
 Statistical Framework for Modelling Interobject Relationships in Multi Object Image Analysis
 Introduction
 Welcome, Introduction & Update from the Centre for Mathematical Imaging in Healthcare
 Interannual variability and predictability of Arctic summer sea ice  review of previous years with focus on summer 2017
 How competition for light and wind resistance shape tree forms
 Joint Motion Estimation and Image Reconstruction for Dynamic Xray Tomography
 Rothschild Lecture: On Growth and Form and Mathematics: Reading d'Arcy Thompson 100 Years On
 Learning Invariants and Representation Spaces of Shapes and Forms
 On acousticgravity waves in arctic zones with elastic icesheets
 Degrees of freedom in the marginal ice zone's waveice system
 Experimental study on dead water resistance of ice floe in a twolayer fluid
 Fully dispersive nonlinear model equations for hydroelastic waves
 Impact of supercooled droplets on nanoengineered surfaces
 Shear flow over patches of flexible surface and related nearsurface interactions
 Shipicefluid interaction studies on ice resistance of ships
 Dynamic pattern evolution in growing bacterial colonies
 Interactions between phase change and boundary layer structure
 Antarctic Coastal Polynyas: Do Measurements of Winter Processes give clues to modeling Improvements and better model fidelity?
 Waves and moving loads along frozen channels
 Underwater noise under ice conditions: from the ice chorus to the environmental challenge
 Variational existence and stability theory for hydroelastic solitary waves
 Time quasiperiodic gravity water waves in finite depth
 Existence of quasipatterns, solutions of the BénardRayleigh convection
 Impacts of ocean waves on the Polar Sea Ice and Oceans
 A sea ice model with waveice interactions on a moving mesh
 Stability criteria for nonlinear waves in Hamiltonian and reversible systems
 Conformal geometry and hydroelastic waves
 Wave patterns beneath an ice cover
 Asymmetric nonlinear flexural waves
 Wave Propagation in Viscoelastic Materials over Water
 In situ detection of fluid movement in Antarctic landfast sea ice
 Numerical study of solitary wave attenuation in a fragmented ice sheet
 Computing FlexuralGravity Waves
 title and abstract tba
 Nonlinear hydroelastic waves and related flows
 Modelling water wave overwash of ice floes
 Damping of surface wave in MIZ of the Barents Sea: field observations and modeling
 Where ice is not: The liquid phase in the sea ice model CICE
 Dead water effect on drift of icebergs
 A different perspective on waveice interaction research
 Modelling dynamics of the marginal ice zone, including combined collisional and EVP rheology
 The Shape and Function of the Nasal Cavity
 Mathematical Challenges in Modelling Wave Scattering in the Marginal Ice Zone
 River Ice – Process, Theory, and Mathematical Modeling
 Bifurcation theory in the context of nonlinear steady water waves
 Rothschild Lecture: Image Compression with Differential Equations
 Discrete images, continuous world: A better basis for discussion?
 Recent advances in granular rheology and possible applications to large scale sea ice dynamics
 On the existence of weak solutions of the PeronaMalik equation
 Forms and Patterns of Viscous and Elastic Threads
 Panel Discussion and WrapUp
 Questions and Discussion
 Modelling Approaches to Address Sea Ice Complexity
 Lunch and Posters
 Questions and Discussion
 What Sea Ice Physics is Missing from Models?
 Questions and Discussion
 What do Climate Models need Sea Ice for?
 Introduction to Sea Ice Climate Models
 Welcome & Introduction
 Structure formation in magnetised plasmas
 Swimming of a simple vertebrate: Insights from computational and robotic models.
 Modelling brain and skull morphogenesis
 Quantum vortex dynamics by Seifert surface information
 Stochastic partial differential fluid equations as a diffusive limit of deterministic Lagrangian multitime dynamics
 Helicity, Reconnection and Seifert Surfaces
 Patterns of bacterial colonies
 Defects in positional and orientational order on surfaces and their potential influence on shape
 Thin film models for active liquid crystals
 Elasticity and fluid mechanics of lipid tethers
 Dynamical remodelling of biological interfaces
 Drinking and Diving
 Mechanics and polarity in cell motility
 A story in shells
 Coarsegraining of collective dynamics models
 Fibonacci phyllotaxis in plants and algae, a biological convergence with a physical origin
 Flight of the smallest insects
 Deformable bodies in anisotropic fluids
 Fluid and solid mechanics in active cellular processes
 Unraveling hagfish slime
 Packing problems, phyllotaxis and Fibonacci numbers
 Flexible tubes conveying fluid: geometric modeling, stability, and variational integrators
 Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing
 Waveinduced collisions of thin floating disks
 Swelling and Shaping of Soft Structures
 The planar elastica, stress, and material stress
 Fluid Mechanics of Soft Robots and Actuators
 Simulations of Pulsating Soft Corals
 Motility induced elongation of the vertebrate embryo
 How the elephant grabs with its trunk
 Flowmediated synchronization of swimmers and rotors at the micron scale
 Turing revisited: the chemomechanical bases of morphogenesis in soft living matter
 Indentations of plastic layers
 Microtubule Rings
 Form, flow, deformation, and transport in the embryonic lung
 The dynamics of a packed cell tissue
 The Stokesflow parachute of the dandelion fruit
 The transverse arch of human foot
 Capturing gas in soft granular media
 Some surprises in selfpropulsion via selfdeformation: snake scattering & supersmarticles
 Elastocapillarity: When surface tension deforms elastic solids
 On the robustness of morphogenesis
 New insight from CryoSat2 sea ice thickness for sea ice modelling
 Impact of initialising sea ice forecasts using CryoSat2 thickness observations for seasonal sea ice prediction with the Met Office GloSea system
 Using Arctic ice mass balance buoys for model evaluation
 Arctic Sea Ice Thickness Change
 Statistics of the sea ice thickness distribution
 Challenges in estimating ocean surface stresses in sea ice covered Arctic and Antarctic regions
 Atmospheric response to marginalicezone drag parameterisation
 Integrating Observations and Models to Better Understand a Changing Arctic Sea Ice Cover
 How much should we believe correlations between Arctic cyclones and sea ice extent?
 Investigating future changes in the volume budget of the Arctic sea ice in a coupled climate model
 Wintertosummer transition of Arctic sea ice breakup and floe size distribution in the Beaufort Sea
 Waves, ice and ocean in the future projections of the Arctic and Southern oceans
 Impact of surface wave mixing on sea ice and mixed layer depth
 Relationship between sea ice deformation and rheology
 Frazilice dynamics in mixed layers and subiceshelf plumes
 Using seaice deformation fields to constrain the mechanical strength parameters of geophysical sea ice
 Opening remarks, Danny Feltham
 Brine rejection from sea ice
 Nonlinear stochastic time series analysis for sea ice and climate
 Ising model for melt ponds on Arctic sea ice
 Simple rules govern the patterns of Arctic sea ice melt ponds
 About the waveparticle duality observed with a classical particle driven by its memoryendowed wavefield
 Different ice observation methods in marine operations
 Sea ice research  needs and gaps
 Modeling Arctic melt ponds
 Models of multiscale and multiphase sea ice thermodynamics
 Changes to sea ice thickness distribution due to Ice Shelf Water
 When is all the sea ice gone?
 Modeling macroporosity of ridged sea ice in basinscale models
 Sea ice stability and rapid retreat
 Advection enhanced diffusion processes
 Flowinduced Coordinates for Transient AdvectionDiffusion Equations with Multiple Scales
 Effective Rheology and Wave Propagation in the Marginal Ice Zone
 A viscoelastic model for wave propagation in the marginal ice zone
 Sensitivity of Arctic sea ice state to model parameter space, resolved processes and climate coupling
 Sea ice model physics: in search of fidelity
 A compilation of research and thoughts on the future of sea ice models.
 Marginal Ice Zone Evolution due to WaveInduced Breaking
 Rothschild Lecture: Largescale sea ice modeling: societal needs and community development
 Filling the polar data gap with harmonic functions
 Floe size and ice thickness distributions
 A new continuum rheological model for the deformation and drift of sea ice
 Discreteelement models of sea ice dynamics and fracture
 Linking scales in the sea ice system
 Small to big, quick to slow: The many scales of sea ice properties and processes
 Variational Methods to Image Segmentation
 Total Generalized Variation for Manifoldvalued Data
 Optimal TransportBased Total Variation for Functional Lifting and QBall Imaging
 Adaptive and Move Making Auxiliary Cuts for Binary Pairwise Energies
 Estimation of linear operators from scattered impulse responses
 Representer theorems for illposed inverse problems: Tikhonov vs. generalized totalvariation regularization
 Alternating proximal gradient descent for nonconvex regularised problems with multiconvex coupling terms
 Convex regularization of discretevalued inverse problems
 Deconstructing Tip Growth Morphogenesis
 Joint imaging and calibration using nonconvex optimization
 SublabelAccurate Relaxation of Nonconvex Energies
 Directional Regularization for Image Reconstruction
 tba
 Endtoend learning of CNN features in in discrete optimization models for motion and stereo
 Fast Algorithms for Euler´s Elastica energy minimization and applications
 Convex Analysis in Hadamard Spaces
 Dissipation of wind waves by pancake and frazil ice in the autumn Beaufort Sea
 Low dimensional manifold model for image processing
 Sensitivity Analysis with Degeneracy: Mirror Stratifiable Functions
 Efficient numerical Methods For Variational inpainting models
 Valued Constraint Satisfaction Problems
 Automating stochastic gradient methods with adaptive batch sizes
 Geodesic Methods for Interactive Image Segmentation using Finsler metrics
 Drinks Reception and Networking
 Open Discussion and Questions
 Imaging Whales from Space
 Computational Challenges for Long Range Imaging
 Validating Machine Learning Models Visually with Zegami
 Current topics on seaice research: Led by A Korobkin
 Nonlinear Tomography
 Statistical Machine Learning and Optimisation Challenges for Brain Imaging at a Millisecond Timescale
 Organiser Introduction
 Welcome and Introduction
 Preconditioned and accelerated DouglasRachford algorithms for the solution of variational imaging problems
 Tensor Data Analysis: Models and Algorithms
 Gyrotactic focussing by swimming microorganisms in threedimensional flows
 Fractional Order Derivatives Regularization: Models, Algorithms and Applications
 Minimization of curvature dependent functional.
 Video colorization by a variational approach
 Nonlinear spectral analysis  beyond the convex case
 Nonlinear Spectral Decomposition
 On Overparametrization in Variational Methods
 Spectral Clustering meets Graphical Models
 Efficient and Stable Schemes for 2D ForwardandBackward Diffusion
 On (pre) dualization, dense embeddings of convex sets, and applications in image processing
 Morphodynamics of cohesive objects
 Shapes of Colloidal Membranes
 ThreeDimensional solitary water waves
 Fast computation of steady surface gravity waves
 Symplectic topology of K3 surfaces via mirror symmetry
 On the ADHM Seiberg–Witten equations
 Graded linearisations for linear algebraic group actions
 A polyfold lab report
 Existence of Lefschetz fibrations on Stein/Weinstein domains
 Constructing the virtual fundamental cycle
 Singularities of HermitianYangMills connections and the HarderNarasimhanSeshadri filtration
 Graph Legendrians and SL2 local systems
 An SU(3) variant of instanton homology for webs
 Expanding large global solutions of the compressible Euler equations
 Coherent Lagrangian Vortices in Turbulence
 On traffic modeling and the Braess paradox
 An approach to the four colour theorem via Donaldson Floer theory
 From Euler to Poincare
 Remarks on Nahm's equations
 Mathematical applications of little string theory
 Computing knot Floer homology
 100 Problems around Scalar Curvature
 Speculations about homological mirror symmetry for affine hypersurfaces
 Knot Floer homology and algebraic methods
 The GopakumarVafa conjecture for symplectic manifolds
 Atiyah Floer conjecture
 Fields of definition of Fukaya categories of CalabiYau hypersurfaces
 Vortex waves in deep water: Lagrange approach
 Experimental validations of various aspects of the waveinduced mean flow for surface gravity wave groups
 Hamiltonian models for the propagation of irrotational surface gravity waves over a variable bottom
 Prediction of the freesurface elevation for rotational water waves using the recovery of pressure at the bed
 Upper bound on the slope of a steady water wave
 Long time dynamics of some dispersive models arising from the study of water waves
 Stability of traveling water waves with a point vortex
 Zonal flows and wave resonance.  Rossby wave case 
 Rogue and Shock Waves within the Framework of Weakly Nonlinear Evolution Equations  Applicability and Limitations
 Smallamplitude steady water waves on flows with countercurrents.
 Twocomponent CamassaHolm system and its reductions
 Numerical computation of water waves with discontinuous vorticity
 IsobeKakinuma model for water waves as a higher order shallow water approximation
 Global bifurcation of steady gravity water waves with constant vorticity
 Harnessing wavepower in open seas
 CraikLeibovich Equation, Distinguished Limits, Drifts, and PseudoDiffusion
 On linear and nonlinear waveship interactions
 Numerical study of solitary waves under continuous or fragmented ice plates
 Nonlinear surface waves at finite depth with and without surface cover
 Capturing the flow structure beneath water waves
 Some thoughts on the role of the convection terms in the fluid mechanical PDEs.
 On long term regularity of water wave models
 Conservation relations for twodimensional wavecurrent interactions
 Physical oceanography: an applied mathematician's approach
 Cubical and simplicial 2  the coherent nerve of a cubical category (joint work with K Kapulkin)
 How do human mathematicians avoid big searches?
 A MathComp Library tour
 Categorical structures for type theory in univalent foundations"
 Simplicial and cubical sets  how they relate to each other (joint work with Chris Kapulkin)
 Automated theorem proving in firstorder logic: from superposition to instantiation
 Parametric Groebner basis computations and elimination
 Social Proof Seminar (coordinated by Fenner Tanswell)
 Modelling the way mathematics is actually done
 An overview of the Flyspeck project
 Concise  a synthesis of types, grammars, semantics
 Systems Based on Set Theory
 Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics
 Big Proof & Education
 Language and automation in mathematics
 Reasoning by equivalence: the start of proof in elementary education
 Computer Algebra and Formal Proof
 Social proof: social session on the POPL experience
 Socialising proof
 Measuring Sample Discrepancy with Diffusions
 Go forth and multiply! Imperatives in mathematical proofs
 Multiscale algorithms for simple fluids
 Combining Machine Learning and Automated Reasoning: Some Training Examples
 Sampling with nonreversible dynamics
 Eventchain algorithms: taming randomness in Monte Carlo methods through irreversibility, factorization and lifting
 Mining Human Proofs from Machine Proofs
 How does breaking detailed balance accelerate convergence to equilibrium?
 Piecewise deterministic Markov processes and efficiency gains through exact subsampling for MCMC
 A simple prover in the browser
 Auto2 prover in Isabelle
 Evaluating winding numbers through Cauchy indices in Isabelle/HOL
 SMTCoq, a plugin for the trustworthy integration of SAT/SMT solvers into Coq
 CDSAT: conflictdriven theory combination
 Panel on future directions for Big Proof
 Panel on future directions for Big Proof
 After Math: Reasoning, Computing, and Proof in the Postwar United States (via Skype)
 Proof Archeology: Historical Mathematics from an Interactive Theorem Proving Standpoint
 Lightweight and Heavyweight Methods for Integrating Mathematical Libraries
 The role of explanation in mathematical research
 Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your Proofs
 Accessible Reasoning with Diagrams: Ontology Debugging
 Formal Verification of Financial Algorithms, Progress and Prospects
 Mining the Archive of Formal Proofs
 Scaffolds and frames: the MathComp algebra formal library
 Everything's Bigger in Texas: ``The Largest Math Proof Ever''
 The social machine of mathematics
 Hammers and Model Finders, and Beyond
 Metaprogramming with Dependent Type Theory
 Formally Verified Approximations of Definite Integrals
 Schemas and semantics for Higher Inductive Types
 Small Proofs
 Homotopy Type Theory in Lean
 Logic in univalent type theory
 Impredicative encodings in HoTT
 Mathematical Knowledge at Scale
 Proof Assistants: From Symbolic Logic To Real Mathematics?
 UniMath  its present and its future.
 Big Conjectures
 International Knowledge Management Trust
 An Industrially Useful Prover
 Homotopy Type Theory in Agda
 Inference in generative models using the Wasserstein distance
 The Lean HoTT library
 The HoTT library in Coq
 Exact Sampling for Multivariate Diffusions
 Overview of Unimath
 BradleyTerry models for paircomparison networks: Structure and scalability
 Langevin MCMC: theory and methods
 Interpretation of the Calculus of Constructions in dictoses
 The Discrete Bouncy Particle Sampler
 Scalable Monte Carlo inference for statespace models
 Nominal applications of the classifying space of the finitary permutation group
 The Correlated PseudoMarginal Method
 A Verified ODE Solver and Smale's 14th Problem
 Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximation
 Type theory and higher categories
 Community recovery in weighted stochastic block models
 Industrial Use of a Mechanical Theorem Prover
 Detecting radiological anomalies
 Mobile Apps and Machine Learning for Improving Healthcare
 Hierarchypreserving regularization solution paths for identifying interactions in high dimensional data
 Towards Encrypted Inference for Arbitrary Models
 Fast Bayesian Boolean Matrix Factorisation
 Social Proof Seminar (coordinated by Fenner Tanswell)
 Optimisation and complexity for Gibbs samplers for hierarchical and crossedeffect models
 Exact Bayesian Inference for Big Data: Single and MultiCore Approaches
 SemiAutomatic Asymptotics in Isabelle/HOL
 On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methods
 Kinetic energy choice in Hamiltonian/hybrid Monte Carlo
 Validating approximate Bayesian computation on posterior convergence
 Asymptotics of Approximate Bayesian Computation
 Category theory and functional programming for scalable statistical modelling and computational inference
 Transferability: as easy as ABC?
 Big Proof and Education (coordinated by Jeremy Avigad)
 Designing efficient composite likelihoods
 Coresets for scalable Bayesian logistic regression
 Classical Analysis in Lean & Isabelle
 tba
 Comparing Consensus Monte Carlo Strategies for Distributed Bayesian Computation
 Computational HigherDimensional Type Theory
 Unbiased approximations of products of expectations
 Variational, Hamiltonian and Symplectic Perspectives on Acceleration
 Inference Algorithms
 Scalable statistical inference with INLA
 Proof Automation  Automation in Isabelle's Analysis
 Inference with approximate likelihoods
 Monte Carlo without rejection
 Data compression with statistical guarantees
 Synthetic topology in Homotopy Type Theory for probabilistic programming
 Leftorderability and 3manifold groups: Rothschild Lecture
 A tutorial introduction to Agda
 A tutorial introduction to the PVS proof assistant
 Quantum Annular Link Homology via Trace Functor
 HoTT research seminar (Coquand & Rijke)
 Towards a categorical bosonfermion correspondence
 Some webs and qHowe dualities in types BCD
 Nonmultiplicative TQFTs and diagrammatic categorifications of the polynomial ring
 The Lean Theorem Prover
 2Verma modules and the KhovanovRozansky link homologies
 Categorical diagonalization
 Effectivity and Complexity Results in Hilbert's 17th problem MarieFrançoise Roy Université de Rennes 1, France
 Categorified knot invariants and algebraic geometry
 On colored link homologies
 Representation theory and the Coulomb branch
 Using Agda to Explore PathOriented Models of Type Theory
 An Upsilonlike invariant from KhovanovRozansky homology
 Introduction to pdg 2representation theory
 Univalent type theory and modular formalisation of mathematics
 How to categorify the ring of integers localized at two
 Around Chebyshev's polynomial and the skein algebra of the torus
 Traces, current algebras, and link homologies
 Hall algebras and Fukaya categories
 Lattices and Homological Algebra
 The Big Proof Agenda for Mechanizing Mathematical Discourse
 Non semisimple TQFTs from quantum sl(2)
 The borders of Outer space
 Topology of ends of nonpositively curved manifolds
 Freebycyclic groups and trees
 Action dimension and L^2 Cohomology
 The dynamics of classifying geometric structures
 Extending group actions on metric spaces
 Hyperbolic groups with boundary an ndimensional Sierpinski space
 Vanishing simplicial volume for certain affine manifolds
 L2torsion of freebycyclic groups
 tba
 Surface subgroups of graphs of free groups
 The boundary of hyperbolic freebycyclic groups
 Generalized BestvinaBrady groups and their applications
 The evolution of L2Betti numbers
 Group actions on C*algebras and obstruction theory
 Effective quasimorphisms on rightangled Artin groups
 Groups acting on trees: representation theory and operator algebras
 Polynomial invariants of graph maps and applications to Out(Fn) and Mod(Sgn)
 Universal L2torsion for freebycyclic groups
 Kaehler groups and CAT(0) cubic complexes
 Geodesic currents and counting problems
 Around a big mapping class group
 The uniform boundary condition and simplicial volumes
 Bounded cohomology and combinatorial volume forms
 Compactifications of spaces of maximal representations and non archimedean geometry
 The truth about finite group orbifolds
 Conformal nets, VOAs and their representations
 What to expect from logarithmic conformal field theory
 On the Classification of holomorphic vertex operator algebras of central charge 24
 On questions around reconstruction program
 Affine centralizer algebras
 Bicommutant categories
 The string group and vertex algebras
 Induced C*hulls for *algebras
 Loop groups and noncommutative geometry
 Conformal Field Theory, Operator algebras and symmetric Fuchsian equations
 Knots and links from the Thompson groups
 Line bundles over noncommutative spaces
 An application of Tduality to Ktheory
 KramerWannier and electromagnetic duality in field theory
 The Quantum SineGordon model in perturbative AQFT
 YangBaxter representations of the infinite symmetric group
 Baxterising using conserved currents
 Associative algebras and conformal field theories
 Strong property (T), subexponential growth of derivatives and invariant metrics
 Synergy on quon language
 Subfactors with infinite representation theory
 Rothschild Lecture: Classification of von Neumann algebras
 Discussion about the Landauer principle (and bound)
 The relative Drinfeld commutant and alphainduction
 On Picture Language
 Phase transitions in the semicontinuous limit of a quantum spin chain
 Khovanov homology and knot Floer homology for pointed links
 Morse Structures on Open Books
 Introduction to continuous fields of C*algebras and their topological invariants (Part 3)
 Pimsner legacy
 Introduction to continuous fields of C*algebras and their topological invariants (Part 2)
 Bivariant and Dynamical Versions of the Cuntz Semigroup
 Introduction to continuous fields of C*algebras and their topological invariants (Part 1)
 How to compute torus link homology
 Moebius Geometry of Boundaries''
 Are geodesic metric spaces determined by their Morse boundaries?
 Buildings, surfaces and quaternions
 PETs, pseudogroup actions, and renormalisation
 Dimensionality Reduction Techniques in Medical Data Analysis
 Large Data Limits for Graphical Models
 Something about the Khovanov space
 High Dimensional Changepoint Estimation via Sparse Projection
 H^3 and twisted Ktheory for compact Lie groups
 Geometric Methods for the Approximation of HighDimensional Data Sets and HighDimensional Dynamical Systems
 Your Browser Can Prove Your Lemmas
 Novel Uses of Shipping Data in Commodity Markets
 Nonparametric Estimation of Diffusions in the LowFrequency Setting
 Reconstruction Methods in Transmission Electron Tomography
 Learning a Sampling Pattern for MRI
 Approaches to Sampling and Inference for Bayesian Nonparametrics
 Photoacoustic Tomography with Total Variation Regularisation
 Quantum Entropies Through Convex Optimisation
 Sparse Principal Component Analysis via Random Projections
 Introduction to Elevator Pitches
 Surface Approximations and Geometric Energies
 Using Novel Data Sources to Model Commodity Markets
 Welcome and Introduction, Update from CCIMI
 The pentagram map and discrete integrable systems
 Nilpotent Lie groups: Fourier inversion and prime ideals
 Uniformly recurrent subgroups and rigidity of nonfree minimal actions
 Affine actions, cohomology and hyperbolicity
 Thurston's Shapes of Polyhedra
 Combinatorial Tangle Floer homology
 Categories of curved complexes for marked surfaces
 L^2Betti numbers of universal quantum groups
 Iterated barycentric subdivision and steerable semigroups of SL_n(R)
 Subfactors related to certain symmetric spaces
 Rieffel deformation, tempered distributions and the Gabor wavefront set
 Commensurating actions of groups of birational transformations
 The action dimensions of some discrete groups
 A random walk around soluble group theory
 How to quickly generate a nice hyperbolic element
 Laminations and external angles for similarity pairs
 Old results and new questions on the rapid decay property
 Subexponential growth, measure rigidity, strong property (T) and Zimmer's conjecture
 The diameter of the symmetric group: ideas and tools
 Approximating simple locally compact groups by their dense subgroups
 Large scale geometry in large transformation groups
 Unitary representations of reflection groups and their deformations.
 Convex cocompactness in real projective geometry
 Homology torsion growth of higher rank lattices
 Vectorial metric compactification of symmetric spaces and affine buildings
 Negative curvature and rigidity for von Neumann algebras
 Arithmetic of Dehn surgery points
 Representation theory of Drinfeld doubles (Part 4)
 Ping Pong on CAT(0) cube complexes
 Local testability in group theory II
 Local testability in group theory I
 Characterizing a vertextransitive graph by a large ball
 On finitarily approximable groups
 Towers of regular selfcovers and linear endomorphisms of tori
 Degenerations of maximal representations, nonArchimedean upper half space and laminations
 Approximations of infinite groups
 Exotic lattices and simple locally compact groups
 Free entropy dimension and the orthogonal free quantum groups
 Exotic lattices and simple locally compact groups
 Pappus's Theorem and the Modular Group
 Representation theory of Drinfeld doubles (Part 3)
 Uniformly recurrent subgroups and lattice embeddings
 Finiteness conditions for classifying spaces for the family of virtually cyclic subgroups.
 The 2linearity of the free group and the topology of the punctured disc
 Traces in nonsemisimple categories
 Exotic lattices and simple locally compact groups
 Approximate groups: nilprogressions and the structure theorem.
 Representation theory of Drinfeld doubles (Part 2)
 Nonarithmetic lattices
 On diagonal group actions, trees and continued fractions in positive characteristic
 Bar Natan's deformation of Khovanov homology and involutive monopole Floer homology
 HerzSchur multipliers and approximation properties
 Bounding genera of singular surfaces
 Property (T) and approximate conjugacy of actions
 Wrapup and Questions
 Fidelity and Resolution in Undersampled Physical Imaging
 The Human Connectome Project Multimodal Cortical Parcellation: New Avenues for Brain Research
 Introduction
 Mass Spectrometry Imaging in Drug Discovery: The Challenges and Opportunities for Molecular Imaging from Single Cells, Preclinical Models and Through to Intraoperatively
 Segmentation of Organs at Risk for Radiotherapy Planning
 Introduction to Imaging and Data Integration With an Update from LCMH
 Hilbert's 5th problem and the GleasonYamabe theorem
 Elevator Pitch Summary
 Light Sheet Microscopy in Cancer Research: Imaging the Dynamics of Physiologically Relevant 3D Models
 Cardiac MRI and Myocardial Infarction: the role of Mathematical Modelling
 Calibration of the Heart Model: Dealing with Uncertainty
 Modelling Challenges in Segmentation of Lung Images in Presence of Missing Data
 Development of Cancer Diagnostics using midInfrared Imaging including FELbased SNOM
 Localising Shapes in Neuroimaging Data
 Imaging plus X: Datadriven Models of Neurological Disease Progression
 Microstructure Imaging with Diffusion MRI
 Introduction
 BenjaminiSchramm convergence of arithmetic orbifolds.
 Welcome and Introduction with update from CMIH
 Representation theory of Drinfeld doubles (Part 1)
 Exotic lattices and simple locally compact groups
 BPS states of M5brane on T^3
 Colored knot invariants from ReshetikhinTuraev approach
 BPS states, knots and quivers
 RAAG subgroups of RAAGs
 Towards a symplectic model of odd Khovanov homology
 Median spaces and spaces with thin triangles.
 Exotic lattices and simple locally compact groups
 Higher genus knot contact homology and recursion for the colored HOMFLY polynomial
 Integrality in analytically continued ChernSimons theory
 On colored link homologies
 Arborescent knots, mutants  current status on their invariants
 Ifactorial quantum torsors and Heisenberg algebras of quantized enveloping type
 Knots, (extremal) Apolynomials, and BPS invariants
 KhovanovRozansky homology and q,t Catalan numbers
 Approximate groups: Hrushovski's Lie model theorem
 The Verlinde formula for Higgs bundle moduli spaces
 Unified invariants of homology 3spheres
 Mirror symmetry, integrable systems and the GopakumarVafa correspondence for CliffordKlein 3manifolds
 Surface operators and categorification of quantum groups
 String Theory and Homological Invariants for 3Manifolds
 Rothschild Lecture: Thomson's 5 point problem
 Vortices and Vermas (and other applications of 3d gauge theory to geometric representation theory
 The oriented Thompson group, oriented links, and polynomial link invariants
 Closing Remarks
 Presentation: Challenge 5. Understanding Rainfall Patterns
 Presentation: Challenge 4. Making Decisions Using Uncertain Forecasts
 Presentation: Challenge 3. Estimating Flood Probability Using Historical Data
 Topological finite generation of certain compact open subgroups of tree automorphisms.
 Presentation: Challenge 2. Modelling Sewer Networks
 The Poincaré profile of a graph or group
 Presentation: Challenge 1. A Riskbased Analysis of Small Scale, Distributed, "Naturebased" Flood Risk Management Measures Deployed on River Networks
 Opening Comments
 Final Preparations (Isaac Newton Institute & Centre for Mathematical Sciences)
 Group Discussions (Continuation of Group Discussion and Preparation of Presentations)
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Exotic lattices and simple locally compact groups
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Group Discussions (Continuation of Group Discussion)
 Presentations on Progress
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)
 Introduction: Challenges 4 & 5. Making Decisions Using Uncertain Forecasts and Understanding Rainfall Patterns
 Introduction: Challenge 3. Estimating Flood Probability Using Historical Data
 Introduction: Challenge 2. Modelling Sewer Networks
 Introduction: Challenge 1. A Riskbased Analysis of Small Scale, Distributed, “Naturebased” Flood Risk Management Measures Deployed on River Networks
 Introduction
 Welcome
 CalabiYau volumes and Reflexive Polytopes
 Presheaves of spaces and the Grothendieck construction in higher geometry
 Coefficients for commutative Ktheory
 Vertex Operator Algebras from CalabiYau Geometries
 tba
 Real bundle gerbes
 Homotopy theory with C*categories
 Equivariant higher twisted Ktheory
 Higher twisted Ktheory a la Dadarlat and Pennig
 Local quivers and Morita theory for matrix factorizations
 A classification of some 3CalabiYau algebras
 Polynomial functors and algebraic Ktheory
 Higher preprojective algebras and higher zigzag algebras
 Frobenius algebras from CFT
 Quivers and CFT: preprojective algebras and beyond
 Periodicity for finitedimensional selfinjective algebras
 Preprojective algebras and CalabiYau algebras
 Geometric models for twisted Khomology
 A geometric approach to constructing conformal nets
 Operator algebras on L^p spaces
 Semisimple quotients of TemperleyLieb
 The semicontinuous limit of quantum spin chains
 On the set of Lspace surgeries for links
 A relative tensor product of rational full conformal field theories
 Braid monodromy, orderings, and transverse invariants
 Weak Morita equivalence of compact quantum groups
 Finitedimensional representations constructed from random walks
 Caratheodory's metrics on Teichmuller spaces
 6. Lpcohomology
 Tutte's golden identity from a fusion category
 Approximate groups: structure theorem for special classes of groups
 The wrapped Fukaya category of a Weinstein manifold is generated by the cocores of the critical handles
 Approximate equivalence of measurepreserving actions
 Computing Kazhdan constants by computer.
 Incompressible surfaces in closed locally symmetric manifolds
 5. Lpcohomology
 Tduality and the condensed matter bulkboundary correspondence
 Approximate groups: basic definitions, structure theorem and geometric consequences
 Closing Remarks
 Mirages, in the Spirit of JBK: Rays, Caustics, Waves and Raman's Instructive Confusion
 Radiation by a Dielectric Wedge
 From Kiiking to Kuzmak
 An Asymptotic Matching Problem in Braginskii Magnetohydrodynamics
 Numerical Investigations of the Properties of Nonlinear Free Surface Flows
 The Unified Transform, Imaging, Asymtotics
 Effective Properties of Doubly Periodic Media
 Complex Rays, Cones of Silence and Catastrophes
 Joe Keller and the Courant Institute 197071: Beginning a Mathematical Journey
 On the Buckling of Elastic Rings by External Confinement
 Understanding Angiogenesis through Modeling and Asymptotics
 Computational Wave Propagation in the Spirit of the Geometrical Theory of Diffraction
 The Differential Geometry and Mechanics of Tying Your Shoelaces
 Spectacle Lens Design following Hamilton, Maxwell and Keller
 Welcome and Introduction
 On Nonreflecting Boundary Conditions
 Kellerods and Kelasticas
 Liesegang Rings
 The Motion of SurfactantLaden Bubbles
 Floating with Surface Tension: From Archimedes to Keller
 Keller's Influence Behind the "Iron Curtain": GTD Ideas in the Soviet/Russian Diffraction School
 Mathematics of the Faraday Cage
 Discrete Modelling of WaveDroplet Dynamics
 Keller Cones in Aeroacoustics
 A generalization of the TemperleyLieb algebra from restricted quantum sl2
 Hairodynamics
 Welcome and Introduction
 A Banachic generalization of Shalom's property H_FD.
 Approximate groups: an introduction
 Semigroup actions on operator algebras
 Towards a homological model for the Colored Jones
 HerzSchur multipliers of dynamical systems
 Geometry of finite quotients of groups.
 4. Lpcohomology
 Membrane Matrix Models and nonperturbative tests of gauge/gravity
 The Seifert form's optimal bounds for slice genera
 Endomorphisms and automorphisms of the 2adic ring C*algebra Q_2
 Monster groups acting on CAT(0) spaces
 Indecomposable characters of infinite dimensional groups associated with operator algebras
 Correction terms and the nonorientable 4genus
 Conformal covariance and the split property
 Quasiflats in hierarchically hyperbolic spaces
 Free products in AQFT
 Filtering the Heegaard Floer contact invariant
 Stein fillings and SU(2) representations
 Knot concordance in homology spheres
 Pin(2)equivariant Floer homology and homology cobordism
 Floer homology and covering spaces
 A GordonLitherland form for ribbon surfaces
 Characterizing slopes for torus knots
 3manifold groups epimorphisms and rigidity
 On infinite torsion subgroups of CAT(0) groups
 Branched covers of quasipositive links and Lspaces
 On tunnel number one knots with lens space surgeries
 3. Lpcohomology
 Boundaryreducing surgeries and bridge number
 Constructions of asymmetric Lspace knots
 Null surgery on knots in Lspaces
 The TemperleyLieb category in operator algebras and in link homology
 The TemperleyLieb category in operator algebras and in link homology
 Cobordism maps in knot Floer homology
 Generalized torsion elements and biorderability of 3manifold groups
 Diagram Uniqueness for Highly Twisted Plats
 Slopes, colored links and Kojima's eta concordance invariant
 Lspace surgeries on iterated satellites by torus links
 Floer homology, group orders, and taut foliations of hyperbolic 3manifolds
 The complexity of unknot recognition
 Polytope invariants of groups and manifolds
 Operator algebras in rigid C*tensor categories, part II
 Eigenvalues of rotations and braids in spherical fusion categories
 Trivalent Categories
 Algebras, automorphisms, and extensions of quadratic fusion categories
 On gauging symmetry of modular categories
 Modular invariants for grouptheoretical modular data
 Braids, Cosimplicial Identities, Spreadability, Subfactors
 An elementary approach to unitary representations of the Thompson group F
 Buildings and C*algebras
 Generalizing BestvinaBrady groups using branched covers
 Conformal field theory out of equilibrium
 tba
 Screening operators in conformal field models and beyond
 2. Lpcohomology
 Crossedproducts by locally compact groups and intermediate subfactors.
 Cohomology and $L^2$Betti numbers for subfactors and quasiregular inclusions
 Classification of free ArakiWoods factors
 A classification of realline group actions with faithful ConnesTakesaki modules on hyperfinite factors
 W$^*$Bundles and Continuous Families of Subfactors
 Structure and classification of nuclear C*algebras: The role of the UCT
 The structure of simple nuclear C*algebras: a von Neumann prospective
 The classification of unital simple separable C*algebras with finite nuclear dimension
 On fundamental groups of tensor product II_1 factors
 Dualizability and orientability of tensor categories
 Operator Algebras in rigid C*tensor categories
 A diagrammatic approach to Ocneanu cells
 On rigidity in II1 factor framework
 Foliations on 3manifolds III
 2representations of braid groups, continued
 HOMFLYPT homology
 Representation theory, cohomology and L^2Betti numbers for subfactors
 Bordered via curves and train tracks II
 Bordered via curves and train tracks I
 Operator Algebras and Conformal Field Theory
 Foliations on 3manifolds II
 Representation theory, cohomology and L^2Betti numbers for subfactors
 Annular KhovanovLee theory of braid closures and braided surfaces
 Operator Algebras and Conformal Field Theory
 Annular KhovanovLee theory and representation theory
 Topics in Heegaard Floer homology IV, cont.
 Random walks on random symmetric groups.
 Topics in Heegaard Floer homology IV
 Foliations on 3manifolds I
 The categorified Burau representation
 1. Lpcohomology
 Trivial braid detection via Khovanov homology
 Representation theory, cohomology and L^2Betti numbers for subfactors
 Topics in Heegaard Floer homology III, cont.
 Topics in Heegaard Floer homology III
 Operator Algebras and Conformal Field Theory
 Contact structures on 3manifolds II
 Representation theory, cohomology and L^2Betti numbers for subfactors
 Braid groups and their 2representations
 Operator Algebras and Conformal Field Theory
 Leftorders on 3manifolds III
 Topics in Heegaard Floer homology II, cont.
 Topics in Heegaard Floer homology II
 Contact structures on 3manifolds I
 Subfactors, tensor categories and conformal field theory
 Leftorders on 3manifolds II
 Introduction to subfactor theory
 Leftorders on 3manifolds I
 Topics in Heegaard Floer homology I
 The topology of the contracting boundary of a group
 Subfactors, tensor categories and conformal field theory
 On the small cancellation geometry of certain graph products of groups
 On the linearity of finitely presented groups and its connection to the existence of good geometric actions
 Introduction to subfactor theory
 Small cancellation theory over Burnside groups
 Cutpoints of CAT(0) groups
 Convex subgroups of orderable groups.
 When the outer automorphism groups of RAAGs are vast
 Subfactors, tensor categories and conformal field theory
 Group cubization
 Commensurability classification of certain rightangled Coxeter groups and related surface amalgams
 Introduction to subfactor theory
 Large scale conformal maps
 Coarse negative curvature in action
 Combinatorics of Coxeter groups and Affine Deligne Lusztig varieties
 Boundaries and Moebius Geometry
 Subfactors, tensor categories and conformal field theory
 Groups actions on dendrites
 Group actions on spaces with a distinguished geodesic structure
 Introduction to subfactor theory
 Random graphs and applications to Coxeter groups
 Bounded cohomology of acylindrically hyperbolic groups via hyperbolically embedded subgroups
 Commensurability of groups quasiisometric to RAAG's
 Hyperbolic groups and their subgroups
 Cubicallike geometry of graph products
 Stallings folds for CAT(0) cube complexes and quasiconvex subgroups
 Understanding Tubular Groups
 Uniform exponential growth for groups acting on CAT(0) square complexes
 Cubical Accessibility and bounds on curves on surfaces.
 Growth under automorphisms of hyperbolic groups
 Counting loxodromics for hyperbolic actions
 Polynomialtime NielsenThurston type recognition
 The normal closure of a big Dehn twist in a mapping class group
 Cubulable Kähler groups
 tba
 Modeling and Simulation of Dynamic Networks using EgocentricallySampled Data
 On the Statistical Estimation of the Preferential Attachment Network Model
 Edge and vertexreinforced random walks with superlinear reinforcement on infinite graphs
 Finding and hiding the seed
 Vector Autoregressive based Network Models
 Statistical clustering of temporal networks through a dynamic stochastic block model
 The spread of infections on evolving scalefree networks
 The Effect of Recommendations on Network Structure
 Bayesian Poisson Tensor Decomposition for International Relations
 Mining differential correlation
 Random walk models of network formation
 Multivariate power laws in a preferential attachment network model; model calibration
 Nonparametric methods for the dynamic stochastic block model and the timedependent graphon
 Networks as signals: Extraction of dynamical network structures
 Sparse Gaussian graphical models for dynamic gene regulatory networks
 Epidemics on networks
 Markov process models for timevarying networks
 Detecting changepoints in the structure of a network: Exact Bayesian inference
 Dynamic networks in the human brain
 Study of the dynamics of bacterial communities in the Human Microbiome
 Birds of a feather or opposites attract  effects in network modelling
 A network epidemic model with preventive rewiring: comparative analysis of the initial phase
 Recognizing graphs formed by spatial random processes
 Graphons and Machine Learning: Modeling and Estimation of Sparse Massive Networks  Part II
 Graphons and Machine Learning: Modeling and Estimation of Sparse Massive Networks  Part I
 Dynamic causal networks with multiscale temporal structure
 Continuoustime statistical models for network panel data
 Mixed effects models with covariates perturbed for SDC
 tba
 Decentralising Data Collection and Anonymisation
 Statistical Asymptotics with Differential Privacy
 How should we assess whether a medical device is safe? What are the possible comparators?
 On anonymisation and discrimination
 Linkage and anonymisation in consumer finance
 Discussion of the Future
 Assessing Reidentification Risk in Sample Microdata
 An empirical measure of attribution risk (for fully synthetic data)
 Anonymization of highdimensional datasets
 DataSHIELD: taking the analysis to the data not the data to the analysis
 Can we have medical privacy, cloud computing and genomics all at the same time?
 The Price of Online Queries in Differential Privacy
 PSI : a Private data Sharing Interface
 Individual Differential Privacy
 Attempts to apply Differential Privacy for comparison of standard Table Builder type schemes (O'Keefe, Skinner, Shlomo)
 Theory for Society: Fairness in Classification
 A new relaxation of differential privacy  A part of Women in Data Science (WiDS)
 Barred from work in Scottish prisons, data science to the rescue: discoveries about drugsrelated deaths and women via record linkage  A part of Women in Data Science (WiDS)
 Bootstrapped Inference for Degree Distributions in Large Sparse Networks
 Combining statistical disclosure limitation methods to preserve relationships and dataspecific constraints in survey data.
 Gaming the System for Privacy
 Panel Discussion and Questions
 The Future of Data (Privacy)
 Choice and Decision Making for Data Subjects Empowerment
 Personal Data Stores the Route to Data Independence, Portability, Trust and Seamless Services
 The Science and Practice of Consent
 Session Questions
 A Calculus of Privacy?
 End User Perspective: Personal Finance
 Engaging Citizens in Questions of Health and Data Privacy
 Bayesian networks for the evaluation of evidence when attributing paintings to painters
 Privacy Research: Walking a Mile in Someone Else's Shoes
 Keynote Talk: The Dance of the Seven Veils: Privacy and its Discourses
 Welcome and Introduction
 Facilitated Panel Discussion and Questions
 Tea and Coffee Break
 Automated Zone Design as an Aid to Effective Anonymisation
 Directions in Big Data Anonymisation
 Synthetic Data as a Method for Protecting Confidentiality
 Data Anonymisation and Quantifying Risk Competition
 Session questions
 New Life for Old Data: An Overview of the Clinical Trial Data Sharing Environment
 GB Smart Meter Programme  Network Operator Use of Electricity Consumption Data
 Privacy Risks and Solutions in Financial Services and Telco
 Transport and Data: Privacy by Design
 Anonymisation and the Five Safes
 The Anonymisation Decision Making Framework
 Anonymisation Risk and Privacy
 Welcome and Introduction
 Topics in differential privacy: optimal noise and record perturbation baseddata sets
 A RiskUtility Balancing Approach to Generate Synthetic Microdata
 Session 3: Chaired by Cheryl Thomas (University College London). Questions and Discussions
 The Relationship between Statistics and the Law  a Judicial Perspective
 Strategies to facilitate access to detailed geocoding information based on synthetic data
 Validation of Probabilistic Genotyping Software for Complex DNA samples: The Promulgation of Industry Standards
 Educating Lawyers and Forensic Scientists about Probability and Statistics
 Valid inference from nonignorable network sampling mechanisms
 Challenges and Opportunities for Statistics in Digital Forensics
 Using Bayes Nets for Reasoning with Evidence: Real Life Examples
 The Use of Forensic Databases in Forensic Casework
 Serial Killer Nurses: Is there an Epidemic?
 Popular Understanding of Statistics and its Impacts on the Law
 Overview of the Programme: Outreach and Accomplishments
 Welcome and Introduction
 Rothschild Lecture: The Promise of Differential Privacy
 The geometry of optimal experiment design for vectorvalued OrnsteinUhlenbeck processes.
 Generalisation for Adaptive Data Analysis
 Wavelets in the making — A publication network perspective
 Rothschild Lecture: Helping Doctors and Patients Make Sense of Health Statistics
 Inference for complex DNA profiles
 Quantifying Information Content in Pattern Evidence
 Evaluating a combination of matching class features: a general 'blind' procedure and a tire marks case
 A Bayesian nonparametric approach for the rare type problem
 Understanding Intraday and Interday Variation in LIBS
 Assessing Evidentiary Value in Fire Debris Analysis
 Engineering Privacy for Small Groups
 Evaluating modules in molecular networks in light of annotation bias
 The likelihood ratio as a random variable, with applications to DNA mixtures and kinship analysis
 Challenges of reporting complex DNA mixtures in the courtroom
 The synapselevel wiring diagram of a center for learning and memory, the insect mushroom body
 Estimating tracesuspect match probabilities in forensics for singleton YSTR haplotypes using coalescent theory
 Circuits principles of memorybased behavioral choice
 Y Chromosomal STR Markers: Assessing Evidential Value
 PreDinner Lecture: Forensic Science from the point of view of a Scientific Adviser to Government
 Information Recovery in Shuffled Graphs via Graph Matching
 Inference platform for Ancestry Informative Markers
 Modeling subpopulations in a forensic DNA database using a latent variable approach
 Cell type determination and association with the DNA donor
 An exact, efficient, and flexible representation of statistical models for DNA profiles
 Evaluation of forensic DNA profiles while accounting for one and two repeat less and two repeat more stutters
 Complex DNA profile interpretation: stories from across the pond
 Complex DNA profile interpretation: stories from across the pond
 Modelling the best evidence
 Inverting Entomological Growth Curves Using Functional Data Analysis
 Elicitation of Priors in Bayesian Modeling of DNA Evidence
 Interpreting (chemical) forensic evidence in a Bayesian framework: a multidisciplinary task
 Measuring Performance of LikelihoodRatioBased Evidence Evaluation Methods
 What should a forensic scientist's likelihood ratio be?
 Risk Literacy: How to Make Sense of Statistical Evidence
 Measures of Utility for Synthetic Data
 Steiner trees in the stochastic meanfield model of distance
 German Mathematicians and Cryptology during WWII
 Open Discussion and Questions
 Emerging Disease Analysis: Preparedeness and Response
 Epidemic Models and Networks: Informing Health Policy
 Mathematical Models and Planning of Urban Infrastructure Networks
 Transport Modelling – Developing a Better Understanding of Short Lived Events
 Local to Global – Policing and Criminal Networks
 Social Interaction Types: a Cautionary Tale for Network Scientists
 Using Social Media Data to Predict Foodborne Illness: twitter Works for Norovirus but Where Next?'
 Stress Testing Financial Correlation Networks
 Network Analysis in Retail
 Mathematical Modelling with Applications to Transport and Energy Networks
 Welcome and Introduction
 Plan for the rest of the week
 My View on the Key Research Questions for Synthetic Data
 Beond Microdata: Synthetic tweets
 Challenges in generating and communicating synthetic data
 Analysis methods and utility measures
 GA Approaches to Synthetic data
 Generating realistic personal data for data linkage research
 tba
 Synthetic data  more questions than answers
 tba
 tba
 tba
 The Strange Case of Privacy in Equilibrium Models
 Buying Private Data without Verification
 The Economics of Privacy (remote presentation)
 Revisiting the Economics of Privacy: Population Statistics and Confidentiality Protection as Public Goods
 How does Government surveillance affect perceived online privacy/security and online information disclosure?
 Some Network Analysis Problems Motivated by the Smart Grid
 Evaluating Data Linkage: Creating longitudinal synthetic data to provide a goldstandard linked dataset
 The role of invariance in learning from random graphs and structured data
 Wrap up and Questions
 EPSRC Centre overview
 Strategy and Vision for the new EPSRC Centres
 Questions
 InsightMedi and its Quest to Analyse the Largest Database of Medical Images: Challenges, Benefits and Collaborations
 Harnessing the Potential of Highthroughput Confocal Microscopy  Multidimensional and Multimodal Analysis
 Delivering on the Promise of Deep Learning
 The Role of Medical Imaging Biomarkers in Drug Development
 Questions
 Image Reconstruction  NonUniform Generalised Sampling and Endoscopy Imaging
 Semanic Segmentation with Deep Neural Network  Contextual Information Retrieval
 Abdominal Aortic Aneurysm Development and PatientSpecific Modelling based on In Vivo Imaging and Atherosclerosis Imaging & Risk Prediction and Drug Testing  Examples from Cardiovascular Medicine
 Welcome and Introduction
 Component sizes in random graphs with given vertex degrees (the configuration model)
 Bayes and the Blame Game: What I learned from presenting Bayesian reasoning in criminal cases
 Limit theorems for eigenvectors of the normalized Laplacian for random graphs
 Using Bayesian Networks to Analyze What Experts Need to Know (and When they Know Too Much)
 tba
 Sanitization for sequential data
 Admissibility and evaluation of identification evidence: 'experts', bystanders and shapeshifters
 Prior Probability and the Presumption of Innocence
 Causal networks in evidential reasoning
 The phase transition in the random dprocess
 Bayesian Argumentation in the Real World
 A Graphical Model Approach to Eyewitness Identification Data
 Report on a preworkshop on analysing a murder case
 Shaken Baby Syndrome on Trial: Causal Problems and Sources of Bias
 DNA myth busting with Bayesian networks
 Generating Bayesian networks in Forensic Science An example from crime linkage
 Modelling competing Legal Arguments using Bayesian Model Comparison and Averaging
 From Natural Language to Bayesian Networks (and back again)
 Three Normative Frameworks for Evidential Reasoning and their Connections: Arguments, Scenarios and Probabilities
 The AntiInference Bias and Circumstantial Evidence
 Using Bayesian Networks to Quantify Digital Forensic Evidence and Hypotheses
 Causality and Responsibility in Formal Verification and Beyond
 A Framework to Present Bayesian Networks to Domain Experts and Potential Users
 Using Chain Event Graphs to Address Asymmetric Evidence in Legal Reasoning
 Bayesian networks: challenges and opportunities in the law
 On activity level propositions addressing the actor or activity
 A Bayesian network for glass evidence evaluation at activity level: a novel approach to model the background distribution
 Basic probabilistic issues in the Sciences and in Forensics (hopefully) clarified by a Toy Experiment modelled by a Bayesian Network
 Bayes Nets for the evaluation of testimony
 Paternity testing and other inference about relationships from DNA mixtures
 On how expert witnesses can give useful Bayesian analyses of complex criminal cases
 An Introduction to Bayesian Networks
 An introduction to Forensic Voice Comparison
 Tea and Coffee
 Panel Discussion, Questions and Answers
 Data Linkage Challenges in Retail Banking
 Public Acceptability of Data Science: Context and Consequences
 European Genome Phenome Archive
 Lunch and Posters
 Data Linkage Techniques and Challenges in Public Health Records
 Public Sector Research Project Talk  GCHQ/University of Southampton Research Project on Privacy
 Data Linkage at ONS
 Tea and Coffee
 Panel Discussion: Practicality of Applications from Research Programme Topics: Computational Aspects. Statistical Aspects. Privacy and Confidentiality. Research Applications. Industry/Government Applications
 Academic stateoftheart of Data Linkage
 Welcome and Introduction
 Inference and largescale structure in networks
 Hackathon / Zeeland challenge
 From Private Set Intersection to Private Record Linkage
 A Bayesian Partitioning Approach to Duplicate Detection and Record Linkage
 ‘Data Safe Havens’ as a framework to support record linkage in observational studies: evidence from the Project to Enhance ALSPAC through Record Linkage (PEARL).
 Space Embedding of Records for Privacy Preserving Linkage
 Big data integration: challenges and new approaches
 A scaling approach to record linkage
 Advanced Techniques for PrivacyPreserving Linking of Multiple Large Databases
 GUILD: GUidance for Information about Linked Datasets
 Handling identifier error rate variation in data linkage of large administrative data sources
 Tracking people over time in 19th century Canada: Challenges, Bias and Results
 A LifeCycle Model for Privacy Preserving Record Linkage
 Record linkage with completecount historical census data
 Technical Challenges associated with record linkage
 Privacy Preserving Interactive Record Linkage (PPIRL)
 Intradisciplinary “speeddating”
 The U.S. Census Bureau’s Linkage Infrastructure: Overview and New Challenges
 Computational Methods for Linking Sets of National Files
 Deduplicating databases of deaths in war: advances in adaptive blocking, pairwise classification, and clustering
 Historical life cycle reconstruction by indexing
 Hardening Bloom Filter PPRL by modifying identifier encodings
 Open Panel Discussion Chair: Robin Ball
 Electrified Interfaces: One Hundred Years of the PoissonBoltzmann Theory and More
 Onsager Principle  A Principle Useful for Solving Industrial Problems
 Soft Matter Challenges  Consumer Products
 Pattern Formation outside of Equilbrium as a Template for Drug Delivery Vehicles
 Predictive Modelling & Cognitive Computing for Soft Materials Discovery
 The Rotational Degrees of Freedom of a Granular Packing
 A note on the Fmeasure for evaluating record linkage algorithms (and classification methods and information retrieval systems)
 Soft Matter Challenges  Food Manufacturing
 Elementary Excitations in Amorphous Materials
 Extinction time for the weaker of two competing SIS epidemics
 The Intriguing World of ClayInorganic Nanoparticle Suspensions: Practical Opportunities and Theoretical Challenges
 Building on Sir Sam's Formalism: MolecularlyInformed FieldTheoretic Simulations of Soft Matter
 Soft Matter Challenges  Oil and Gas Sector
 Synchronisation: From StickSlip Instabilities in Jammed Fluids to Endogeneous Economic Crises
 Topological Constraints Do Matter: Polymer Melts, Elastomers, Collapsed Polymer Globules, Chromosome Territories etc
 Soft Matter Challenges  Chemicals Industry
 Polymer Electrolytes
 Sam Edwards  Continuing the Legacy for IndustryFacing Science
 Welcome and Introduction
 Communicating likelihood ratios
 Statistical Issues and Reliability of Eyewitness Identification
 Relevant populations and data
 Capacity and Comprehension of Mathematical Reasoning by Counsel and Courts
 The challenges of Bayes in the Law
 Novel Facts
 Courts and Statistics: Varieties of Statistical Challenges
 Forensic databases: size, completeness, usefulness
 TBC
 Towards a better communication between theory and imperfect realities of professional practice  On barriers among stakeholders and possible ways out
 Microbial Community Networks in the Human Microbiome
 Recent PanEuropean advances in harmonising evaluative reporting in forensic science: scope, principles and pending challenges
 Statistical issues arising in the conduct of fatal accident inquiries
 How should we interpret Ychromosome evidence?
 All Talk and No Conversation? Methodological Preconditions of An Interdisciplinary Forensic Science
 Bayes & the Blame Game: How to ease the mutually felt frustration between law professionals and scientists.
 Struggling judges: do they need a probability help desk? A daily legal practice point of view
 Law, statistics and psychology, do they match?
 Forensic Ecology: How do we get answers to questions? How do we present them to the court?
 Forensic trace evidence – what are the questions we need to answer?
 tba
 Exploring mockjuror evidence interpretation and belief updating within a probability framework
 Lay Understanding (and Misunderstanding) of Quantitative Statements about the Weight of Forensic Evidence
 Statistical Measures and Methods Used to Analyze the Representativeness of Jury Pools
 The nature of questions arising in court that can be addressed via probability and logic
 tba
 Probability and statistics – a criminal lawyer’s perspective.
 Casework problems with the Likelihood Ratio
 The problem of false positives, some lessons from the bullet lead story, and the new U.S. Department of Justice guidance for expert testimony
 The Changing Face of Forensic Science
 Estimates of life expectancy for compensation after injury
 What COSTNET can do for and with you!
 Online estimation of an optimal treatment allocation strategy for the control of whitenose syndrome in ba
 Optimal Design of Experiments on Connected Units with Application to Social Networks
 Contagion in Financial Systems: A Bayesian Network Approach
 Source Estimation for Propagation Processes on Complex Networks with an Application to Delays in Public Transportation Systems
 Incorporating biological information into network inference using structured shrinkage
 Applying network science to political problems. A conceptual and analytical framework for understanding and predicting corruption risks in businesspolitical networks
 Bayesian modelling of Dupuytren disease using Gaussian copula graphical models
 The Networked Partial Correlation and its Application to the Analysis of Genetic Interactions
 Analysis of Networks with Missing Data with Application to the National Longitudinal Study of Adolescent Health
 Modeling the dynamics of social networks and continuous actor attributes
 Implementing Propensity Score Matching with Network Data: The effect of GATT on bilateral trade
 Bayesian modeling of networks in complex business intelligence problems
 Networks, Dynamic Factors, and the Volatility Analysis of HighDimensional Financial Series
 Modelling community structure in the Italian Parliament: a penalized inference approach
 Multiplex networks
 Detecting Epistatic Selection in the Genome of RILs via a latent Gaussian Copula Graphical Model
 Estimating whole brain dynamics using spectral clustering
 Network inference in genomics
 “Network modeling of topological domains using HiC data”
 The Role of Modern Social Media Data in Surveillance and Prediction of Infectious Diseases: from Time Series to Networks
 Interpretable Models for Prediction on Networks with Cohesion
 Semiparametric spectral modeling of the Drosophila connectome
 Emerging epidemics on networks
 Epidemics on networks
 Rothschild Lecture: From Small Data to Big Data and Back: Statistics and Data Science
 Talk 2: Evaluation of advanced techniques for multiparty privacypreserving record linkage on realworld health databases
 Talk 1: Advanced methods for linking complex historical birth, death, marriage and census data
 Capacity bounds and robustness in multipath networks
 Fitting Hierarchical Models in LargeScale Recommender Systems
 Joint and Individual Variation Explained (JIVE)
 Privacy for Bayesian modelling
 Bayesian ERGMs  computational and modelling challenges
 On asymptotic exchangeability and graph evolution
 Inference in the infinite relational model
 Selection of the Regularization Parameter in Graphical Models using Network Characteristics
 Edgeexchangeable graphs, sparsity, and power laws
 Random walk models of networks: modeling and inferring complex dependence
 Bayesian dynamic modelling of network flows
 Estimating the number of communities in a network
 From Graphon to Graphex: Models and Estimators for Sparse Networks using Exchangeable Random Measures
 Bayesian Hierarchical Community Discovery
 Multiresolution network models
 A Bayesian nonparametric model for sparse dynamic networks
 Latent Space Stochastic Block Model for Social Networks
 Network Models with Dynamic Vertex Sets
 Goodness of fit of logistic models for random graphs
 Interlocking directorates in Irish companies using bipartite networks: a latent space approach
 Optimal Bayes estimators for block models
 Statistical Relational Learning: Review and Recent Advances
 Exchangeable constructions of countable structures
 Edge exchangeability: a new foundation for modeling network data
 Bayesian sequential design in matrix factorisation models
 Function estimation on large graphs with missing data
 Bayesian Methods for Networks
 Convex Relaxation for Community Detection with Covariates
 Coclustering of nonsmooth graphons
 Repeated Motif Hierarchical Stochastic Blockmodels
 Network driven sampling; a critical threshold for design effects
 Some optimality results in network analysis and beyond
 Informationtheoretic bounds and phase transitions in community detection and highdimensional clustering
 Properties of Latent Variable Network Models
 Statistical issues in the stochastic block model
 Twitter Event Networks and Surgery Constructions
 Ranking algorithms on directed configuration networks
 Spatial preferential attachment networks
 Multilayer Networks and Applications
 Efficient Bayesian inference of multiscale network structures
 Message passing theory for percolation models on multiplex networks
 The physics of spreading processes in multilayer networks
 Natural neural networks: structure, dynamics and computation
 Modelling Large and SmallScale Brain Networks
 Artificial neurons meet real neurons: pattern selectivity in V4 via deep learning
 Fitting block models with covariates:”Likelihood” methods ,sparsity and selection of the number of blocks
 Estimating network edge probabilities by neighborhood smoothing
 Nonparametrics for networks
 tba
 Matched bipartite block model with covariates
 Spectral Clustering for Dynamic Stochastic Block Model
 Continuum limits for minimal paths
 Contact networks and the spread of epidemic disease
 Sharpness of the phase transition for Voronoi percolation in $\mathbb R^d$
 Barrier coverage in thin strips
 Graph limits and entropy
 Bootstrap percolation and kinetically constrained spin models: critical lengths and mixing time scales
 On the graph limit approach to random regular graphs
 Statistical and causal inference in networks
 Estimation of Causal Effects in NetworkDependent Observational Data
 A Weak Law for Moments of PairwiseStable Networks
 Understanding genetic interaction networks
 Inferring genegene associations and gene networks beyond standard statistical models
 Thin spanning trees and their algorithmic applications
 Partitioning WellClustered Graphs: Spectral Clustering Works!
 Spectral Sparsification of Graphs
 Emergent phases in constrained random networks
 Can you see the sound of a drum?
 A framework for imperfectly observed networks
 Exponential Family Embeddings
 Sparse and modular networks using exchangeable random measures
 Subsampling, symmetry and averaging in networks
 Towards universality in bootstrap percolation
 The phase transition in Achlioptas processes
 Statistical matching theory with a glimpse towards extremal regular graphs
 Kinetically constrained spin models
 Probabilistic Record Linkage and Deduplication after Indexing, Blocking, and Filtering
 Using Differential Privacy to Control False Discovery in Adaptive Data Analysis
 Statistical Modelling using Linked Data  Issues and Opportunities
 Probabilistic anonymisation of microdatasets and models for analysis
 Modern Bayesian Record Linkage: Some Recent Developments and Open Challenges
 Perspectives on user needs for academic, government and commercial data
 New Directions in Anonymization: Permutation Paradigm, Verifiability by Subjects and Intruders, Transparency to Users
 Measuring risk and utility in remote analysis and online data centres – why isn’t this problem already solved?
 Recent developments and research challenges in data linkage
 The Challenge of Privacy Protection for Statistical Agencies
 Marginals and Malice
 Data Dissemination: A Survey of Recent Approaches, Challenges, and Connections to Data Linkage
 tba
 Single Valued Elliptic Multizetas and String Theory
 Tutorial 2: Defining ‘privacy’ for statistical databases
 Soft Black Hole Hair
 Tutorial 2: Defining ‘privacy’ for statistical databases
 Tutorial 1: Data Linkage – Introduction, Recent Advances, and Privacy Issues
 Memory Effects
 Tutorial 1: Data Linkage – Introduction, Recent Advances, and Privacy Issues
 tba
 Null Infinity
 Singularity structure of gravity amplitudes
 Colorkinematics duality for QCD and pure gravities
 On the null string origin of the ambitwistor string
 Untwisting the pure spinor formalism
 Universality in string interactions
 The classical double copy
 Solving the Scattering Equations
 Twoloop Integrands from the Riemann Sphere
 One Loop Integrands for Scattering Amplitudes from the Riemann Sphere
 String Theory, Scattering Equations and Analytic Gluon Amplitudes
 Squaring relations from onshell constraints
 Efficiency=Geometry? Decoding the DNA of prediction in gauge, gravity, and effective field theories.
 Black Holes and Higher Derivatives in Gravity
 tba
 OnShell Diagrams for N = 8 Supergravity Amplitudes
 Geometry, Particle Physics and singular G2manifolds
 A 6d interpretation of 3d gravity
 Twistor analysis of a parabola
 G₂–instantons over twisted connected sums
 G2instantons and SeibergWitten monopoles
 ALC G2 manifolds
 Circleinvariant definite connections and symplectic Fano 6manifolds
 Noncompactness of initial data sets in high dimensions.
 Laplacian flow for closed G_2structures
 Ricciflat manifolds and a spinorial flow
 Advanced Lecture (U. of Cambridge): Analysis of electrodiffusion in dendritic spines for synaptic transmission
 Changes in local chromatin structure during homology search: effects of local contacts on search time
 Perturbative gauge theory and gravity with cosmological constant
 Statistical inference of singlecell and singlemolecule dynamics
 Diffusion in randomly switching environments
 Dynamics of DNA basepair breathing, telomere loss and telomere clustering
 tba
 Noise Attenuation during the Development of Spatial Pattern
 Quantitative approaches to unravel the molecular mechanisms of clathrinmediated endocytosis
 tbaCell biology processes: model building and validation using quantitative data
 Anomalous Diffusion and Random Encounters in Living Systems
 Double Field Theory
 Rigorous results on firstpassage times for surfacemediated diffusion
 Clustering of cell surface receptors: Simulating the mesoscale between reactiondiffusion and atomistic scales
 The Cluster Bootstrap for Scattering Amplitudes
 Accurate ReactionDiffusion Operator Splitting on Tetrahedral Meshes for Parallel Stochastic Molecular Simulations
 Developing PDEcompartment hybrid frameworks for modeling stochastic reactiondiffusion processes
 Landau Singularities and Cluster Structure in Scattering Amplitudes
 Simulations of Cellular Processes: From Single Cells to Colonies
 Path integralbased Bayesian inference of bond energy and mobility
 Rothschild Lecture: Mathematics for datadriven modeling  The science of crystal balls
 7D lift of 4D gravity
 Spatial simulation and analysis of actin filament dynamics and wave propagation
 Models of Microtubule Acetylation
 Computationally efficient simulation of signaling pathways underlying synaptic plasticity
 InteractingParticle ReactionDiffusion Simulations: Endocytosis
 4D gravity via connections
 Metastability and Monte Carlo Methods for Multiscale Problems
 Fast Reactive Brownian Dynamics
 Exact and approximate solutions for spatial stochastic models of biochemical systems
 Connection 3D gravity and its 6D interpretation
 From molecular dynamics to Brownian dynamics
 Stability and strong convergence in multiscale methods for spatial stochastic kinetics
 Diffusion of finitesize particles and application to heterogeneous domains
 Recovering a stochastic process from superresolution noisy ensembles of single particle trajectories
 Interpretation and modelling with superresolution microscopy
 Lecture 15 (University of Cambrdige). Polymer model, mean looping time and interpretation of HiC data (Enounter frequencies data)
 Melt migration at midocean ridges: A tale in three acts
 Crosscontamination rate estimation for digital PCR in labonachip microfluidic devices
 An analysis of implicit samplers in the smallnoise limit
 Learning with Errors: PostQuantum Candidates from Noisy Linear Systems
 Pathspace information metrics for uncertainty quantification and coarsegraining of molecular systems
 Mechanics of cell division by the actomyosin contractile ring
 Stochastic models of gene transcription with upstream drives: Exact solution and sample path characterisation
 The permeability of deformable and reactive porous media
 Seismic evidence for melt in the upper mantle
 Scaling limits of a model for selection at two scales Joint with Shishi Luo
 3D Numerical Modelling of Compressible Coupled Magma/Mantle Dynamics With Adaptive Mesh Refinement
 PoroInelastic Filtration coupled to Stokes Flow
 Kinetics of filamentous protein selfassembly
 Salt fluxes from sea ice: simple models of reactively dissolved channels
 The rapid advance and slow retreat of a mushy zone
 Shear Induced Melt Bands: The Mechanics of their Formation and their Possible Role as Melt Conduits Beneath MidOcean Ridges
 An Approach to Large Scale Computing of Problems form Science and Technology
 Cox process representation and inference for stochastic reactiondiffusion processes
 Melting in the deep mantle
 A fourfield mixed finite element method for the Biot model and its solution algorithms
 Effect of partial melting on seismic velocity and attenuation: Polycrystal anelasticity at nearsolidus temperatures
 Mixed Methods for TwoPhase DarcyStokes Mixtures of Partially Melted Materials with Regions of Zero Porosity
 tba
 Stochastic membrane processes in biomedicine
 Modelling magma migration through the continental lithosphere: the importance of multiple pulses and channelized flow.
 Variability in melt extrusion at silicic volcanoes
 Computational models of melt transport from source to surface
 Preconditioners for models of coupled magma/mantle dynamics
 Meltinduced weakening of the lithosphere: theory, numerical implementation and geodynamic implications
 Multiscale modelling of stochastic gene expression
 Grain size and rheology as a control for melt transport beneath midocean ridges
 Magma generation and extraction beneath midocean ridges and oceanic hotspots
 Seismic imaging of mantle melting processes beneath volcanic arcs and backarc spreading centers
 Workshop introduction, context, and review of previous workshops
 Stochastic Mechanochemistry of the Eukaryotic Cytoskeleton
 Four arguments against the reactiondiffusion master equation (and one in its favour).
 Lecture 14: (U. of Cambridge): Anomalous diffusion for a monomer, mean time for a polymer to loop.
 Discretizations and multigrid solver for problems related to fluid flow
 Getting Things Right in a Noisy Milieu: Stochastic Models of Cell Cycle Dynamics in Budding Yeast and Bacteria
 Lecture 13: (U. of Cambridge): Stochastic biology: stochastic telomere model and Rouse polymer model.
 Particle tracking to elucidate cell surface receptor motion and signalling
 An Introduction to the Mantle Convection Community Project ASPECT
 What we have been doing while at INI for the last 5 weeks: a mathematical study on anomalous diffusion
 Modeling and stochastic analysis of autoregulation of the Krox20 transcription factor driving cellular diversification and hindbrain patterning
 Twophase flow in strombolian volcanic conduits
 Lecture 12: (U. of Cambridge): Stochastic chemical reactions: modelling and analysis
 Time Series Analysis of Diffusion with Transient Binding
 Challenges in pathogen detection with metagenome classification techniques
 Reactive transport in a partially molten system with binary solid solution
 Computational Infrastructure to Support CAMI
 Establishing benchmark data sets for further development of unsupervised binning tools
 Longread and hybrid metagenomic assembly: tradeoffs and detections limits
 Resolving genomes from metagenomic strain mixtures with 3C & HiC. Is it possible?
 Future focus of CAMI challenges
 Anomalous diffusion in biological membranes and their mathematical description
 An overview of the profiling results
 An overview of the binning results
 An overview of the assembly results
 A framework for the continuous Assessment of Metagenome Interpretation
 CAMI challenge data & simulation pipeline
 Absolute robustness in deterministic and stochastic chemical reaction networks
 Strategies for Approximating High Dimensional Functions  Inaugural Lecture
 The Statistical Analysis of Sound and Pictures
 Convex Relaxations, Semidefinite Optimisation and Applications
 The Cantab Institute: The Story So Far
 Welcome and Introduction
 Lecture 11: (U. of Cambridge): statistics and analysis of superresolution Single Particle trajectories.
 Spatial stochastic models of cell polarity and personalized medicine
 Silicate and Carbonatite Melts in the Mantle: Adding CO2 to the pMELTS Thermodynamic Model of Silicate Phase Equilibria
 Multiscale Modeling of Axonal Cytoskeleton Dynamics in Disease
 Lecture 10: (U. of Cambridge): Escape through a cusp. Applications to diffusion in a crowded membrane
 From melt in the pores to volcanic eruption: Links between tectonics and magmatism
 Efficient construction of optimal designs for stochastic kinetic models
 Metastable dynamics: rare events in cell biology
 The use of delays in modelling and simulation of biochemical reaction systems and exact model reduction
 Lecture 9: (U. of Cambridge): Oscillatory escape: a NonPoissonnian escape process
 Probing transition zone seismic discontinuities: composition/mixing stratification near the stagnant slab
 Mathematics and physiology
 Melt transport in the mantle: constraints from field observations and ideas for future work
 How do melts change texture and anisotropy of mantle rocks
 The development of seismic anisotropy in partially molten rocks: Laboratory observations
 Lecture 8: (U. of Cambridge): Oscillatory escape: a NonPoissonnian escape process
 Evolution of Anisotropy in Olivine Polycrystals
 Stochastic homogenization (4)
 Stochastic homogenization (3)
 The rippling instability of icicles
 Stochastic homogenization (2)
 Stochastic homogenization (1)
 Multiscale Systems for Flow and Transport
 Physics of mantle melting: twophase flow, variable matrix viscosity and density effects
 On the Structural Biochemical Mechanism of Synaptic Neurotransmission in the Brain
 Nonperiodic homogenization for seismic forward and inverse problems
 Application to McKenzie model (2)
 Application to McKenzie model (1)
 Homogenization methods (4)
 Homogenization methods (3)
 Reconciling macroscopic olivine grain growth with the microscopic physical properties of the intergranular medium
 Multiscale Models for New Antibiotic Technologies
 Cross Scale Modeling of Melt Migration
 Experimental constraints on melt distribution and its effect on the rheology and seismic properties of polycrystalline olivine
 Constitutive mechanical relations of a partially molten rock in terms of grain boundary contiguity: an approach with an internal state variable
 Homogenization methods (2)
 Homogenization methods (1)
 Multiscale analysis of sea ice  a partially melted, polycrystalline composite material
 Multiscale analysis of sea ice  a partially melted, polycrystalline composite material
 Physical Properties of Partially Molten Rocks from Microtomography Experiments and Digital Rock Physics
 From stressdriven to reactiondriven melt segregation – the frog’s eye view (2)
 From stressdriven to reactiondriven melt segregation – the frog’s eye view (1)
 Inverse problems in seismology with a view to the mantle
 The systemsize expansion of the chemical master equation: developments in the past 5 years
 Lineage as a conception of space in compartmental stochastic processes across cellular populations
 Scalable algorithms for Markov process parameter inference
 Closure Scheme for Chemical Master Equations  Is the Gibbs entropy maximum for stochastic reaction networks at steady state?
 Subtle is the noise, but malicious it is not: dynamic exploits of intracellular noise
 Stability properties of stochastic biomolecular reaction networks: Analysis and Applications
 Iterative methods for coupled flow and geomechanics problems
 A stochastic story of two receptors and two ligands
 Insights into the dynamics of Hybrid Methods through a range of biological examples. A hands on approach
 Sampling Methods for Exploring Between Subject Variability in Cardiac Electrophysiology Experiments
 Hybrid modelling of stochastic chemical kinetics
 Fundamental limits to transcriptional regulatory control
 Tensor methods for higherdimensional FokkerPlanck equation
 Intracellular signaling processes and cell decisions using stochastic algorithms
 tba
 Cellular signalling in T cells is captured by a tractable modular phenotypic model
 Inference of size dependence of transcription parameters from single cell data using multiscale models of gene expression
 tba
 Linking dynamic signaling events within the same cell
 Firstpassage time to clear the way for receptorligand binding in a crowded environment
 "No We Can't": Impossibility of efficient leader election by chemical reactions
 Analysis of Monte Carlo estimators for parametric sensitivities in stochastic chemical kinetics
 Inherent variability in the kinetics of amyloid fibril formation
 tba
 Efficient Simulation and Inference for Stochastic Reaction Networks
 A constrained approach to the simulation and analysis of stochastic multiscale chemical kinetics
 Towards large scale models of biochemical networks
 Approximations for Markov chain models
 Jets and plumes in Earth system: how they ascend
 Stochastic Modeling of SpeciesRich Ecosystems
 Stochastic Fluctuations in Suspensions of Swimming Microorganisms
 Stochastic Aspects of Choanoflagellates
 Emerging fractal structure in freezing of brine
 Reaction rates for nearestneighbor reactions in the reactiondiffusion master equation
 Lecture 7: (U. of Cambridge): Additive property of the MFPT, FokkerPlanck with a killing term, NonPoissonnian escape
 Compactiondriven fluid flow during metamorphism: its impacts on CO2 transfer, thermal advection and its competition with porous convection
 Solidification of 'mushy layers': the role of convection
 Stochastic coagulationfragmentation models for the study of protein aggregation phenomena
 Tensor Methods for Parameter Estimation and Bifurcation Analysis of Stochastic Reaction Networks
 No lecture
 The diversity of eruption styles of silicic magmas
 Questions
 Biomarkers from Dynamic Images  Approaches and Challenges
 Dynamic PhotoAcoustic Tomography
 Dynamic MRI  Imaging Transport and Structure in Transient Systems
 PyURDME, MOLNs and StochSS — from new algorithms for spatial stochastic simulation to largescale distributed computational experiments in “the cloud"
 Opportunities and Challenges in MultiModel, MultiDimensional Image Analysis for Drug Discovery
 Combined Image Reconstruction for Combined PETMR Imaging
 Progress and Challenges in LargeScale and Translational Neuroimaging Projects
 Lightning Talk: Structured Features for Bayesian Nonparametric Factor Analysis
 Lightning Talk: HyperSpy and SamFire for Big Data Analysis
 Lightning Talk: MultiDimensional Electron Microscopy
 Lightning Talk: Mathematical Imaging Methods for Mitosis Analysis in Cancer Research
 Lightning Talk: Multispectral characterisation of thalamic nuclei using 3T MRI
 Lightning Talk: Cell Tracking and Protein Fluorescence Quantitation in 4D Imaging Datasets
 Employing Complex Datasets for More Effective DecisionMaking in Drug Development
 Machine Learning for Medical Image Analysis
 Challenges in Microscopy Big Data
 Welcome and Introduction
 Plenary Lecture
 Clinical Imaging of Bone
 Imaging in Medicine  More than just pictures
 Stochastic simulation of high order molecular interactions with spatial resolution and individual molecule detail: A generalised Smoluchowski theory
 Seeing more in images  a mathematical perspective on imaging
 Welcome and Introduction
 Lecture 5: (U. of Cambridge): Activation escape through a potential well.
 Building a community model for robustness and extensibility
 Lecture 4
 Modelling gonadotrophinreleasing hormone signalling: dynamics, noise and reliability
 Stochastic modelling and immunology
 Computational Considerations for Magma Dynamics Simulation
 Geodynamics and TwoPhase Flow: A Computational Perspective
 Treatment of energy and composition in models of magma/mantle dynamics and implications for reactive flow
 Porescale controls on core formation in planetesimals
 Multiphase Flow in Crustal Magmatic Processes
 Multiphase transport, flirting with the limits of continuum models
 Large deformations in soft porous materials: Squishing, swelling, and yielding
 Feedbacks between deformation and melts in the upper mantle
 Thermal convection in an heterogeneous mantle: plumes, piles, domes, and LLSVPs.
 A novel biophysical method for the study of tethered signalling reactions
 Influence of mantle melting on cooling and volatile cycling
 (De)compaction waves in porous viscoelastoplastic media and focused fluid flow
 Interface effects in twophase phase physics
 Advanced theories of twophase flow in deformable porous media, including fluidfluid interfaces
 Framework for Construction of Caricature Chemical Reaction Systems
 Twophaseflow dynamics in ice sheets
 Partial Melting Above the Mantle Transition Zone
 The classics: Understanding the basic behavior of the "McKenzie" Equations
 An overview of the twophaseflow equations for magma dynamics
 Rothschild Lecture: The Hawaiian Plume: What do Surface Observables Tell Us?
 Observational constraints on mantle melt transport
 Mantle Melting: the achievements, promise, and limits of thermodynamics
 Melt generation and extraction from the Mantle
 Stochastic modeling, asymptotics, simulations and data analysis of superresolution trajectories: application to cellular biology
 Panel Discussion, Questions & Answers
 Sensors and Instrumentation
 Equilibrium distributions of simple biochemical reaction systems for timescale separation in stochastic reaction networks
 International Surface Temperature Initiative
 Confronting models of everywhere with data  New Technologies, Big Data and dealing with Uncertainties
 Natural Catastrophes: New Methods For Efficient Risk and Uncertainty Modelling, New Open Modelling Tools and New Sources Of Data
 Datadriven Statistical Models and Processdriven Physical Models
 Catastrophe Modelling Software and Use of Massively Parallel Processing
 Multilevel Monte Carlo Approach for Uncertainty Quantification
 Global Sensitivity Analysis to Support Model Calibration, Evaluation, Uncertainty Propagation and Robust Decisionmaking: a Toolbox for Access to Methods and Workflows
 Building Complex Environmental Models
 Welcome and Introduction
 Influence of noise and time delay on the collective behavior of selfpropelled particles system
 Lecture 2: Introduction to the stochastic integral and Ito calculus,
 Quench in interacting spinless fermions in one dimension
 Hybrid modelling of stochastic chemical kinetics
 Anomalous hydrodynamics in two dimensions
 Memorypreserving equilibration after a quantum quench in a 1d critical model
 Subdiffusive fluctuations in bacterial chromosomes
 Quantum quenches in integrable lattice systems
 Lecture 1: Stochastic modeling, asymptotics, simulations and data analysis of superresolution trajectories: application to cellular biology
 Supersymmetry and Integrability
 Dynamics of atoms coupled to environments
 Universal Features of the Logarithmic Negativity in massive 1+1dimensional Quantum Field Theories
 Open problems in stochastic cell biology: information transfer, macromolecular crowding, and filament simulation
 Fidelities in the spinboson model
 Stochastic modelling and immunology
 Stringcharge duality in integrable lattice models
 NonEquilibrium Transport at Quantum Critical Points
 Multilevel Monte Carlo methods
 Quantum integrability in the Rabi model
 Tutorial C: Narrow escape theory, first passage time to a small hole and applications to modelling cell biology processes
 Advanced Lecture 23: Narrow escape theory application to the analysis of superresolution single particle trajectories,
 Advanced Lecture 1 (Part II): Narrow escape theory, first passage time to a small hole: analytical theory of chemical reactions
 Aspects of bacterial persistence
 Performing computation with DNA
 Multilevel Monte Carlo: adaptive algorithms and distribution estimation
 Noisegenerated mixedmode oscillations
 Heating and breakdown of adiabaticity in Floquet systems through manybody resonances
 Advanced Lecture1 (Part I): Narrow escape theory, first passage time to a small hole and applications to modelling cell biology processes
 Tutorial B: Stochastic Simulation of Models Arising in the Life Sciences II (spatial models)
 Tutorial B: Stochastic Simulation of Models Arising in the Life Sciences II (spatial models)
 Anomalous Diffusion and Random Encounters in Biological Fluids
 Tracing the cellular basis of epidermal maintenance and cancer
 Modelling Cellular ReactionDiffusion Kinetics
 The Stochastic Nonlinear Dynamics of Eukaryotic Flagella
 New perspectives on the Riemann Hypothesis
 Tutorial B: Stochastic Simulation of Models Arising in the Life Sciences II (spatial models)
 Tutorial B: Stochastic Simulation of Models Arising in the Life Sciences II (spatial models)
 Exploiting singlecell fluctuations
 Identifying sources of variation in biochemical networks
 A Spatial Stochastic Model of Cell Polarization
 Tutorial A: Stochastic Simulation of Models Arising in the Life Sciences I (nonspatial models)
 Linking stochastic dynamic biological models to data: Bayesian inference for parameters and structure
 Dynamics and Transport in a Kondo Chain
 Tutorial A: Stochastic Simulation of Models Arising in the Life Sciences I (nonspatial models)
 Tutorial A: Stochastic Simulation of Models Arising in the Life Sciences I (nonspatial models)
 Tutorial A: Stochastic Simulation of Models Arising in the Life Sciences I (nonspatial models)
 Efficiency of Stochastic Simulations
 Mathematical modeling of cellular nano machines
 Field cancerization and recurrence in head and neck squamous cell carcinoma
 Eight Open Problems
 Correlation functions of quantum integrable models: recent advances
 Out of equilibrium dynamics and a unifying view on manybody localisation
 zmeasures and the nonlinear Luttinger liquid
 Initial states in integrable quantum field theory quenches from an integral equation hierarchy
 tba
 Quantisation of KadomtsevPetviashvili equation
 Heisenberg spin chains by separation of variables: recent advances
 Studies of the Loschmidt Echo in Two Dimensional Coupled Arrays of Quantum Ising Chains and Luttinger Liquids
 High order correlations and what we can learn about the solution for many body problems from experiment
 Dynamical phase transitions and statistics of excitations
 Inhomogeneous quenches and arctic curves in fermionic systems
 Integrability of a deterministic cellular automaton driven by stochastic boundaries
 Cellular Systems Biology of Chromosome Dynamics
 Revivals and Entanglement Propagation after a Quantum Quench
 Thermalization and pseudolocality in extended quantum systems
 Tensor Network Techniques and systems out of equilibrium
 Real time confinement following a quench to a nonintegrable model
 Role and dynamics of cytoskeletal actin bundles
 Dynamics and relaxation in quantum integrable systems
 Integrability and supersymmetry in quantum optics
 Dynamical Quasicondensation of HardCore Bosons at Finite Momenta
 Shannon mutual information of critical quantum chains
 Thermalization, integrability and localization
 Stationary states and (quasi)local charges in a semiinfinite chain
 Expansion potentials for exact farfromequilibrium spreading of energy in the XXZ model
 Quantum quenches in the sineGordon model: a semiclassical approach
