
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.
 tba
 Breakout Rooms  Discussion on Day 2 Talks
 Talk 9
 Talk 8
 Talk 7  Parameters for Modelling the Generation and Transport of Exhaled Aerosols and Droplets Which Contain Pathogens
 Talk 6  Ventilation as Part of the Safe Reestablishment of Indoor Spaces
 Talk 5
 Talk 4  Airborne Transmission of Respiratory Infections: Beyond COVID19
 Summary of Day 1 and How it Leads into Day 2
 Breakout Rooms  Discussion on Day 1 Talks
 Talk 3  Covid Dispersal in Buildings: People Movement and Ventilation Flows
 Talk 2  Estimating Covid19 Transmission Onboard Passenger Trains.
 Talk 1  Protecting the Health of Bus Drivers and Key Workers  The Need for an Air Quality Framework for the Vehicle Industry
 Overview Talks Providing a Wide Perspective  Open to the Public
 Short Overview of RAMP
 Welcome from the Newton Gateway
 Introduction
 A More Exotic Asymptotic Zoo: New Stokes Lines, Virtual Turning Points and the Higher Order Stokes Phenomenon
 Wrapup
 Summary and Presenters Panel
 Core Constructional Ontology (CCO): a Constructional Theory of Parts, Sets, and Relations (Q&A to follow)
 A 4Dimensionalist Top Level Ontology (TLO): Mereotopology and SpaceTime (Q&A to Follow)
 4Dimensionalism in Improving Analysis of Reference Data (Q&A to follow)
 The simplification in Integration Architecture 4Dimensionalism Supports (Q&A to follow)
 4Dimensional Process Modelling for Information Requirements (Q&A to follow)
 The Basics of 4Dimensionalism and the Role it Can Take in Supporting Large Scale Data Integration (Q&A to follow)
 Executive Summary
 Welcome and Introduction
 Q&A and Next Steps
 SARSCoV2 Evolution and Vaccination
 ttitle and abstract tba
 The Consequences of Different Fitness Costs in Vaccine Escape Mutant
 Earlier Experimental Evolution Work in Other Systems
 Welcome and Introduction
 Mitigating the Risks Of COVID19 Resurgence in the UK In The Autumn 2021 With Vaccination and TestTraceIsolate Strategies
 Controlling the Pandemic during the SARSCoV2 Vaccination Rollout in Portugal
 The Speed of Pathogen Adaptation to Vaccines
 Evolutionary Implications of COVID19 Vaccination Policies: Linking Within and BetweenHost
 Background to these Discussions
 Welcome and Introduction
 Matrix models; asymptotics, transesseries, theta functions and all that
 From rainbow to mass gap: Resurgence and Lefschetz thimbles at work
 Juniper Seminar Series  Household transmission models of COVID19 from community data over time in England
 Realistic error bounds for asymptotic expansions via integral representations
 Optimal reconstruction of functions from their truncated power series at a point
 Differentiations and Diversions
 Ecalle’s Theory of Resurgence
 WKB, Eigenvalue Problems and Quantisation in QM
 Exponential Asymptotics for Physical Applications
 Ecalle’s Theory of Resurgence
 WKB, Eigenvalue Problems and Quantisation in QM
 Exponential Asymptotics for Physical Applications
 Ecalle’s Theory of Resurgence
 WKB, Eigenvalue Problems and Quantisation in QM
 Exponential Asymptotics for Physical Applications
 Resurgence in Differential Equations, and Effective Summation Methods
 Stokes Phenomena: From Dingle to Exponential Asymptotics
 Resurgence in Differential Equations, and Effective Summation Methods
 Stokes Phenomena: From Dingle to Exponential Asymptotics
 Director of INI’s Welcome Talk
 Models for Vaccination in the UK : what do models tell us about targeting, timing and impact?
 The role of resurgence in QFT and in string theory
 Exponential asymptotics in applied mathematics
 BreakOut Rooms  Questions and Discussion
 Deep hedging: Learning RiskNeutral Implied Volatility Dynamics
 A DataDriven Market Simulator for Small Data Environments
 Path Signature Example Notebooks
 Log Signatures and Neural Controlled Differential Equations
 Neural Controlled Differential Equations
 Decision Making with Lung Cancer Trees of Genetic Mutations
 Inference from trees: Cybersecurity
 Inference from Evolving Populations: Agriculture
 Early Warning System for Sepsis Detection Using SignatureBased Machine Learning Models
 Rough Paths – Streamed Data
 Welcome and Introduction
 Next Steps and Close
 All Participant Catch Up – Final Feedback
 Breakout Groups
 Informal Catch Up – Questions, Clarifications, Updates
 Breakout Groups Continued
 All Participant Catch Up – Updates on Progress
 Breakout Groups
 All Participant Catch Up – Feedback on Initial Discussion
 Breakout Groups Continued
 Breakout Groups
 Refreshment Break (Group Formation)
 Challenge Group Formation
 Introduction to the 3 Challenges
 Introduction to the Study Group
 Welcome
 Welcome and Housekeeping
 Room Left Open For Continued Networking
 Closing Remarks / Discussion
 Presentation of Challenges
 Opening Comments
 Breakout Groups
 Breakout Groups Continued (Room Stays Open Until 8pm)
 Breakout Groups
 Plenary  Catchup on Challenges and New Group Formation (if necessary)
 Networking / Icebreaker Session
 Breakout Groups Continued
 Breakout Groups
 Coffee Break and Group Formation
 Challenge Group Formation
 Presentation of Challenges and Questions
 Opening Remarks
 Welcome and Technology Overview
 IDP Estimation
 IDP Estimation
 IDP Estimation
 IDP Estimation
 Crowdsourcing a COVID cure
 Personalised Marketing using Machine Learning: How Embedding it in a Business is Harder than Building it
 Break
 The KosterlitzThouless Phase Transition on SolidtoSolid Boundaries
 Adversarial Attacks and Instabilities of Neural Networks
 Metric Gluing of Quantum Surfaces
 Wasserstein Convergence of Empirical Measures on Unbounded Manifolds
 Break
 Safety Assurance for Algorithmic Trading
 Exact and Approximate Bayesian Estimation of Deconvolutiontype Inverse Problems
 Introduction
 Zoom room opens
 IDP Estimation
 Challenges 1, 2 & 3
 IDP SEJ & UQ
 Challenges 1, 2, & 3 General Discussion  Andy Dobson  Jess Metcalf
 Insights from novel primary data on the Qatar SARSCoV2 epidemic: reinfection, infection severity and fatality rates, and herd immunity  Speaker  Laith Jamal Abu Raddad
 Covid19: a phased lift of control and other exit strategies  Speakers  Luc Coffeng and Sake de Vlas  (Explicit content)
 Intervention choices for covid19 – different country perspectives  Chair  Deirdre Hollingsworth
 Challenges 1, 2, & 3 General Discussion
 Endemicity or Elimination
 Data
 Estimation  SEJ  Phillip Dawid and Will Probert
 Why is Covid such a wicked problem Bernard Silverman  Chris Dye  Andrew Dobson
 Interventions
 Emerging Infections
 Politics and Policy
 Economics
 Discussion Introduced by Kevin McConway (Open University)
 Existential Risk
 Theme 3: The Wider Context  Chair  Chris Dye
 Discussion
 Inequality, realtime economics and future pandemics
 Zoonotic disease spillover in the context of global change
 Theme 3: The Wider Context Chair Denis Mollison (HeriotWatt University)
 Panel Discussion
 How does science interface with policy
 Theme 3: The Wider Context Chair: Nigel Shadbolt (University of Oxford)
 Discussion
 Inequality, realtime economics and his thoughts about learning from this pandemic for future pandemics
 Valuing health
 Theme 3: The Wider Context Chair: Caroline Trotter(University of Cambridge)
 Discussion
 Interactions between health and economic impact in pandemics: from data to decisions
 Neglected tropical diseases
 Theme 3: The Wider Context Chair  Andy Dobson (Princeton University)
 Discussion
 Factors contributing to transmissibility
 Unlikely disasters: pandemics, prevention and public health
 Theme 3: The Wider Context  Chair  Jess Metcalf
 Closing Remarks/Discussions
 Presentations of Challenges continued
 Break
 Presentations of Challenges
 Opening Comments
 Breakout Groups continued
 Lunch
 Breakout Groups
 Plenary  Catch up on Challenges
 Lightning Talk  An Introduction to the Isaac Newton Institute
 Breakout Groups Continued
 Breakout Groups
 Plenary  Catch up on Challenges
 Lightning Talk  Stone Soup Presentation (dstl)
 Breakout Groups
 Challenge group formation Zoom poll
 Presentation of Challenges and Questions
 Update on 2020 Projects
 Opening Remarks
 Welcome and Technology overview
 Discussion
 Experience in Ireland
 The elimination strategy for responding to pandemics: the New Zealand Experience
 Theme 2: Tackling New Diseases Chair: Denis Mollison (HerriotWatt University)
 Discussion
 Challenges in modelling emerging new diseases
 Controlling epidemics of respiratory diseases: lessons from tuberculosis
 Intervention choices, what are the issues
 Theme 2: Tackling New Diseases  Chair Valerie Isham(UCL)
 Discussion
 Spotting the next pandemic: prospecting or preparedness?
 Theme 1: The Emergence of New Diseases Chair: Christl Donelly (University of Oxford, Imperial College London)
 Panel discussion – Key steps towards interdisciplinary integration across the social, mathematical and environmental sciences to improve the scientific evidence base supporting landscape decisionmaking.
 Summary of workshop aims
 Reporting back from breakout groups on gaps and priorities for future research
 Discussion
 What will cause the next pandemic?
 Formation of breakout groups & initial discussions
 Introduction
 Spotting the next pandemic: prospecting or preparedness?
 Theme 1: The Emergence of New Diseases Chair: Deirdre Hollingsworth (Big Data Institute)
 Welcome from David Abrahams (INI Director)
 The tale of the three landscapes: Connecting the layers through modelling
 Studying complex social systems with online games
 Quantifying beautiful places and their link to health and happiness
 Session 4b: Stateoftheart in quantitative social modelling  CHAIR Felix Eigenbrod
 Key Considerations for integrating Quantitative Social Science within Landscape Decisions
 Analytical Sociology and Computational Social Science
 Session 4a: Stateoftheart in quantitative social modelling  CHAIR Viktoria Spaiser
 Social simulation modelling within landscape systems
 Simulation of UK landuse policy using integrated environmenteconomy models
 Session 5: Stateoftheart Environmental modelling  CHAIR Paula Harrison
 An overview of land system modelling
 Integrating new statistical frameworks into eDNA survey and analysis at the landscape scale
 Developing a statistical methodology for the assessment and management of peatlands
 Approximate Bayesian computation (ABC) and particle MCMC for calibrating computer models
 Drought risk analysis for forested landscapes: Project PRAFOR
 'Building back better landscapes'  UK landscape decision making after Covid19
 In the big debates about land use, whose voices count?
 Stakeholder talk
 Session 2: Stakeholder Perspectives  CHAIR Paula Harrison
 Stakeholder talk
 Coupling models to represent interactions within landscape systems
 Spatial/temporal scaling
 Decision Making under Uncertainty
 Welcome and Introduction from David Abrahams (INI Director) and Jane Leeks (Newton Gateway to Mathematics)
 Data Requirements
 Data Requirements
 Reopening of Schools
 Probability of Extinction & Interventions
 Contact Tracing
 Model Inference
 Model Inference
 COVID 19 and higher education: speakers and titles to be advised
 PLENARY TALK  Spatial modelling of earlyphase COVID19 epidemic in Norway
 tba
 tba
 Session 2: Advanced Uncertainty Quantification: Are super shedders also superspreaders?
 Session 2: Advanced Uncertainty Quantification: History matching and ABC
 Session 2: Advanced Uncertainty Quantification: UQ for Metawards: a spatial COVID19 transmission model
 Session 2: Advanced Uncertainty Quantification: Combinations of model predictions
 Streetspace allocation analysis in London, Nicolas Palominos
 Urban Analytics & Small Spaces
 Session 1: Advanced Uncertainty Quantification: Discussion Session
 Session 1: Advanced Uncertainty Quantification: Model Calibration
 Session 1: Advanced Uncertainty Quantification: Model Discrepancy
 Session 1: Advanced Uncertainty Quantification: Multilevel Emulation
 Representing Movement and Simulating Infection in Small Spaces – Lachlan Miles
 Modelling the Spatial Pandemic in Hampshire – Jacob Rainbow
 The MATSIM Pandemic Model for Greater London – Gerry Casey, Claire Fram and Fred Shone
 Break
 Discussion
 Epidemic simulation and scenario planning: Gavin Shaddick, Nick Malleson
 Modelling behaviour, Adam Dennett, Richard Milton, Ying Jin and Mike Batty
 Microsimulation, Nik Lomax, Karyn Morrissey and Jamil Nur
 Introduction and overview, Mark Birkin
 Session 2  PLENARY TALK by Ruth Bowness  University of St. Andrews  Modelling withinhost tuberculosis infection using a hybrid multiscale individualbased model
 Discussion
 Multiscale withinhost modelling of SARSCoV2 infection reveals benefits and risks of early Remdesivir treatment
 Modelling virus infections in the context of cancer therapies (and other diseases)
 Stochastic dynamics of Francisella Tularensis infection
 Session 1
 PLENARY TALK  Reproduction numbers and superspreading – how to measure disease transmission
 Uncertainty Quantification
 PLENARY TALK  COVID19: RAMP Task 7. Environmental and aerosol transmission
 Discussion
 TBC
 Lorenzo Pellis  University of Manchester
 Frank Ball  University of Nottingham
 Discussion
 Katie Gostic  University of Chicago
 Discussion
 Sam Abbott  London School of Hygiene and Tropical Medicine
 Eben Kenah  Ohio State University
 Robin Thompson (EpiEstim)
 Jane Heffernan  York University Toronto
 Modelling for SARSCoV2  what can we learn from China? Questions and discussions
 Modelling for SARSCoV2  what can we learn from China?  speakers: Adam Kucharski, Louise Dyson, Steven Riley, Christophe Fraser
 Modelling for SARSCoV2  what can we learn from China? Questions for Speakers: Jun Yan, TieYan Liu, Jinzhi Lei, Juanzi Li
 Modelling for SARSCoV2  what can we learn from China? Speakers: Jun Yan, TieYan Liu, Jinzhi Lei, Juanzi Li
 OPEN ZOOM MEETING  session 3 follow up dicussions  Chair William Probert
 General Discussions  CHAIR Philip Dawid
 OPEN ZOOM MEETING  session 3 follow up dicussions
 Contact Tracing followup discussions
 Control theory in relation to epidemic interventions  Brian Neve (Spiro) Control
 Wholecost economic modelling of pandemics  Peter van Manen, Clement O'Rourke (FrazerNash)
 PLENARY TALK  Robin Hanson (George Mason University & Oxford)  Pay Experts for Results, Not Prestige
 Break
 Panel Discussion (questions submitted via slido and asked by chair)
 Marissa McBride (Imperial)  Lessons from structured expert elicitation using the IDEA protocol
 Katriona Shea (Penn State)  Harnessing multiple models for outbreak management
 Kevin Wilson (Newcastle)  Uncertainty elicitation and quantification from experts
 Willy Aspinall (Bristol)  Expert elicitation of scientific uncertainties using Cooke's Classical Model: applicability to COVID19 risk assessments
 EXPERT JUDGEMENT  Welcome from David Abrahams (INI Director)
 Modelling Contact Tracing
 Discussions
 Break
 Five Challenges for Spatial Epidemic Models
 Talk on PyRossGeo  Ronojoy Adhikari
 Contact Tracing – Learning from Other Diseases
 PLENARY LECTURE  Nowcasting and Forecasting of COVID 19 pandemic in England
 Bobby Reiner (HME)  IHME covid19 model
 Vaccine development
 Niel Hens  a modelling perspective on the Covid 19 coronavirus outbreak in Belgium
 Developing monitoring indicators and models for disease outbreaks in care homes
 Statistical models for bipartite contact networks: methods and data
 Simon Frost (Microsoft)  Phylodynamics of SARS  Cov2
 Sam Jenness (Emory)  Statistical approaches to modelling epidemics across contact networks
 Vittoria Colizza ( INSERM)  Infection control in facilities
 Sociospatial networks
 Uncertainty Quantification
 PLENARY TALK  Computational Epidemiology at the time of COVID 19  Alessandro Vespingani (Northeastern)
 Lorenzo Pellis  Manchester
 LSHTM  COVID19 modelling and open outbreak science
 Marc Lipsitch
 Epidemiology and control in Hong Kong
 PLENARY TALK  Transmission dynamic models for COVID19:policy and beyond
 CANCELLED The Mahler measure of a genus 3 family
 CANCELLED Principal Bundle in Diophantine Geometry
 CANCELLED tba
 Free Time
 CANCELLED Motivic generalized cohomology theories from framed perspective
 CANCELLED On a conjecture of Vorst
 CANCELLED Chowtheoretic vs. Ktheoretic GromovWitten invariants
 CANCELLED Polynomial time computation in > matrix groups and applications
 CANCELLED Hopftheoretic approach to motives of twisted flag varieties
 CANCELLED Derived Algebraic Cobordism
 CANCELLED $\mathbb A^1$connected components of ruled surfaces
 CANCELLED Exponential motives and the Fourier transform
 CANCELLED padic comparison theorems for rigid analytic spaces
 CANCELLED Algebraic versus topological entropy for varieties over finite fields
 CANCELLED The integral Hodge conjecture for 3folds of Kodaira dimension zero.
 CANCELLED A1Euler classes: six functors formalisms, dualities, integrality and linear subspaces of complete intersections
 Free Time
 CANCELLED On Ktheories of monoids
 CANCELLED On the asymptotic > enumeration of Cayley digraphs and their friends
 CANCELLED Milnor excision for motivic spectra
 CANCELLED Representation theoretic models for the algebraic Ktheory of fields
 CANCELLED Graded quotients of ramification groups of a local field with imperfect residue field
 CANCELLED tba
 Motivic homotopy and motivic cohomology.
 Binary groups
 Presentation of simple groups of Ree type
 Kirk Lecture: The mathematics of Shuffling
 Ktheory and motivic cohomology (including the Lichtenbaum conjecture for zetaF(12i)).
 Rank gradient in profinite groups
 Subset products and applications
 The length and depth of a group
 Iwasawa theory, special values of Lfunctions, and regulators, I.
 Expanders and word maps.
 Simple groups and graph symmetry
 Partial associativity and rough approximate groups
 Homogeneity in graphs
 Regulators and the plectic polylogarithm
 Decomposition matrices for quasiisolated blocks of exceptional groups
 Higher arithmetic Chow groups.
 Fusion systems with BensonSolomon components
 ChowWitt groups and the real cycle class map.
 Unipotent elements in irreducible representations of simple algebraic groups
 A construction of Witt complexes via residual complexes.
 Summands of tensor powers of modules for a finite group
 The transcendental motive of a a cubic fourfold
 Higher height paining and extensions of mixed Hodge structures.
 Exotic fusion systems
 Arithmetic version of Deligne’s semisimplicity theorem, and beyond.
 Hyperbolic generalized triangle groups, property (T) and finite simple quotients
 Motivic ttgeometry
 Jordan decomposition for the AlperinMcKay conjecture
 A rigid analytic approach to HyodoKato theory
 3/2Generation
 Mixed graded structures for the Ktheory of Azumaya algebras
 Graphs with lots of symmetry  a local perspective
 Tensortriangular fields
 GolyshevZagier Second Paper
 Motivic integration for some varieties with a torus action
 A new look at permutation groups of simple diagonal type
 Isomorphism, derivations, and Lie representations
 Enriques surface fibrations with nonalgebraic integral Hodge classes
 Computing with conjugacy classes in classical groups
 Classical groups, and generating small classical subgroups
 Backtrack Search in Permutation Groups
 Classifying Isomorphism Classes of Algebraic Groups
 Growth of class numbers of unipotent groups
 Computing normalisers of highly intransitive permutation groups
 Invariable generation of finite classical groups
 Classifying finite linear groups in prime degree
 Minimal models of symplectic quotient singularities
 Conjugacy problems in GL(n,Z)
 Rational and plocal motivic homotopy theory
 Towards a nonsolvable Quotient Algorithm
 Chevalley’s Theorem on constructible images made constructive
 Rothschild Lecture: Elliptic curves associated to twoloop graphs (Feynman diagrams)
 Real forms of complex embeddings of maximal reductive Lie algebras in semisimple Lie algebras
 On the local Tamagawa number conjecture and functional equations of Euler systems
 Constructing Ordinary Representations of Finite Groups via Extension
 Computational methods for exceptional groups
 10 years of meataxe development.
 Between the sheets: rigid nilpotent elements in modular Lie algebras
 The 5modular Character Table of the Lyons Group
 An algorithm to construct dihedral axial algebras
 Computing Brauer character tables of groups of Lie type in defining characteristic
 Musing on implementing semigroup representation theory and software integration
 Connections between Group related Databases in GAP
 Base sizes of permutation groups: an encore
 Gamma functions, monodromy and Apéry constants
 Base sizes of permutation groups
 Constructive recognition of matrix groups
 Constructing subgroups of exceptional algebraic groups
 Computing Green functions in small characteristics
 Automorphism orbits of groups and the Monster
 Variational Hodge conjecture and Hodge loci
 Irreducible restrictions of representations of symmetric and alternating groups
 Toroidal compactifications and incompressibility of exceptional congruence covers.
 Zeta  functions of arithmetic schemes  3
 Algebraic Cycles and Hodge Theory III
 A Mystery in Finite Groups of Even Order
 Study group on recent work of GolyshevZagier on the gamma conjecture in mirror symmetry and of BlochVlasenko on motivic gamma functions. (copy)
 Algebraic Cycles and Hodge Theory II
 Periods, cohomology of algebraic varieties and beyond  3
 Special values of Motivic Lfunctions II  2
 Introduction to Motivic Homotopy Theory III: Highlights and Applications
 Periods, cohomology of algebraic varieties and beyond  2
 CalabiYau Manifolds, Mirrors, and Motives  3
 Special values of Motivic Lfunctions I  1
 Ktheory and motivic cohomology  3
 Introduction to Motivic Homotopy Theory II: Motivic Spectra
 Algebraic Cycles and Hodge Theory I
 On the Chebotarev invariant of a finite group
 CalabiYau Manifolds, Mirrors, and Motives  2
 Periods, cohomology of algebraic varieties and beyond  1
 Ktheory and motivic cohomology  2
 Introduction to Motivic Homotopy Theory I: Motivic Spaces
 CalabiYau Manifolds, Mirrors, and Motives  1
 Ktheory and motivic cohomology  1
 Finite Singular Orbit Modules for Algebraic Groups
 Conjugacy Classes and the Normal Complement Problem in Group Algebras
 Finite permutation groups: applications to transformation semigroups and synchronization
 Conjectures in local representation theory
 Algorithms for matrix groups II
 The subgroup structure of almost simple groups, II
 Classifying 2blocks with an elementary abelian defect group
 On selfMullineux and selfconjugate partitions
 Finite permutation groups: the landscape postCFSG
 Basic algorithms in the representation theory of finite groups and algebras
 Reduction Theorems for globallocal Conjectures
 Algorithms for matrix groups I
 The subgroup structure of almost simple groups, I
 Connections with other Areas of Mathematics
 Aschbacher's theorem
 Blocks of finite group algebras II
 Representations and Unipotent Classes
 Low dimensional cohomology of finite groups
 Computing with reductive groups
 Blocks of finite group algebras I
 Finite reductive groups and their irreducible characters  2
 Introduction to fusion systemsII
 Algebraic Groups and Finite Dimensional Algebras
 Groups with lots of plocal subgroups of characteristic p.
 The classification of finite simple groups via fusion systems
 Introduction to fusion systemsI
 Finite reductive groups and their irreducible characters  1
 Bubble dynamics and velocity selection in a HeleShaw cell
 The search for complex singularities in exponential asymptotics
 Computational aspects of complex orthogonal polynomials
 Computing periodic conformal mappings
 Computing Walsh's conformal map onto lemniscatic domains
 Remarks on numerical methods for conformal mapping of multiply connected domains and applications
 The numerical solution of BVPs using the Unified Transform Method
 Computational approach to compact Riemann surfaces
 Masterclass: Programming in Maple: an extended example using Bohemians
 Masterclass: oscillatory RiemannHilbert problems
 The Szegö Kernel and Oblique Projections: Conformal Mapping of Nonsmooth Regions
 Reduced order models for spectral domain inversion: embedding into the continuous problem and generation of internal data.*
 Validated Numerics Techniques for Singular Integrals
 Fracture mechanics with SteigmannOgden surface energy
 Asymptotic modeling of composite materials with thin coatings by using complex variables
 Vortical sources on the walls of rotating containers: a model for oceanic outflows
 Efficient algorithms for convolutions based on contour integral methods
 Masterclass: The Computer Algebra System Maple, in 2019
 Masterclass: Riemann–Hilbert problems
 Equivariance and structure preservation in numerical methods; some cases and viewpoints
 On the construction of some symplectic Pstable additive Runge—Kutta methods
 Numerical Generatingfunctionology: Counting with Toeplitz Determinants, HaymanAdmissibility, and the WienerHopfFactorization
 Masterclass: conformal mapping
 Masterclass: singular integrals and orthogonal polynomials
 Blowup for the supercritical cubic wave equation
 Fast and stable rational approximation of generalized hypergeometric functions
 Approximation Theory for a Rational Orthogonal Basis on the Real Line
 Solving the Laplace and Helmholtz equation on domains with corners using rational functions and their analogs
 Computing spectral measures of differential and integral operators
 Vandermonde with Arnoldi
 Motion of complex singularities and Hamiltonian integrability of surface dynamics
 Masterclass: polynomial and rational approximation
 Universality in numerical analysis. Cyber algorithms
 Integrable Systems in Multidimensions
 Numerical methods for mixed boundary value problems in diffraction and homogenization theory
 Effective ways of solving some PDEs with complicated Boundary Conditions on Unbounded domains
 The Foundations of InfiniteDimensional Spectral Computations
 Numerical steepest descent for singular and oscillatory integrals
 Numerical Aspects of Quadratic Padé Approximation
 Chebyshev to Zolotarev, Faber to Ganelius, and EIM to AAA
 PathFinder: a toolbox for oscillatory integrals by deforming into the complex plane
 Masterclass: contour integrals
 Rothschild Lecture: Hamiltonian Monte Carlo and geometric integration
 Towards a model of a deformable aerofoil
 Structurepreserving variational schemes for nonlinear partial differential equations with a Wasserstein gradient flow structure
 Phase field modelling of free boundary problems
 Numerical approximations of a tractable mathematical model for tissue growth
 Energy estimates: proving stability for evolving surface PDEs and geometric flows
 Discussion and Questions
 Souriau Symplectic Structures of Lie Group Machine Learning on Statistical Drone Doppler/Kinematic Signatures
 Structure Preserving and Structure Exploiting Methods in Simulation, Optimal Control and Motion Planning
 Geometric Numerical Methods for Robot Simulation, Control and Optimisation
 Digital Tomosynthesis with Flat Panel Sources
 Lost in Translation: Crack Problems in Different Languages
 Mathematics can make my MR Imaging and Spectroscopy Faster and Prettier  but Should it?
 Geometry Preserving Regularisation Methods in Medical Image Reconstruction
 Compatible Finite Element Methods for Numerical Weather Prediction
 Assessing the Risk of Hypothetical Windstorms, Considering Extremes and Climate Change
 Weather and Climate Forecasts: How Differential Geometry can help Maintain the Quiet Revolution
 Outline and Summary of INI Research Programme
 Welcome and Introduction
 On the nature of mathematical joy
 Poster Prize Presentation
 Proving Inequalities with Deep Learning
 MATLAB and NVIDIA Docker: A Complete AI Solution, Where You Need It, in an Instant
 Towards a Comprehensive Head and Neck Assessment for Stroke Prevention
 The Variance Risk Premium
 Anisotropic Nonlinear PDE Models in Biology
 Geometric Numerical Integration for Nonsmooth, Nonconvex Optimisation
 Edge Preserving Besov Priors
 Seals from Space  Identifying Change in Antarctic Ecosystems via the Monitoring of Iceseals and Sea Ice Habitats by Very Highresolution Satellite Imagery
 RiemannHilbert problems of the theory of automorphic functions and inverse problems of elasticity and cavitating flow for multiply connected domains
 Data Centric Technology: Hype, Hoax, Hope?
 Welcome and Introduction  Update from Cantab Capital Institute for the Mathematics of Information
 On the Solvability Complexity Index (SCI) hierarchy  Establishing the foundations of computational mathematics
 Symmetry Preserving Interpolation
 Some old and new moving boundary problems for HeleShaw flow
 Symmetric Orthogonal Polynomials
 Symmetric Orthogonal Polynomials
 Deep learning as optimal control problems and Riemannian discrete gradient descent.
 Some thoughts about constrained sampling algorithms
 Hamiltonian Monte Carlo on Homogeneous Manifolds for QCD and Statistics.
 A Monte Carlo method to sample a Stratification
 Step size control for Newton type MCMC samplers Jonathan Goodman
 title tba
 CANCELLED
 Some problems in exponential asymptotics
 The Unified Transform, Medical Imaging, Asymptotics of the Riemann Zeta Function: Part II
 The Unified Transform, Medical Imaging, Asymptotics of the Riemann Zeta Function: Part I
 Rothschild Lecture: Extraordinary waves and math: from beaches to photonics
 Lowregularity time integrators
 What it takes to catch a wave packet
 Some results in the long time analysis of Hamiltonian PDEs and their numerical approximations
 An Older Special Function meets a (Slightly) Newer One
 Magnus, splitting and composition techniques for solving nonlinear Schrödinger equations
 Random Batch Methods for Interacting Particle Systems and Consensusbased Global Nonconvex Optimization in Highdimensional Machine Learning (copy)
 Experiments ad theory for anomalous waves induced by abrupt depth changes
 Networking and Drinks Reception
 Networking and Drinks Reception
 Panel Discussion, Questions and Answers
 Panel Discussion, Questions and Answers
 Making DLT Happen
 Making DLT Happen
 The Convergence Stack: Creating a New Data Economy with DLT
 The Convergence Stack: Creating a New Data Economy with DLT
 Experiences with DLT within the UK Government, and Perspectives on Future Potential
 Perspective on the Future of DLT from within the UK Government
 Legal Aspects of DLT and Cryptoassets
 Legal Aspects of DLT and Crytoassets
 The VOLT Project: Voting on Ledger Technologies
 Practical uses of DLT  a Central Bank Perspective
 Blockchain by Human Centred Design
 Blockchain by Human Centred Design
 Academic Research Talk  Foundations of Distributed Ledgers: Principles for a Secure by Design Global IT Infrastructure
 Academic Research Talk  Foundations of Distributed Ledgers: Principles for a Secure by Design Global IT Infrastructure
 Academic Research Talk  DLT for Trusted Archives of Digital Public Records and other Computer Vision Applications
 Academic Research Talk  DLT for Trusted Archives of Digital Public Records and other Computer Vision Applications
 The Business of Blockchain
 The Business of Blockchain
 A National Approach to DLT  Dutch Blockchain Coalition
 A National Approach to DLT  Dutch Blockchain Coalition
 Academic Introduction  DLT Technology: The Hype and the Reality
 Academic Introduction  DLT Technology: The Hype and the Reality
 Welcome and Introduction
 Welcome and Introduction
 Existence results in interfacial flows with kinetic undercooling regularization in a timedependent gap HeleShaw cell
 Existence results in interfacial flows with kinetic undercooling regularization in a timedependent gap HeleShaw cell
 Analyses of dynamic fault propagation in discrete structures
 Analyses of dynamic fault propagation in discrete structures
 Diffraction by wedges: higher order boundary conditions, integral transforms, vector RiemannHilbert problems, and Riemann surfaces
 Diffraction by wedges: higher order boundary conditions, integral transforms, vector RiemannHilbert problems, and Riemann surfaces
 Vortex dynamics on the surface of a torus
 Vortex dynamics on the surface of a torus
 Cluster method in the theory of fibrous elastic composites
 Cluster method in the theory of fibrous elastic composites
 Blocks in the asymmetric simple exclusion process
 Blocks in the asymmetric simple exclusion process
 A Reynoldsrobust preconditioner for the 3D stationary NavierStokes equations
 tba
 Stationary vortex sheets and limits of polynomials
 Growth of thin fingers in Laplacian and Poisson fields
 Growth of thin fingers in Laplacian and Poisson fields
 Motion of complex singularities and Hamiltonian integrability of surface dynamics
 tba
 Contact problems at nanoscale
 Complex variable techniques applied to two problems in Stokes flow: rotation of a superhydrophobic cylinder, and evolution of multiple drops with surfactant
 Complex variable techniques applied to two problems in Stokes flow: rotation of a superhydrophobic cylinder, and evolution of multiple drops with surfactant
 Hausdorff dimension of the spectrum of the almost Mathieu operator
 tba
 Rational solutions of three integrable equations and applications to rogue waves
 tba
 Discussion and Questions
 Discussion and Questions
 Future Challenges and Directions in Airborne Radar Sensing
 Future Challenges and Directions in Airborne Radar Sensing
 Complex Analytical Challenges of Modern Radar Systems
 Complex Analytical Challenges of Modern Radar Systems
 Complex Analysis in Industrial Inverse Problems
 Electromagnetic Waves and their Applications
 High refractive index dielectric structures in liquid crystals as tunable metasurfaces
 Method for Reconstruction of Electrical Properties Inside Human Bodies using MRI
 Method for Reconstruction of Electrical Properties Inside Human Bodies using MRI
 Deep Neural Networks and Multigrid Methods
 Exploiting Mathematics to Address Challenges in Regenerative Medicine and Medical Device Design
 Exploiting Mathematics to Address Challenges in Regenerative Medicine
 Extension of Eigenvectorbased Acoustic Propagation Methods to Real Aeroengine Duct Geometries
 Extension of Eigenvectorbased Acoustic Propagation Methods to Real Aeroengine Duct Geometries
 Homogenisation of Composite Materials Using Complex Analysis Techniques
 Homogenisation of Composite Materials Using Complex Analysis Techniques
 Out of Sight: Out of Mind: The Hidden Application of Complex Analyses
 Out of Sight: Out of Mind: The Hidden Application of Complex Analyses
 Complex Analysis Applied to the Maritime Domain
 Defence Applications of Complex Analysis
 Complex Analysis in Aeroacoustics
 Complex Analysis in Aeroacoustics
 Outline and Summary of INI Research Programme
 Outline and Summary of INI Research Programme
 Welcome and Introduction
 Welcome and Introduction
 tba
 Cauchytype integrals in multivariable complex analysis
 The lower tail of the KPZ equation via a RiemannHilbert approach
 The lower tail of the KPZ equation via a RiemannHilbert approach
 On multiple orthogonal polynomials
 On multiple orthogonal polynomials
 Spectral curves, variational problems, and the hermitian matrix model with external source
 Spectral curves, variational problems, and the hermitian matrix model with external source
 How Focused Flexibility Maximizes the Thrust Production of Flapping Wings
 How Focused Flexibility Maximizes the Thrust Production of Flapping Wings
 Applying conformal mapping and exponential asymptotics to study translating bubbles in a HeleShaw cell
 Applying conformal mapping and exponential asymptotics to study translating bubbles in a HeleShaw cell
 Linear evolution equations with dynamic boundary conditions
 tba
 Spectral deferred correction in particleincell methods
 Asymptotic analysis of RiemannHilbert problems and applications
 tba
 Painlevé functions, accessory parameters and conformal blocks
 tba
 Challenges for modelling fusion plasmas
 Flows close to patterned, slippery surfaces
 Flows close to patterned, slippery surfaces
 Numerical treatment of charged particle dynamics in a magnetic field
 Complexplane analysis of blow up in reaction diffusion
 tba
 On structurepreserving particleincell methods for the VlasovMaxwell equations
 Complex analysis and nonlinear elasticity: the Biot instability revisited.
 tba
 Highorder splitting for the VlasovPoisson equation
 The RiemannHilbert method. Toeplitz determinants as a case study
 The RiemannHilbert method. Toeplitz determinants as a case study
 Freeboundary problems, singularities and exponential asymptotics
 Freeboundary problems, singularities and exponential asymptotics
 Harmonic Analysis on Uniformly Rectifiable Sets and Applications to Complex Analysis of a Single and Several Variables
 The RiemannHilbert method. Toeplitz determinants as a case study
 The RiemannHilbert method. Toeplitz determinants as a case study
 Close
 Close
 Poster Prize Presentation
 Poster Prize Presentation
 Radiomics Approaches for Predicting Treatment Efficacy and Drug Toxicities in Lung Cancer
 Radiomics Approaches for Predicting Treatment Efficacy and Drug Toxicities in Lung Cancer
 Machine Learning for Predictive Prognostic Trajectories in Dementia
 Machine Learning for Predictive Prognostic Trajectories in Dementia
 Freeboundary problems, singularities and exponential asymptotics
 Deep Bayesian Uncertainty Quantification in Medical Imaging
 Deep Bayesian Uncertainty Quantification in Medical Imaging
 Analysing Cortical Organisation and its Relation to Cognition through Machine Learning
 Analysing Cortical Organisation and its Relation to Cognition through Machine Learning
 Some of the Main Hurdles to AI Development in Radiological Imaging  a Clinician's Perspective
 Some of the Main Hurdles to AI Development in Radiological Imaging  a Clinician's Perspective
 Clinical Challenges for AI in Oncological Imaging
 Clinical Challenges for AI in Oncological Imaging
 Cats and Crowds: Augmenting Limited Labelled Data in Medical Image Analysis
 Cats and Crowds: Augmenting Limited Labelled Data in Medical Image Analysis
 Predicting Cerebrovascular Events with Carotid Imaging
 Predicting Cerebrovascular Events with Carotid Imaging
 Learning to Classify under Minimal Supervision on Graphs: From Space to Medical LargeScale Problems
 Learning to Classify under Minimal Supervision on Graphs: From Space to Medical LargeScale Problems
 Integration of Intravascular Imaging and Biomathematical Modelling in the Assessment of Coronary Atherosclerosis
 Integration of Intravascular Imaging and Biomathematical Modelling in the Assessment of Coronary Atherosclerosis
 Reconstruction of Optical Vectorfields with Applications in Endoscopic Imaging
 Reconstruction of Optical Vectorfields with Applications in Endoscopic Imaging
 Project InnerEye  Medical Imaging AI to Empower Clinicians
 Project InnerEye  Medical Imaging AI to Empower Clinicians
 Computational Precision Medicine: From Individuals to Populations and Back
 Computational Precision Medicine: From Individuals to Populations and Back
 Expanding Precision Medicine along Clinical Pathways with AI Powered Decision Support
 Expanding Precision Medicine along Clinical Pathways with AI Powered Decision Support
 Welcome and Introduction
 Welcome and Introduction
 Registration, tea and coffee
 Registration, tea and coffee
 Jinchao Xu
 UPWIND FINITE ELEMENT METHODS FOR H(grad), H(curl) AND H(div) CONVECTIONDIFFUSION PROBLEMS
 Paul Houston
 An AgglomerationBased, Massively Parallel NonOverlapping Additive Schwarz Preconditioner for HighOrder Discontinuous Galerkin Methods on Polytopic Grids
 Emmanuil Georgoulis
 Discontinuous Galerkin methods on arbitrarily shaped elements.
 Andrea Cangiani
 A posteriori error estimation for discontinuous Galerkin methods on general meshes and adaptivity
 Franco Brezzi
 Serendipity Virtual Elements
 Kirk Lecture: A recent technology for Scientific Computing: the Virtual Element Method
 Kirk Lecture: A recent technology for Scientific Computing: the Virtual Element Method
 Timedependent conformal mapping techniques applied to fluid sloshing problems
 Timedependent conformal mapping techniques applied to fluid sloshing problems
 Collective coordinates, asymptotics and domain wall dynamics in ferromagnets
 Collective coordinates, asymptotics and domain wall dynamics in ferromagnets
 Diffeomorphisms of unit circle, shape analysis and some nonlinear PDEs
 Diffeomorphisms of unit circle, shape analysis and some nonlinear PDEs
 Approximation of eigenvalue problems arising from partial differential equations: examples and counterexamples
 Approximation of eigenvalue problems arising from partial differential equations: examples and counterexamples
 Numerical Computation of Hausdorff Dimension
 Numerical Computation of Hausdorff Dimension
 A heuristic introduction to the applications of WienerHopf factorisation in random processes
 A heuristic introduction to the applications of WienerHopf factorisation in random processes
 Tetrad methods in numerical relativity
 Tetrad methods in numerical relativity
 tba
 tba
 On numerical conservation of the PoincaréCartan integral invariant in relativistic fluid dynamics
 On numerical conservation of the PoincaréCartan integral invariant in relativistic fluid dynamics
 Inside the Final Black Hole from Black Hole Collisions
 Inside the Final Black Hole from Black Hole Collisions
 FEEC 4 GR?
 FEEC 4 GR?
 The joys and pains of multivariable complex analysis: an informal introduction
 The joys and pains of multivariable complex analysis: an informal introduction
 Finite element exterior calculus as a tool for compatible discretizations
 Finite element exterior calculus as a tool for compatible discretizations
 General Relativity: One Block at a Time
 General Relativity: One Block at a Time
 Putting Infinity on the Grid
 Putting Infinity on the Grid
 On necessary and sufficient conditions for strong hyperbolicity in systems with differential constraints
 On necessary and sufficient conditions for strong hyperbolicity in systems with differential constraints
 New prospects in numerical relativity
 New prospects in numerical relativity
 Approximation of Harmonic Maps and Wave Maps
 Approximation of Harmonic Maps and Wave Maps
 Discrete Vector Bundles with Connection and the First Chern Class
 Discrete Vector Bundles with Connection and the First Chern Class
 Second Chances
 Second Chances
 Compatible finite element spaces for metrics with curvature
 Compatible finite element spaces for metrics with curvature
 Conformal mapping, Hamiltonian methods and integrability of surface dynamics
 Conformal mapping, Hamiltonian methods and integrability of surface dynamics
 Hyperbolicity and boundary conditions.
 Hyperbolicity and boundary conditions.
 Variational discretizations of gauge field theories using groupequivariant interpolation spaces
 Variational discretizations of gauge field theories using groupequivariant interpolation spaces
 Solving PDEs Numerically on Manifolds with Arbitrary Spatial Topologies
 Solving PDEs Numerically on Manifolds with Arbitrary Spatial Topologies
 Computational Challenges in Numerical Relativity
 Computational Challenges in Numerical Relativity
 Structurepreserving time discretization: lessons for numerical relativity?
 Structurepreserving time discretization: lessons for numerical relativity?
 numerical relativity beyond astrophysics: new challenges and new dynamics
 numerical relativity beyond astrophysics: new challenges and new dynamics
 Some Research Problems in Mathematical and Numerical General Relativity
 Some Research Problems in Mathematical and Numerical General Relativity
 Numerical Relativity in the Era of Gravitational Wave Observations
 Numerical Relativity in the Era of Gravitational Wave Observations
 Kirk Lecture: Fourier, harmonic analysis, and spaces of homogeneous type
 Kirk Lecture: Fourier, harmonic analysis, and spaces of homogeneous type
 Newest Results in Newest Vertex Bisection
 Newest Results in Newest Vertex Bisection
 Nonlinear RiemannHilbert Problems (continued)
 Nonlinear RiemannHilbert Problems (continued)
 Introduction to Nonlinear RiemannHilbert Problems
 Introduction to Nonlinear RiemannHilbert Problems
 Energy preserving spectral methods on the real line whose analysis strays into the complex plane
 Energy preserving spectral methods on the real line whose analysis strays into the complex plane
 Energy preserving spectral methods on the real line whose analysis strays into the complex plane (copy)
 Energy preserving spectral methods on the real line whose analysis strays into the complex plane (copy)
 Variational systems on the variational bicomplex
 Variational systems on the variational bicomplex
 Constructing Discontinuous Galerkin methods for Vlasovtype systems
 Constructing Discontinuous Galerkin methods for Vlasovtype systems
 Dynamics of Complex Singularities of Nonlinear PDEs: Analysis and Computation
 Dynamics of Complex Singularities of Nonlinear PDEs: Analysis and Computation
 Local and global branching of solutions of differential equations
 Local and global branching of solutions of differential equations
 The harmonicmeasure distribution function of a planar domain, and the SchottkyKlein prime function
 The harmonicmeasure distribution function of a planar domain, and the SchottkyKlein prime function
 PlgCirMap: A MATLAB toolbox for computing the conformal maps from polygonal multiply connected domains onto circular domains
 PlgCirMap: A MATLAB toolbox for computing the conformal maps from polygonal multiply connected domains onto circular domains
 A Baker Function for Laplacian Growth and Phase Transitions
 A Baker Function for Laplacian Growth and Phase Transitions
 Kelvin transform and Fourier analysis for explicit reconstruction formulae in paleomagnetic context
 Kelvin transform and Fourier analysis for explicit reconstruction formulae in paleomagnetic context
 Steady point vortices in a field of Stuarttype vorticity
 Steady point vortices in a field of Stuarttype vorticity
 Hyponormal quantization of planar domains
 Hyponormal quantization of planar domains
 Viscous flows in channel geometries
 Viscous flows in channel geometries
 Geometric function theory and vortex motion: the role of connections
 Geometric function theory and vortex motion: the role of connections
 Painleve Equations  Nonlinear Special Functions III
 Painleve Equations  Nonlinear Special Functions III
 Numerical preservation of local conservation laws
 Numerical preservation of local conservation laws
 Conservation laws and Euler operators
 Conservation laws and Euler operators
 Painlevé functions, Fredholm determinants and combinatorics
 Painlevé functions, Fredholm determinants and combinatorics
 Isomonodromic tau functions, the constructive approach to conformal maps, and black holes.
 Isomonodromic tau functions, the constructive approach to conformal maps, and black holes.
 Painleve Equations  Nonlinear Special Functions II
 Painleve Equations  Nonlinear Special Functions II
 A technique to solve some isomonodromy deformation problems, with applications
 A technique to solve some isomonodromy deformation problems, with applications
 Computing all zeros of harmonic mappings in the plane
 Computing all zeros of harmonic mappings in the plane
 Asymptotic zero distribution of generalized hypergeometric polynomials
 Asymptotic zero distribution of generalized hypergeometric polynomials
 The spherical model with two external charges.
 The spherical model with two external charges.
 Zero distribution of discrete orthogonal polynomials on a qlattice
 Zero distribution of discrete orthogonal polynomials on a qlattice
 Painleve Equations  Nonlinear Special Functions I
 Painleve Equations  Nonlinear Special Functions I
 Painlevé equations and nonHermitian random matrix ensembles
 Painlevé equations and nonHermitian random matrix ensembles
 Conformally mapping water waves: top, bottom or sides.
 Conformally mapping water waves: top, bottom or sides.
 Large gap asymptotics at the hard edge for MuttalibBorodin ensembles
 Large gap asymptotics at the hard edge for MuttalibBorodin ensembles
 Boundary value problems on a finite interval, fractalisation and revivals
 Boundary value problems on a finite interval, fractalisation and revivals
 New Integrable Nonlocal Nonlinear Equations and Solitons
 New Integrable Nonlocal Nonlinear Equations and Solitons
 Numerical Integrators for the Hamiltonian Monte Carlo Method
 Numerical Integrators for the Hamiltonian Monte Carlo Method
 Mixed order and multirate variational integrators for the simulation of dynamics on different time scales
 Mixed order and multirate variational integrators for the simulation of dynamics on different time scales
 Variational formulations for dissipative systems
 Variational formulations for dissipative systems
 LiePoisson methods for isospectral flows and their application to longtime simulation of spherical ideal hydrodynamics
 LiePoisson methods for isospectral flows and their application to longtime simulation of spherical ideal hydrodynamics
 Computational geometric optics: MongeAmpere
 Computational geometric optics: MongeAmpere
 On branching of analytic functions in 2D complex space
 On branching of analytic functions in 2D complex space
 Scattering by a periodic array of slits with complex boundaries via the WienerHopf method
 Scattering by a periodic array of slits with complex boundaries via the WienerHopf method
 Highcontrast approximation for penetrable wedge diffraction
 Highcontrast approximation for penetrable wedge diffraction
 Contact Hamiltonian system and its application in solving VlasovPoisson FokkerPlanck system
 Contact Hamiltonian system and its application in solving VlasovPoisson FokkerPlanck system
 More on composition methods: error estimation and pseudosymmetry
 More on composition methods: error estimation and pseudosymmetry
 Comments on the approximate factorisation of matrix functions with unstable sets of partial indices
 Comments on the approximate factorisation of matrix functions with unstable sets of partial indices
 Functionalintegral equations and diffraction by a truncated wedge
 Functionalintegral equations and diffraction by a truncated wedge
 Application of the Wiener–Hopf technique in contact problems
 Application of the Wiener–Hopf technique in contact problems
 Solving WienerHopf type problems numerically: a spectral method approach
 Solving WienerHopf type problems numerically: a spectral method approach
 Application of the WienerHopf approach to incorrectly posed BVP of plane elasticity
 Application of the WienerHopf approach to incorrectly posed BVP of plane elasticity
 Two vector WienerHopf equations with 2x2 kernels containing oscillatory terms
 Two vector WienerHopf equations with 2x2 kernels containing oscillatory terms
 Diffraction in Mindlin plates
 Diffraction in Mindlin plates
 Application of Khrapkov’s technique of 2x2 matrix factorization to solving problems related to interface cracks
 Application of Khrapkov’s technique of 2x2 matrix factorization to solving problems related to interface cracks
 Phase transition processes in flexural structured systems with rotational inertia
 Phase transition processes in flexural structured systems with rotational inertia
 Spectral theory of convolution operators on finite intervals: small and large interval asymptotics
 Spectral theory of convolution operators on finite intervals: small and large interval asymptotics
 Shear band dynamics
 Shear band dynamics
 Elastic wedge diffraction, with applications to nondestructive evaluation
 Elastic wedge diffraction, with applications to nondestructive evaluation
 Moving boundary value problems in the dynamics of structures
 Moving boundary value problems in the dynamics of structures
 Using iteration to solve n by n matrix WienerHopf equations involving exponential factors with numerical implementation
 Using iteration to solve n by n matrix WienerHopf equations involving exponential factors with numerical implementation
 Steadystate interfacial cracks in bimaterial elastic lattices
 Steadystate interfacial cracks in bimaterial elastic lattices
 Owlinspired mechanisms of turbulence noise reduction
 Owlinspired mechanisms of turbulence noise reduction
 Complex scattering and radiation problems using the Generalized WienerHopf Technique
 Complex scattering and radiation problems using the Generalized WienerHopf Technique
 Fredholm factorization of WienerHopf equations (presented by Guido Lombardi)
 Fredholm factorization of WienerHopf equations (presented by Guido Lombardi)
 Numerical solution of matrix Wiener–Hopf problems via a Riemann–Hilbert formulation
 Numerical solution of matrix Wiener–Hopf problems via a Riemann–Hilbert formulation
 Turbofan noise detection and control studies by the WienerHopf Technique
 Turbofan noise detection and control studies by the WienerHopf Technique
 Waterwave forcing on submerged plates
 Waterwave forcing on submerged plates
 Finite element methods for Hamiltonian PDEs
 Finite element methods for Hamiltonian PDEs
 Numerical General Relativity
 Numerical General Relativity
 Supersonic kinks in active solids
 Supersonic kinks in active solids
 Homogenisation and a WienerHopf formulation for a scattering problem around a semiinfinite elastic structured duct
 Homogenisation and a WienerHopf formulation for a scattering problem around a semiinfinite elastic structured duct
 Greater generality brings simplicity
 Greater generality brings simplicity
 Transmission and reflection at an interface between metamaterial and ordinary material
 Transmission and reflection at an interface between metamaterial and ordinary material
 Analytical solutions of dynamic fracture and friction at the atomic scale
 Analytical solutions of dynamic fracture and friction at the atomic scale
 Whispering gallery waves diffraction by boundary inflection: an unsolved canonical problem
 Whispering gallery waves diffraction by boundary inflection: an unsolved canonical problem
 On explicit and exact solutions of the WienerHopf factorization problem for some matrix functions
 On explicit and exact solutions of the WienerHopf factorization problem for some matrix functions
 Solving WienerHopf Problems by the aid of Fredholm Integral Equations of the Second Kind
 Solving WienerHopf Problems by the aid of Fredholm Integral Equations of the Second Kind
 A RiemannHilbert approach to Einstein field equations
 A RiemannHilbert approach to Einstein field equations
 Factorisation of triangular matrixfunctions of arbitrary order
 Factorisation of triangular matrixfunctions of arbitrary order
 WienerHopf Factorisations for Levy processes
 WienerHopf Factorisations for Levy processes
 On JanashiaLagvilava method of matrix spectral factorisation
 On JanashiaLagvilava method of matrix spectral factorisation
 WienerHopf factorization: the peculiarities of the matrix almost periodic case
 WienerHopf factorization: the peculiarities of the matrix almost periodic case
 On the partial indices of piecewise constant matrix functions
 On the partial indices of piecewise constant matrix functions
 WienerHopf factorisation on the unit circle: some examples of discrete scattering problems
 WienerHopf factorisation on the unit circle: some examples of discrete scattering problems
 Generalisation of the WienerHopf pole removal method and application to n by n matrix functions
 Generalisation of the WienerHopf pole removal method and application to n by n matrix functions
 Ordered Exponential (OE) equation as an alternative to the WienerHopf method
 Ordered Exponential (OE) equation as an alternative to the WienerHopf method
 Novel exact and asymptotic series with error functions, for a function involved in diffraction theory: the incomplete Bessel function
 Novel exact and asymptotic series with error functions, for a function involved in diffraction theory: the incomplete Bessel function
 Recent advances in the quarterplane problem using functions of two complex variables
 Recent advances in the quarterplane problem using functions of two complex variables
 Quantitative results on continuity of the spectral factorisation mapping
 Quantitative results on continuity of the spectral factorisation mapping
 WienerHopf factorisation through an intermediate space and applications to diffraction theory
 WienerHopf factorisation through an intermediate space and applications to diffraction theory
 From Sommerfeld diffraction problems to operator factorisation: Lecture 3
 From Sommerfeld diffraction problems to operator factorisation: Lecture 3
 Understanding dynamic crack growth in structured systems with the WienerHopf technique: Lecture 2
 Understanding dynamic crack growth in structured systems with the WienerHopf technique: Lecture 2
 Orthogonal polynomials, singular integrals, and solving Riemann–Hilbert problems: Lecture 2
 Orthogonal polynomials, singular integrals, and solving Riemann–Hilbert problems: Lecture 2
 The link between the WienerHopf and the generalised Sommerfeld Malyuzhinets methods: Lecture 4
 The link between the WienerHopf and the generalised Sommerfeld Malyuzhinets methods: Lecture 4
 Towards a multivariable WienerHopf method: Lecture 4
 Towards a multivariable WienerHopf method: Lecture 4
 Computing the WienerHopf factors for Levy processes: Lecture 2
 Computing the WienerHopf factors for Levy processes: Lecture 2
 The link between the WienerHopf and the generalised Sommerfeld Malyuzhinets methods: Lecture 3
 The link between the WienerHopf and the generalised Sommerfeld Malyuzhinets methods: Lecture 3
 Towards a multivariable WienerHopf method: Lecture 3
 Towards a multivariable WienerHopf method: Lecture 3
 The link between the WienerHopf and the generalised Sommerfeld Malyuzhinets methods: Lecture 2
 The link between the WienerHopf and the generalised Sommerfeld Malyuzhinets methods: Lecture 2
 From Sommerfeld diffraction problems to operator factorisation: Lecture 2
 From Sommerfeld diffraction problems to operator factorisation: Lecture 2
 From Sommerfeld diffraction problems to operator factorisation: Lecture 1
 From Sommerfeld diffraction problems to operator factorisation: Lecture 1
 The Lie algebra of classical mechanics
 The Lie algebra of classical mechanics
 On the WienerHopf technique and its applications in science and engineering: Lecture 2
 On the WienerHopf technique and its applications in science and engineering: Lecture 2
 Fast approximation on the real line
 Fast approximation on the real line
 Orthogonal polynomials, singular integrals, and solving Riemann–Hilbert problems: Lecture 1
 Orthogonal polynomials, singular integrals, and solving Riemann–Hilbert problems: Lecture 1
 The link between the WienerHopf and the generalised Sommerfeld Malyuzhinets methods: Lecture 1
 The link between the WienerHopf and the generalised Sommerfeld Malyuzhinets methods: Lecture 1
 Towards a multivariable WienerHopf method: Lecture 2
 Towards a multivariable WienerHopf method: Lecture 2
 Computing the WienerHopf factors for Levy processes: Lecture 1
 Computing the WienerHopf factors for Levy processes: Lecture 1
 Understanding dynamic crack growth in structured systems with the WienerHopf technique: Lecture 1
 Understanding dynamic crack growth in structured systems with the WienerHopf technique: Lecture 1
 Towards a multivariable WienerHopf method: Lecture 1
 Towards a multivariable WienerHopf method: Lecture 1
 On the WienerHopf technique and its applications in science and engineering: Lecture 2
 On the WienerHopf technique and its applications in science and engineering: Lecture 2
 On the WienerHopf technique and its applications in science and engineering: Lecture 1
 On the WienerHopf technique and its applications in science and engineering: Lecture 1
 Facilitated Discussion and Next Steps
 Facilitated Discussion and Next Steps
 Research Roadmaps for Landscape Decision Making
 Research Roadmaps for Landscape Decision Making
 Defra Interests in the Statistics and Mathematics of Landscape Decision Making
 Defra Interests in the Statistics and Mathematics of Landscape Decision Making
 Stakeholder talk  Setting Context: Reflections on the Future Governance of Ecosystems
 Stakeholder talk  Setting Context: Reflections on the Future Governance of Ecosystems
 High or Low Sensitivity to Policy  What Should we Aim for?
 High or Low Sensitivity to Policy  What Should we Aim for?
 Mapping the Gaps! How do we Fill in the Information Missing from Tree Inventories?
 Mapping the Gaps! How do we Fill in the Information Missing from Tree Inventories?
 Progress and Research Gaps in Spatial/Temporal Scaling and Coupling of Models to Support Landscape Decisions
 Progress and Research Gaps in Spatial/Temporal Scaling and Coupling of Models to Support Landscape Decisions
 The Value and the Limitation of a Data Driven System for Making Decisions on Places
 The Value and the Limitation of a Data Driven System for Making Decisions on Places
 Landscape Decisions Combining Uncertain Data and Models
 Landscape Decisions Combining Uncertain Data and Models
 The Future Prospectus
 The Future Prospectus
 Organiser Introduction  Brief Overview of the INI Research Programme 'Mathematical and Statistical Challenges in Landscape Decision Making'
 Organiser Introduction  Brief Overview of the INI Research Programme 'Mathematical and Statistical Challenges in Landscape Decision Making'
 Welcome and Introduction
 Welcome and Introduction
 Reporting back from breakout groups and synthesis of innovations and needs
 Reporting back from breakout groups and synthesis of innovations and needs
 Breakout groups around research innovation and need clusters identified during panel discussions
 Breakout groups around research innovation and need clusters identified during panel discussions
 Panel discussion on “Benchmarking, calibration and uncertainty (including model emulation)”
 Panel discussion on “Benchmarking, calibration and uncertainty (including model emulation)”
 https://www.talks.cam.ac.uk/talk/index/127846
 https://www.talks.cam.ac.uk/talk/index/127849
 https://www.talks.cam.ac.uk/talk/index/127840
 https://www.talks.cam.ac.uk/talk/index/127843
 Panel discussion on “Model coupling”
 Panel discussion on “Model coupling”
 https://www.talks.cam.ac.uk/talk/index/127828
 https://www.talks.cam.ac.uk/talk/index/127831
 https://www.talks.cam.ac.uk/talk/index/127822
 https://www.talks.cam.ac.uk/talk/index/127825
 Panel discussion on “Modelling processes in landscapes”
 Panel discussion on “Modelling processes in landscapes”
 https://www.talks.cam.ac.uk/talk/index/127801
 https://www.talks.cam.ac.uk/talk/index/127804
 Optimal control and the geometry of integrable systems
 Optimal control and the geometry of integrable systems
 https://www.talks.cam.ac.uk/talk/index/127795
 https://www.talks.cam.ac.uk/talk/index/127798
 Panel discussion on “Spatial/temporal scaling”
 Panel discussion on “Spatial/temporal scaling”
 https://www.talks.cam.ac.uk/talk/index/127783
 https://www.talks.cam.ac.uk/talk/index/127786
 https://www.talks.cam.ac.uk/talk/index/127777
 https://www.talks.cam.ac.uk/talk/index/127780
 Panel discussion on “Decisionmaking in the face of uncertainty”
 Panel discussion on “Decisionmaking in the face of uncertainty”
 https://www.talks.cam.ac.uk/talk/index/127765
 https://www.talks.cam.ac.uk/talk/index/127768
 https://www.talks.cam.ac.uk/talk/index/127759
 https://www.talks.cam.ac.uk/talk/index/127762
 Introduction to the Workshop and Programme
 Introduction to the Workshop and Programme
 Welcome from David Abrahams (Isaac Newton Institute)
 Welcome from David Abrahams (Isaac Newton Institute)
 Computational methods for simulating inertial particles in discrete incompressible flows.
 Computational methods for simulating inertial particles in discrete incompressible flows.
 The Connections Between Discrete Geometric Mechanics, Information Geometry and Machine Learning
 The Connections Between Discrete Geometric Mechanics, Information Geometry and Machine Learning
 NonStationary predictors for land use change into the future
 NonStationary predictors for land use change into the future
 Achieving Sustainable Agricultural Systems
 Achieving Sustainable Agricultural Systems
 Working with Government’
 Working with Government’
 Agland
 Agland
 FragStats
 FragStats
 A new wavetowire waveenergy model: from variational principle to compatible spacetime discretisation
 A new wavetowire waveenergy model: from variational principle to compatible spacetime discretisation
 Forecasting volcanic hazards with uncertainty: is it over? is it safe?
 Forecasting volcanic hazards with uncertainty: is it over? is it safe?
 Dual complexes and mortaring for regular approximations of electromagnetic fields
 Dual complexes and mortaring for regular approximations of electromagnetic fields
 'An indicator for resilience and security of waterenergyfood (WEF) systems in industrialised nations’
 'An indicator for resilience and security of waterenergyfood (WEF) systems in industrialised nations’
 Exterior Shape Calculus
 Exterior Shape Calculus
 Networks for Species to Survive Climate Change
 Networks for Species to Survive Climate Change
 Food Sustainability: Data and Conceptual Challenges in Indicator Development
 Food Sustainability: Data and Conceptual Challenges in Indicator Development
 Probabilistic Risk Analysis for vegetation
 Probabilistic Risk Analysis for vegetation
 The Scale Problem
 The Scale Problem
 Social Cost Benefit Analysis  it’s better than you think … probably
 Social Cost Benefit Analysis  it’s better than you think … probably
 The Best of Both Worlds
 The Best of Both Worlds
 Detection of high codimensional bifurcations in variational PDEs
 Detection of high codimensional bifurcations in variational PDEs
 Peter Alexander
 Peter Alexander
 Examples of Global Food System Analysis and
 Examples of Global Food System Analysis and
 Predicting the Output from a Stochastic Model when a deterministic Approximation is Available
 Predicting the Output from a Stochastic Model when a deterministic Approximation is Available
 Correlated Bernoulli Processes via de Bruijn Graphs
 Correlated Bernoulli Processes via de Bruijn Graphs
 Uncertainty quantification in highdimensional landscape problems using Bayesian hierarchical models
 Uncertainty quantification in highdimensional landscape problems using Bayesian hierarchical models
 Why Bseries, rooted trees, and free algebras?  2
 Why Bseries, rooted trees, and free algebras?  2
 Finite element exterior calculus  4
 Finite element exterior calculus  4
 Adaptivity and optimal transport
 Adaptivity and optimal transport
 Model Discrepancy  Part 2
 Model Discrepancy  Part 2
 PortHamiltonian Systems
 PortHamiltonian Systems
 Model Discrepancy
 Model Discrepancy
 Lie symmetry preserving finite element methods
 Lie symmetry preserving finite element methods
 Discrete Darboux polynomials and the preservation of measure and integrals of ordinary differential equations
 Discrete Darboux polynomials and the preservation of measure and integrals of ordinary differential equations
 Panel
 Panel
 Noether's conservation laws  smooth and discrete
 Noether's conservation laws  smooth and discrete
 Why Bseries, rooted trees, and free algebras?  3
 Why Bseries, rooted trees, and free algebras?  3
 Finite Element Exterior Calculus  3
 Finite Element Exterior Calculus  3
 Gaussian process Emulation and History Matching
 Gaussian process Emulation and History Matching
 An introduction to timeparallel methods
 An introduction to timeparallel methods
 PDEs in Complex and Evolving Domains IV
 PDEs in Complex and Evolving Domains IV
 PDEs in Complex and Evolving Domains III
 PDEs in Complex and Evolving Domains III
 Finite Element Exterior Calculus  2
 Finite Element Exterior Calculus  2
 Blowup in PDES and how to compute it
 Blowup in PDES and how to compute it
 Variational Gaussian wave packets revisited
 Variational Gaussian wave packets revisited
 PDEs in Complex and Evolving Domains II
 PDEs in Complex and Evolving Domains II
 Why Bseries, rooted trees, and free algebras?  2
 Why Bseries, rooted trees, and free algebras?  2
 Ecological Insights from Mathematica and Individual Based Models
 Ecological Insights from Mathematica and Individual Based Models
 Introduction to Lie groups and algebras  2
 Introduction to Lie groups and algebras  2
 Finite Element Exterior Calculus  1
 Finite Element Exterior Calculus  1
 Highorder Discontinuous Galerkin methods for the numerical modelling of earthquake ground motion
 Highorder Discontinuous Galerkin methods for the numerical modelling of earthquake ground motion
 Modified error estimates for discrete variational derivative methods
 Modified error estimates for discrete variational derivative methods
 Introduction to Lie groups and algebras  1
 Introduction to Lie groups and algebras  1
 PDEs in Complex and Evolving Domains I
 PDEs in Complex and Evolving Domains I
 Why Bseries, rooted trees, and free algebras?  1
 Why Bseries, rooted trees, and free algebras?  1
 Closing Panel Discussion (tbc)
 Closing Panel Discussion (tbc)
 Panel discussion on “Benchmarking, calibration and uncertainty"
 Panel discussion on “Benchmarking, calibration and uncertainty"
 Issues of scale and uncertainty in landscape scale data products
 Issues of scale and uncertainty in landscape scale data products
 Recent scoping studies in evidence based decision making against complex backgrounds
 Recent scoping studies in evidence based decision making against complex backgrounds
 Scalable Uncertainty Quantification for calibrating spatiotemporal models
 Scalable Uncertainty Quantification for calibrating spatiotemporal models
 Panel discussion on “Nonlinearities”
 Panel discussion on “Nonlinearities”
 Nonlinearities, tipping points and regime shifts
 Nonlinearities, tipping points and regime shifts
 Revealing the complex dynamics of real landscape systems
 Revealing the complex dynamics of real landscape systems
 Recap on the previous day
 Recap on the previous day
 Panel discussion on “Model coupling”
 Panel discussion on “Model coupling”
 Middleware to Support Model Coupling in Landscape Decision Making
 Middleware to Support Model Coupling in Landscape Decision Making
 Model coupling in land system science
 Model coupling in land system science
 Model(er) coupling in integrated modelling platforms
 Model(er) coupling in integrated modelling platforms
 Panel discussion on “Modelling social/human processes in landscapes”
 Panel discussion on “Modelling social/human processes in landscapes”
 Weakestlink control of invasive species: Impacts of memory, bounded rationality and network structure in repeated cooperative games
 Weakestlink control of invasive species: Impacts of memory, bounded rationality and network structure in repeated cooperative games
 The need (and opportunity) for improved modelling of land use decisionmaking
 The need (and opportunity) for improved modelling of land use decisionmaking
 Panel discussion on “Decisionmaking in the face of uncertainty”
 Panel discussion on “Decisionmaking in the face of uncertainty”
 Decisionmaking under uncertainty: Using subjective probabilistic judgements for decision support in pollinator abundance and food security
 Decisionmaking under uncertainty: Using subjective probabilistic judgements for decision support in pollinator abundance and food security
 Decision making in the face of uncertainty: improving the evidence base to support landscape decisions
 Decision making in the face of uncertainty: improving the evidence base to support landscape decisions
 Smart Landscapes
 Smart Landscapes
 Panel discussion on “Spatial/temporal scaling in landscape modelling”
 Panel discussion on “Spatial/temporal scaling in landscape modelling”
 Scaling Challenges in Hydrology and Applications to Water Resources and Food Security
 Scaling Challenges in Hydrology and Applications to Water Resources and Food Security
 Scaling populations and communities
 Scaling populations and communities
 Introduction to the Workshop and Programme
 Introduction to the Workshop and Programme
 Questions and Facilitated Panel Discussion
 Questions and Facilitated Panel Discussion
 Stateoftheart in Hydrological Modelling for Landscape Decisions  HydroJULES: Next Generation Land Surface and Hydrological Predictions
 Stateoftheart in Hydrological Modelling for Landscape Decisions  HydroJULES: Next Generation Land Surface and Hydrological Predictions
 Stakeholder Perspective: A Systemic Understanding of the Water Environment: Why we need it and the Challenges we face
 Stakeholder Perspective: A Systemic Understanding of the Water Environment: Why we need it and the Challenges we face
 Stakeholder Perspective: Farming in Challenging Times
 Stakeholder Perspective: Farming in Challenging Times
 Understanding Land Use Change and Supporting Landscape Decision Making
 Understanding Land Use Change and Supporting Landscape Decision Making
 Stakeholder Perspective: Can we Model where to Plant Government's Woodland Creation Aspirations?
 Stakeholder Perspective: Can we Model where to Plant Government's Woodland Creation Aspirations?
 Planning Future Cities  Overcoming Barriers to Information Modelling
 Planning Future Cities  Overcoming Barriers to Information Modelling
 Stakeholder Perspective: CDBB and the CDBB's Digital Framework Task group (DFTG)  Towards an Information Management Framework to make Better Decisions around the Built Environment
 Stakeholder Perspective: CDBB and the CDBB's Digital Framework Task group (DFTG)  Towards an Information Management Framework to make Better Decisions around the Built Environment
 Approaches to Modelling Urban Land Use Change in Response to Residential and other Pressures
 Approaches to Modelling Urban Land Use Change in Response to Residential and other Pressures
 Manchester Urban Pioneer Perspective: Planning for Nature in Urban Environments
 Manchester Urban Pioneer Perspective: Planning for Nature in Urban Environments
 Stakeholder Survey  Shaping Future Research Directions
 Stakeholder Survey  Shaping Future Research Directions
 Keynote  Overview of Programme and what Components of Landscape Systems need to be Represented in Models?
 Keynote  Overview of Programme and what Components of Landscape Systems need to be Represented in Models?
 Planning and Decisionmaking for UK Landscapes  Systems Research Programme and 25 Year Environment Plan
 Planning and Decisionmaking for UK Landscapes  Systems Research Programme and 25 Year Environment Plan
 Welcome and Introduction
 Welcome and Introduction
 Optimal design problems
 Optimal design problems
 Markovtype inequalities and extreme zeros of orthogonal polynomials
 Markovtype inequalities and extreme zeros of orthogonal polynomials
 Imaging through optical fibres
 Imaging through optical fibres
 Integral norm discretization and related problems
 Integral norm discretization and related problems
 Totally positive functions in sampling theory and timefrequency analysis
 Totally positive functions in sampling theory and timefrequency analysis
 How good is random information compared to optimal information?
 How good is random information compared to optimal information?
 Beating the Curse of Dimensionality: A Theoretical Analysis of Deep Neural Networks and Parametric PDEs
 Beating the Curse of Dimensionality: A Theoretical Analysis of Deep Neural Networks and Parametric PDEs
 Orthogonal structure in and on quadratic surfaces
 Orthogonal structure in and on quadratic surfaces
 On some theorems on the restriction of operator to coordinate subspace
 On some theorems on the restriction of operator to coordinate subspace
 Stochastic QuasiGradient Methods: Variance Reduction via Jacobian Sketching
 Stochastic QuasiGradient Methods: Variance Reduction via Jacobian Sketching
 Extracting bits from analog samples: in pursuit of optimality
 Extracting bits from analog samples: in pursuit of optimality
 Wrinkles, spaghetti & knots
 Wrinkles, spaghetti & knots
 Explicit integral representations of the relaxation of nonlocal energies for structured deformations
 Explicit integral representations of the relaxation of nonlocal energies for structured deformations
 Virial inversion and microscopic derivation of density functionals
 Virial inversion and microscopic derivation of density functionals
 Approximation of continuous problems in Fourier Analysis by finite dimensional ones: The setting of the Banach Gelfand Triple
 Approximation of continuous problems in Fourier Analysis by finite dimensional ones: The setting of the Banach Gelfand Triple
 On singular Brascamp Lieb integrals
 On singular Brascamp Lieb integrals
 Basis properties of the Haar system in various function spaces
 Basis properties of the Haar system in various function spaces
 QuasiMonte Carlo integration in uncertainty quantification of elliptic PDEs with logGaussian coefficients
 QuasiMonte Carlo integration in uncertainty quantification of elliptic PDEs with logGaussian coefficients
 Linear and onebit compressive sensing with subsampled random convolutions
 Linear and onebit compressive sensing with subsampled random convolutions
 A sequence of wellconditioned polynomials
 A sequence of wellconditioned polynomials
 Optimal algorithms for state estimation using reduced models
 Optimal algorithms for state estimation using reduced models
 Discrete translates in function spaces
 Discrete translates in function spaces
 Functions of Few Coordinate Variables: Sampling Schemes and Recovery Algorithms
 Functions of Few Coordinate Variables: Sampling Schemes and Recovery Algorithms
 Representer theorems and convex optimization
 Representer theorems and convex optimization
 High Dimensional Approximation via Sparse Occupancy Trees
 High Dimensional Approximation via Sparse Occupancy Trees
 Optimal sampling for approximation on general domains
 Optimal sampling for approximation on general domains
 Transportation cost spaces on finite metric spaces
 Transportation cost spaces on finite metric spaces
 Dynamical sampling and frames generated from powers of exponential operators
 Dynamical sampling and frames generated from powers of exponential operators
 Optimization for Multiscale Material Design
 Optimization for Multiscale Material Design
 Remarks on the discretizations of the perimeter
 Remarks on the discretizations of the perimeter
 Sparse forms for BochnerRiesz operators
 Sparse forms for BochnerRiesz operators
 About new constraints induced by additive manufacturing technologies on the shape optimization process
 About new constraints induced by additive manufacturing technologies on the shape optimization process
 Computational Design of Robust Elastic Metamaterials and Deployable Structures
 Computational Design of Robust Elastic Metamaterials and Deployable Structures
 Gradientfree perimeter approximation for topology optimization and domain partitioning
 Gradientfree perimeter approximation for topology optimization and domain partitioning
 MultiScale and Risc Averse Stochastic Shape Optimization
 MultiScale and Risc Averse Stochastic Shape Optimization
 Kirk Distinguished Visiting Fellow Lecture: The hidden landscape of localization
 Kirk Distinguished Visiting Fellow Lecture: The hidden landscape of localization
 Singular lattices, regularization and dehomogenization method
 Singular lattices, regularization and dehomogenization method
 Levelset topology optimization for robust design of structures under internal porosity constraints
 Levelset topology optimization for robust design of structures under internal porosity constraints
 Topology optimization of modulated and oriented periodic microstructures by the homogenization method in 2d and in 3d
 Topology optimization of modulated and oriented periodic microstructures by the homogenization method in 2d and in 3d
 Simple singlescale interpretations of optimal designs in the context of extremal stiffness
 Simple singlescale interpretations of optimal designs in the context of extremal stiffness
 Variational models for transportation networks: old and new formulations
 Variational models for transportation networks: old and new formulations
 Optimization of bodies with locally periodic microstructure by varying the shape, the topology and the periodicity pattern
 Optimization of bodies with locally periodic microstructure by varying the shape, the topology and the periodicity pattern
 Optimization of support structures in additive manufacturing
 Optimization of support structures in additive manufacturing
 Effective Maxwell's equations in a geometry with flat splitrings and wires
 Effective Maxwell's equations in a geometry with flat splitrings and wires
 Spectral shape optimization problems with Neumann conditions on the free boundary
 Spectral shape optimization problems with Neumann conditions on the free boundary
 Optimizing the elastic response of 3d printed materials
 Optimizing the elastic response of 3d printed materials
 Approximation via Deep Neural Networks
 Approximation via Deep Neural Networks
 Quantifying uncertainty in cardiovascular digital twins through model reduction, Bayesian inference and propagation of model ensembles
 Quantifying uncertainty in cardiovascular digital twins through model reduction, Bayesian inference and propagation of model ensembles
 Systems Cardiology of Heart Failure
 Systems Cardiology of Heart Failure
 Learning between digital twins
 Learning between digital twins
 The PIC experience towards the vision of the Digital Twin
 The PIC experience towards the vision of the Digital Twin
 Application of Deep Learning on Reducing Uncertainty in the Atrial Structure from Contrastenhanced MRIs
 Application of Deep Learning on Reducing Uncertainty in the Atrial Structure from Contrastenhanced MRIs
 Embracing uncertainty and variabiilty in the design of cardiac computational models
 Embracing uncertainty and variabiilty in the design of cardiac computational models
 Classifying drugs by their arrhythmogenic risk using multiscale modeling and machine learning
 Classifying drugs by their arrhythmogenic risk using multiscale modeling and machine learning
 Uncertainty in the prediction of druginduced arrhythmogenic risk assessed by a multidimensional hazard map
 Uncertainty in the prediction of druginduced arrhythmogenic risk assessed by a multidimensional hazard map
 Uncertainty Quantification in the Parameterization of Cardiac Action Potential Models Through the Singular Value Decomposition
 Uncertainty Quantification in the Parameterization of Cardiac Action Potential Models Through the Singular Value Decomposition
 Hunting for tigers: which uncertainties matter?
 Hunting for tigers: which uncertainties matter?
 The Bayes linear approach to emulation and history matching for complex computer simulators
 The Bayes linear approach to emulation and history matching for complex computer simulators
 Efficient Quantification of Left Ventricular Function During the Full Cardiac Cycle Using a Characteristic Deformation Model
 Efficient Quantification of Left Ventricular Function During the Full Cardiac Cycle Using a Characteristic Deformation Model
 In vitro and in vivo computational models of heart valve dynamics
 In vitro and in vivo computational models of heart valve dynamics
 Reduced order modeling for uncertainty quantification in cardiac electrophysiology
 Reduced order modeling for uncertainty quantification in cardiac electrophysiology
 Characterizing parameter sensitivity and uncertainty in dyadic structurefunction relationships by using a multiscale model of ventricular cardiac myocytes
 Characterizing parameter sensitivity and uncertainty in dyadic structurefunction relationships by using a multiscale model of ventricular cardiac myocytes
 Model uncertainty  and the consequences of ignoring it
 Model uncertainty  and the consequences of ignoring it
 Enabling highdimensional uncertainty quantification for cardiac electrophysiology via multifidelity techniques
 Enabling highdimensional uncertainty quantification for cardiac electrophysiology via multifidelity techniques
 Applications of uncertainty quantification and sensitivity analysis for cardiovascular models
 Applications of uncertainty quantification and sensitivity analysis for cardiovascular models
 Topology optimization of structures: a review of manufacturing constraints
 Topology optimization of structures: a review of manufacturing constraints
 Statistical inference in softtissue mechanics and fluid dynamics with an application to prognostication of myocardial infarction and pulmonary hypertension
 Statistical inference in softtissue mechanics and fluid dynamics with an application to prognostication of myocardial infarction and pulmonary hypertension
 Quantitative immersability of Riemann metrics and the infinite hierarchy of prestrained shell models
 Quantitative immersability of Riemann metrics and the infinite hierarchy of prestrained shell models
 Probabilistic Interpolation of Uncertain Local Activation Times
 Probabilistic Interpolation of Uncertain Local Activation Times
 A variational perspective on wrinkling due to geometric incompatibility
 A variational perspective on wrinkling due to geometric incompatibility
 Quantification of Model Uncertainty
 Quantification of Model Uncertainty
 The role of uncertainty and sensitivity analysis in patienttailored cardiovascular models
 The role of uncertainty and sensitivity analysis in patienttailored cardiovascular models
 In silico–in vitro approach to study the mechanisms of cardiac arrhythmias
 In silico–in vitro approach to study the mechanisms of cardiac arrhythmias
 Ventricular Remodeling: Population Variation in Congenital Heart Disease and Data Uncertainty in Systems Mechanobiology
 Ventricular Remodeling: Population Variation in Congenital Heart Disease and Data Uncertainty in Systems Mechanobiology
 Welcome from David Abrahams (Isaac Newton Institute)
 Welcome from David Abrahams (Isaac Newton Institute)
 Q&A and Close
 Q&A and Close
 PharmacokineticPharmacodynamic Modelling to Translate Cardiovascular Pharmacology from Preclinical Findings to the Clinic in Drug Development
 PharmacokineticPharmacodynamic Modelling to Translate Cardiovascular Pharmacology from Preclinical Findings to the Clinic in Drug Development
 Model Order Reduction by Congruency Training in Simulations of Cardiac Mechanics
 Model Order Reduction by Congruency Training in Simulations of Cardiac Mechanics
 Sensitivity and Uncertainty Analysis for Cardiac Cell Models
 Sensitivity and Uncertainty Analysis for Cardiac Cell Models
 Enhanced Methods for Diagnosing Pharmacometric Models: Random Sampling from Conditional Distributions
 Enhanced Methods for Diagnosing Pharmacometric Models: Random Sampling from Conditional Distributions
 The Living Heart Project: Development of Multiscale Computational Heart Models with Applications in Individualised Cardiovascular Care
 The Living Heart Project: Development of Multiscale Computational Heart Models with Applications in Individualised Cardiovascular Care
 Cardiac Electrophysiology Modelling for Cardiac Safety Assessment
 Cardiac Electrophysiology Modelling for Cardiac Safety Assessment
 Numerical Solution Methods for the Heart and the Circulation
 Numerical Solution Methods for the Heart and the Circulation
 From Medical Images to Digital Twins: Technological and Translational Challenges
 From Medical Images to Digital Twins: Technological and Translational Challenges
 Modelling and Simulation for Medical Devices: When Can we Trust a Computational Model?
 Modelling and Simulation for Medical Devices: When Can we Trust a Computational Model?
 The Role of Constraints in Metabolic Flux Analysis: Applications to Mitochondria in Cardiovascular Disease
 The Role of Constraints in Metabolic Flux Analysis: Applications to Mitochondria in Cardiovascular Disease
 Clinical Applications of Cardiac Models
 Clinical Applications of Cardiac Models
 Introduction
 Introduction
 Welcome and Introduction
 Welcome and Introduction
 Rothschild Distinguished Visiting Fellow Lecture: Metamaterials: composite materials with striking properties
 Rothschild Distinguished Visiting Fellow Lecture: Metamaterials: composite materials with striking properties
 Hopf and Skyrme Solitons
 Hopf and Skyrme Solitons
 The Moorfields  DeepMind Collaboration  Reinventing the Eye Exam using Deep Learning
 The Moorfields  DeepMind Collaboration  Reinventing the Eye Exam using Deep Learning
 Meta Modelling and Deploying Machine Learning Software
 Meta Modelling and Deploying Machine Learning Software
 Privacy Preserving Machine Learning: A Human Imperative?
 Privacy Preserving Machine Learning: A Human Imperative?
 A Stable Learning Framework
 A Stable Learning Framework
 On Instabilities of Deep Learning in Image Reconstruction  Part II
 On Instabilities of Deep Learning in Image Reconstruction  Part II
 On Instabilities of Deep Learning in Image Reconstruction  Part I
 On Instabilities of Deep Learning in Image Reconstruction  Part I
 The Ethics of Algorithmic Decision Making
 The Ethics of Algorithmic Decision Making
 Fundamental Limitations on Adversarial Robustness
 Fundamental Limitations on Adversarial Robustness
 Robustness and Geometry of Deep Neural Networks
 Robustness and Geometry of Deep Neural Networks
 Introduction
 Introduction
 Welcome and Introduction
 Welcome and Introduction
 Rothschild Distinguished Visiting Fellow Lecture: Optimality of Algorithms for Approximation/Computation
 Rothschild Distinguished Visiting Fellow Lecture: Optimality of Algorithms for Approximation/Computation
 Gibbs Ensembles of Partitions: from limit shapes to hydrodynamic limits
 Gibbs Ensembles of Partitions: from limit shapes to hydrodynamic limits
 Dicussion and Questions
 Dicussion and Questions
 Developing Liquid Crystalline Aerogels for Thermal Insulation in Buildings
 Developing Liquid Crystalline Aerogels for Thermal Insulation in Buildings
 Controlling Dynamic Interfacial SelfAssembly in Functional Materials
 Controlling Dynamic Interfacial SelfAssembly in Functional Materials
 Mathematics of SelfHealing Materials with Exchangeable Bonds
 Mathematics of SelfHealing Materials with Exchangeable Bonds
 Where Do New Medicines Come From? Mechanistic Modelling and Simulation for Bispecific Antibodies
 Where Do New Medicines Come From? Mechanistic Modelling and Simulation for Bispecific Antibodies
 Plasmonic Mathematics
 Plasmonic Mathematics
 Mathematical Innovations for Drug Design
 Mathematical Innovations for Drug Design
 Help! Liquid Crystal Device Physicist Without Mathematical Skill Seeks Solutions to Various Problems
 Help! Liquid Crystal Device Physicist Without Mathematical Skill Seeks Solutions to Various Problems
 Design Challenges in Transistor Technologies for Flexible Displays and Thin Film Applications
 Design Challenges in Transistor Technologies for Flexible Displays and Thin Film Applications
 Design Innovations and Challenges for Photonics and Electronics Materials
 Design Innovations and Challenges for Photonics and Electronics Materials
 Outline and Summary of INI Research Programme 'The Mathematical Design of New Materials'
 Outline and Summary of INI Research Programme 'The Mathematical Design of New Materials'
 Welcome and Introduction
 Welcome and Introduction
 Colloids Get Creative: Key to Open Crystals
 Colloids Get Creative: Key to Open Crystals
 Building and optimising finitetime adiabatic processes in stochastic thermodynamics
 Building and optimising finitetime adiabatic processes in stochastic thermodynamics
 Charging of neutral solutes in water
 Charging of neutral solutes in water
 Inverse design of discrete mechanical metamaterials
 Inverse design of discrete mechanical metamaterials
 Reconfigurable surfaces with controlled stretching and shearing: from biological templates to engineering devices
 Reconfigurable surfaces with controlled stretching and shearing: from biological templates to engineering devices
 Nematic colloidal micromotors powered by light
 Nematic colloidal micromotors powered by light
 Materials from Colloidal Particles using Optical Fields
 Materials from Colloidal Particles using Optical Fields
 Constrained Energy Minimization for BentCore Liquid Crystals
 Constrained Energy Minimization for BentCore Liquid Crystals
 Nematic Pattern Formation on 2D Polygons  a Landau de Gennes study
 Nematic Pattern Formation on 2D Polygons  a Landau de Gennes study
 Flowinduced states in channelconfined nematics
 Flowinduced states in channelconfined nematics
 Bottom Up Modelling of Liquid Crystals and Device Applications
 Bottom Up Modelling of Liquid Crystals and Device Applications
 Some remarks on mathematical theories of liquid crystals
 Some remarks on mathematical theories of liquid crystals
 Elasticity and Response in Mechanical Topological Lattices
 Elasticity and Response in Mechanical Topological Lattices
 Design of microconfinement for controlled structure formation in nonequilibrium nematic fluids
 Design of microconfinement for controlled structure formation in nonequilibrium nematic fluids
 Fluid flocks with inertia
 Fluid flocks with inertia
 Topological defect formation in a nematic undergoing an extreme temperature quench
 Topological defect formation in a nematic undergoing an extreme temperature quench
 Colloquium: Review of the 2019 NAS Decadal Survey on Materials Research
 Colloquium: Review of the 2019 NAS Decadal Survey on Materials Research
 Selfassembly of liquid crystal mixtures: cubic fluid cylinders, elastic emulsions and colloidactive gels composites
 Selfassembly of liquid crystal mixtures: cubic fluid cylinders, elastic emulsions and colloidactive gels composites
 Design of passive and active passive nematic defects
 Design of passive and active passive nematic defects
 Liquid crystal metamaterials from nematic colloidal platelets
 Liquid crystal metamaterials from nematic colloidal platelets
 A touch of nonlinearity: mesoscale swimmers and active matter in fluids
 A touch of nonlinearity: mesoscale swimmers and active matter in fluids
 Control of Magnetoelastic Matter
 Control of Magnetoelastic Matter
 Orientational ordering and selforganisation of nanoparticles in liquid crystal and polymer nanocomposites
 Orientational ordering and selforganisation of nanoparticles in liquid crystal and polymer nanocomposites
 Qtensor model of twistbend and splay nematic phases
 Qtensor model of twistbend and splay nematic phases
 Odd elasticity in soft active solids
 Odd elasticity in soft active solids
 Twisted topological tangles: or the knot theory of knitting
 Twisted topological tangles: or the knot theory of knitting
 Bacteria: selfmotile liquid crystals?
 Bacteria: selfmotile liquid crystals?
 Modeling and analysis of chromonic liquid crystal condensates
 Modeling and analysis of chromonic liquid crystal condensates
 Function spaces meet material science: OrliczSobolev nematic elastomers
 Function spaces meet material science: OrliczSobolev nematic elastomers
 Exploiting entropy to enhance toughness in polymer gels with reversible crosslinks
 Exploiting entropy to enhance toughness in polymer gels with reversible crosslinks
 Towards rationally designed active metamaterials
 Towards rationally designed active metamaterials
 Structure, Mechanics, and Thermodynamics of Mixtures of Microtubules and Molecular Motors
 Structure, Mechanics, and Thermodynamics of Mixtures of Microtubules and Molecular Motors
 Thermally actuated portable microvalves using elastomeric focusing
 Thermally actuated portable microvalves using elastomeric focusing
 Soft Skyrmions and Programmable SelfAssembly of Superlattices
 Soft Skyrmions and Programmable SelfAssembly of Superlattices
 Geometric Topology of Liquid Crystal Textures: Chirality and Bend
 Geometric Topology of Liquid Crystal Textures: Chirality and Bend
 Simplicity bias in random design
 Simplicity bias in random design
 Making Faces: Universal Inverse Design of Thin Nematic Elastomer Surfaces
 Making Faces: Universal Inverse Design of Thin Nematic Elastomer Surfaces
 Evolution of magnetoviscoelastic materials
 Evolution of magnetoviscoelastic materials
 Selforganization of patchy colloidal particles: 2 & 3D
 Selforganization of patchy colloidal particles: 2 & 3D
 Contact Topology and the Cholesteric Landscape
 Contact Topology and the Cholesteric Landscape
 Packing Liquid Crystal Domains
 Packing Liquid Crystal Domains
 Kirk Distinguished Visiting Fellow Lecture: Variational Methods in Image Processing and in the Mathematical Analysis of Novel Advanced Materials
 Kirk Distinguished Visiting Fellow Lecture: Variational Methods in Image Processing and in the Mathematical Analysis of Novel Advanced Materials
 Reconstruction of a 3D object from a finite number of its 1D parallel crosssections
 Reconstruction of a 3D object from a finite number of its 1D parallel crosssections
 Recent progress in the geometric rigidity of thin domains
 Recent progress in the geometric rigidity of thin domains
 On solutions to the eikonal equation with finite entropy production
 On solutions to the eikonal equation with finite entropy production
 Minimizers of a Landaude Gennes Energy with a Subquadratic Elastic Energy
 Minimizers of a Landaude Gennes Energy with a Subquadratic Elastic Energy
 Panel
 Panel
 State Space Collapse in Resource Allocation for Demand Dispatch
 State Space Collapse in Resource Allocation for Demand Dispatch
 DataEnabled Predictive Control of Autonomous Energy Systems
 DataEnabled Predictive Control of Autonomous Energy Systems
 Statistical modelling for planning and policy applications
 Statistical modelling for planning and policy applications
 Innovation in energy technologies and the role of governments
 Innovation in energy technologies and the role of governments
 Timevarying nonconvex optimization with application to OPF
 Timevarying nonconvex optimization with application to OPF
 Balancing the Grid through Distributed Control of Flexible Loads
 Balancing the Grid through Distributed Control of Flexible Loads
 Embracing Low Inertia for Power System Frequency Control: A Dynamic Droop Approach
 Embracing Low Inertia for Power System Frequency Control: A Dynamic Droop Approach
 Exploring fundamental limits in future grids with mathematics, computation and databased methods
 Exploring fundamental limits in future grids with mathematics, computation and databased methods
 The Role of Prediction And Realtime Learning in Online Optimization and Control
 The Role of Prediction And Realtime Learning in Online Optimization and Control
 MobilityAware Load Management Algorithms for Electric Vehicles
 MobilityAware Load Management Algorithms for Electric Vehicles
 Discussion and Questions
 Discussion and Questions
 The Value of Data
 The Value of Data
 Emergence of power law in martensite microstructure of shape memory alloy
 Emergence of power law in martensite microstructure of shape memory alloy
 Open Networks Project  Laying the foundations of a Smart Grid in GB
 Open Networks Project  Laying the foundations of a Smart Grid in GB
 Magnetic skyrmions in spherical thin films
 Magnetic skyrmions in spherical thin films
 Energy Storage and Decarbonised Energy Systems
 Energy Storage and Decarbonised Energy Systems
 Computation in Markets with Risk
 Computation in Markets with Risk
 Photoacoustic tomography with incomplete data
 Photoacoustic tomography with incomplete data
 Towards Optimal Operation and Maintenance of Electric Power Grids under Uncertainties
 Towards Optimal Operation and Maintenance of Electric Power Grids under Uncertainties
 Moving Energy through Time: Storage and Demand Side Response
 Moving Energy through Time: Storage and Demand Side Response
 Analytics and Forecasting for Renewable Energy Generation
 Analytics and Forecasting for Renewable Energy Generation
 Econometrics of Intraday Electricity Prices
 Econometrics of Intraday Electricity Prices
 Outline and Summary of INI Research Programme 'Mathematics of Energy Systems'
 Outline and Summary of INI Research Programme 'Mathematics of Energy Systems'
 Welcome and Introduction
 Welcome and Introduction
 Dynamic monitoring and decision systems (dymonds) framework for dataenabled integration in complex electric energy systems
 Dynamic monitoring and decision systems (dymonds) framework for dataenabled integration in complex electric energy systems
 Nonsmooth Optimization put to good use in energy problems
 Nonsmooth Optimization put to good use in energy problems
 Smart Grids Observability using Bilevel Programming
 Smart Grids Observability using Bilevel Programming
 Optimal Power Flow with Stochastic Reserves
 Optimal Power Flow with Stochastic Reserves
 Optimal SteadyState Control with Application to Secondary Frequency Control of Power Systems
 Optimal SteadyState Control with Application to Secondary Frequency Control of Power Systems
 Mobilizing Grid Flexibility for Renewables Integration through Topology Control and Dynamic Thermal Ratings
 Mobilizing Grid Flexibility for Renewables Integration through Topology Control and Dynamic Thermal Ratings
 Rothschild Lecture: What do we agree on when we disagree? Forward contracts with private forecasts
 Rothschild Lecture: What do we agree on when we disagree? Forward contracts with private forecasts
 Generation and network investment in electricity markets: using multilevel optimization to assess the role of the market design
 Generation and network investment in electricity markets: using multilevel optimization to assess the role of the market design
 Simultaneous approximation by polynomials
 Simultaneous approximation by polynomials
 SMART Planning and Operations of Grids With Renewables and Storage a.k.a. SPOReS
 SMART Planning and Operations of Grids With Renewables and Storage a.k.a. SPOReS
 Power Grids: Failures and Opportunities
 Power Grids: Failures and Opportunities
 Mathematics for energy systems: an engineer’s view
 Mathematics for energy systems: an engineer’s view
 Medium and particleshape effects on electric double layers
 Medium and particleshape effects on electric double layers
 Research track on mechanism design at the INI
 Research track on mechanism design at the INI
 A homogenization result in the gradient theory of phase transitions
 A homogenization result in the gradient theory of phase transitions
 Next Steps and Close
 Next Steps and Close
 Mathematical Challenges  Group Discussion
 Mathematical Challenges  Group Discussion
 Themed Session 3  Mathematical Challenges Introduction
 Themed Session 3  Mathematical Challenges Introduction
 Personalised Treatments: Precision Medicine Beyond Prediction
 Personalised Treatments: Precision Medicine Beyond Prediction
 Innovations and Challenges in Digital Healthcare  an Industry Perspective
 Innovations and Challenges in Digital Healthcare  an Industry Perspective
 Population Medicine  Group Discussion
 Population Medicine  Group Discussion
 Themed Session 2  Population Medicine Introduction
 Themed Session 2  Population Medicine Introduction
 Simulation in the Life Sciences – A Look Ahead
 Simulation in the Life Sciences – A Look Ahead
 Clinical Support Systems  Group Discussion
 Clinical Support Systems  Group Discussion
 Themed Session 1  Clinical Support Systems Introduction
 Themed Session 1  Clinical Support Systems Introduction
 From Neural Fields to the Clinical Field in Epilepsy
 From Neural Fields to the Clinical Field in Epilepsy
 Mathematical Modelling of Stenting in Blood Vessels
 Mathematical Modelling of Stenting in Blood Vessels
 Introduction to the EPSRC Centres
 Introduction to the EPSRC Centres
 Welcome
 Welcome
 Kirk Fellow Lecture: Three Character Archetypes in Energy Optimisation
 Hardytype inequalities for fractional powers of the DunklHermite operator
 Hardytype inequalities for fractional powers of the DunklHermite operator
 Hard and soft packing in the molecular organization of liquid crystals
 Hard and soft packing in the molecular organization of liquid crystals
 Exotic ordered structures of a thin film of a chiral liquid crystal
 Exotic ordered structures of a thin film of a chiral liquid crystal
 Passages from discrete to continuous systems allowing for fracture, external forces and heterogeneities
 Passages from discrete to continuous systems allowing for fracture, external forces and heterogeneities
 Heliconical cholesteric liquid crystals: selfassembled tunable photonic bandgap materials  4
 Supercompatibility and the direct conversion of heat to electricity  4
 Heliconical cholesteric liquid crystals: selfassembled tunable photonic bandgap materials  3
 Heliconical cholesteric liquid crystals: selfassembled tunable photonic bandgap materials  2
 Supercompatibility and the direct conversion of heat to electricity  3
 Heliconical cholesteric liquid crystals: selfassembled tunable photonic bandgap materials  1
 Supercompatibility and the direct conversion of heat to electricity  2
 Supercompatibility and the direct conversion of heat to electricity  1
 Design of Liquid Crystals for Microscale Dynamics  4
 Design of Liquid Crystals for Microscale Dynamics  3
 Mathematical Modeling and Numerical Analysis for Incommensurate 2D Materials  4
 Mathematical Modeling and Numerical Analysis for Incommensurate 2D Materials  3
 Geometry and assembly at fluid boundaries  4
 Geometry and assembly at fluid boundaries  3
 Design of Liquid Crystals for Microscale Dynamics  2
 Design of Liquid Crystals for Microscale Dynamics  1
 Mathematical Modeling and Numerical Analysis for Incommensurate 2D Materials  2
 Mathematical Modeling and Numerical Analysis for Incommensurate 2D Materials  1
 Geometry and assembly at fluid boundaries  2
 Geometry and assembly at fluid boundaries  1
 Morrey sequence spaces
 Longterm generation capacity expansion models in JuDGE
 On the Rigorous Evaluation of Stochastic Approaches to Power Systems Operations
 Accounting for uncertainty when using computer models as decisionsupport tools in energy system planning
 Risk and Optimization in Future Network Planning
 Strategic Storage Use in a HydroThermal Power System with Carbon Constraints
 Energy system decarbonisation: informing reform of energy market and regulatory framework
 Societal objectives and their impact on the electricity system of the future
 Generalized Nash Equilibrium Problems with Application to Spot Markets with Gas Transport
 Stochastic auctions to accommodate the future flexigrid
 Asymmetric Risk and Fuel Neutrality in Capacity Markets
 Distributionally robust chanceconstrained generation expansion planning
 Valuation of floating price contract formulae for financial renewable PPAs
 Modelling 100 percent renewable electricity
 Risky Capacity Equilibrium Models for Risk Averse Investment Equilibria with Incomplete Markets
 Risk premium and stochastic equilibrium in generation capacity expansion models
 The mathematics of charged liquid drops
 Models for selfsimilarity and disclinations in martensite
 Analysing effects of short and longterm uncertainty on capacity expansion in European electricity markets
 The Effect of Capacity Payments on Peaking Generator Availability in PJM
 Capacity markets, risk modelling and decision support
 Hierarchical optimisation and equilibrium problems in electricity systems: challenges and status quo
 Harmonizing energy planning and market mechanisms to ensure supply adequacy in electricity markets
 Twostage Stochastic Programming with Linearly Biparameterized Quadratic Recourse
 Market Design Considerations for Scarcity Pricing: A Stochastic Equilibrium Framework
 A TwoStage Model for Planning Energy Investment under Uncertainty
 Sources and Implications of Inaccuracies in Capacity Credit Calculations: A Static Analysis of Electric Generation Capacity Markets
 Merchant Storage Investment in a Restructured Electricity Industry
 Assessing Potential Benefits of Increased GasElectric Coordination by Stochastic Optimization
 Incentives, Regulation and Analysis for Investments in ISO Markets
 Long Term Electricity Market Design: Pricing Quality?
 The role of submodularity in capacity auctions
 Capacity mechanisms and the technology mix in competitive electricity markets
 Optimal storage, investment and management under uncertainty  It is costly to avoid outages!
 Investments in flexible generation capacity in an energyonly market
 Competition among Renewables
 Market and regulatory design for renewables dominated systems
 Metric Approximation of SetValued Functions
 On some metamaterials with microresonators and their effective equations
 On the EricksenLeslie's hyperbolic model for liquid crystals
 Power System Modeling
 Power System Operation
 Hierarchical probabilistic forecasting of electricity demand with smart meter data : Souhaib Ben Taieb
 Hierarchical probabilistic forecasting of electricity demand with smart meter data : Souhaib Ben Taieb
 Marginal copula scores for multivariate foecasting evaluation
 Marginal copula scores for multivariate foecasting evaluation
 Generalised additive models for electricity demand forecasting : Matteo Fasiolo
 Generalised additive models for electricity demand forecasting : Matteo Fasiolo
 Discussion & Questions
 Bottomup Robotics  Emerging Intelligence in Materials
 Bioinspired Soft Robotics: Turning Soft Materials into Intelligent Machines
 Lifesaving Capsule Robots
 Mechanocaloric Materials for Environmentally Friendly Refrigeration
 Domesticscale Thermal Storage Using Phase Change Materials and Heat Pumps
 Aspect of High Dimensional Energy Modelling and Forecasting
 Aspect of High Dimensional Energy Modelling and Forecasting
 New Concepts for the Direct Conversion of Heat to Electricity
 Materials for Regenerative Medicine
 Opportunities for Novel Actuators in Surgical Robotics
 Shape Memory Thin Films for Medical Applications
 Outline and Summary of INI Research Programme 'The Mathematics of New Matierals'
 Welcome and Introduction
 Multiple forecasting based on time series PCAs
 Multiple forecasting based on time series PCAs
 Effective behaviour of criticalcontrast PDEs: microresonances, frequency conversion, and time dispersive properties.
 Optimal design of multicomponent fractured media
 New directions for random search
 Robust and online learning with the BOA algorithm : Olivier Wintenberger
 Robust and online learning with the BOA algorithm : Olivier Wintenberger
 Forecasting electricity consumption by aggregating forecasts
 Forecasting electricity consumption by aggregating forecasts
 Discrete Spherical Averages
 Assisting control room operators with artificial intelligence : Antoine Marot
 Assisting control room operators with artificial intelligence : Antoine Marot
 Data Analytics for Short Term Operation
 Data Analytics for Short Term Operation
 Discussion
 tba
 Some Sparse Recovery Methods in Compressed Sensing
 Least squares regression on sparse grids
 Shiftinvariant Spaces of Multivariate Periodic Functions
 Discussion
 Discussion
 Lower semicontinuity and relaxation of nonlocal $L^\infty$ functionals.
 Optimal recovery using wavelet trees
 Optimal Confidence for Monte Carlo Integration of Smooth Functions
 Monte Carlo methods for $L_q$ approximation on periodic Sobolev spaces with mixed smoothness
 Explicit error bounds for randomized Smolyak algorithms and an application to infinitedimensional integration
 Best mterm approximation of the "stepfunction" and related problems
 Preasymptotic estimates for approximation of multivariate periodic Sobolev functions
 Optimal honeycomb structures
 Monotonicity formulas in linear and nonlinear potential theory
 Zerosum optimal switching games motivated by energy applications
 Multiple Rank1 Lattices as Sampling Schemes for Approximation
 Recent Results on Rational Approximation and Interpolation with Completely and Multiply Monotone Radial Basis Functions
 Dimensiondependence error estimates for sampling recovery on Smolyak grids
 Recovery of functions of many variables via compressive sensing
 Discussion
 Local restriction theorem and maximal BochnerRiesz operator for the Dunkl transforms
 Characterizations of Besov spaces in terms of Kfunctionals
 Polynomial approximation via compressed sensing of highdimensional functions on lower sets
 Directional Framelets with Low Redundancy and Directional Quasitight Framelets
 Embedding and continuity envelopes of Besovtype spaces
 Ball Average Characterizations of Function Spaces
 The Haar System and Smoothness Spaces built on Morrey Spaces
 Dicussion
 Construction of highdimensional point sets with small dispersion
 Order statistics and MallatZeitouni problem
 Approximation of Ridge Functions and Sparse Additive Models
 On some lower bounds for Kolmogorov widths
 Random sections of ellipsoids and the power of random information
 Exponential tractability of weighted tensor product problems
 Lecture 3: HighDimensional Polynomial Approximation
 Lecture 2: Compressive Imaging
 Polymer flow and polymer topology: linear chains, rings and knots flow differently
 Emergence of phytoplankton patchiness at small scales in mild turbulence
 On the passage from nonlinear to linearized viscoelasticity
 Lecture 2: Complexity results for integration.
 Lecture 1: Overview and Theory
 Lecture 1: Some old and new results on InformationBased Complexity
 Research Tracks  Pierre Pinson and Yanning Goude
 Finding the optimal nets for selffolding Kirigami
 Hydrodynamic assembly of out of equilibrium colloids
 Nematic twistbend:the heliconical phase of nonchiral liquid crystals
 Collective coordinates, asymptotics and domain wall dynamics in ferromagnets
 Hurwitz stable and selfinterlacing orthogonal polynomials.
 The Fourier transform of a function of bounded variation: symmetry and asymmetry
 Panel Discussion  can we/should we do 100% Renewables?
 Future Energy Systems Challenges  a Distribution Operator Perspective
 An Industry Perspective on Managing Flexibility
 Isoperimetric inequalities on RN with respect to homogeneous weights
 Renewable Energy Focus: Calculating the Carbon Content of Power Imports
 Industry Talk: The Electricity System Operator Perspective
 Emergent Failures and Cascades in Power Grids: A Large Deviations Approach
 Integrated Offshore Wind Farm Design: Optimising Micrositing and Cable Layout Simultaneously
 Blowing in the Wind
 Continuoustime Modelling of Energy Networks
 Wind Park Valuation and Risk Management in Germany
 (R)evolution of Large Electrical Systems
 Decarbonisation, Decentralisation and Digitisation of Energy through Hybrid Storage Systems
 Modelling Flexibility for Future Networks
 Planning a 100% Renewable Electricity System
 Outline and Summary of INI Research Programme  Mathematics of Energy Systems
 Welcome and Introduction
 Microstructure for continuous and localised intrinsic curvature creation
 A maximal function for families of Hilbert transforms along homogeneous curves
 Polar order in liquids
 Interfaces with singularities: understanding phase transitions in nematic liquid crystals
 Remarks on polycrystalline microstructure
 Realistic prediction of molecular organizations in thin organic films
 Pressuredriven active nematics systems: possible optimisation and design methods
 Manipulating droplets on lubricant impregnated surfaces
 Symmetry and multiple existence of critical points in 2D Landaude Gennes Qtensor theory
 Symmetry in materials science models under the divergence constraint
 Analysis of Novel Domain Wall Types in Ferromagnetic Nanostructures
 Morphing and shape control: some lessons from the motility of unicellular organisms
 Measuring g(r) by testparticle insertion
 Knitogami
 Defects of Liquid Crystals
 Designing colloidal structures: fast and slow dynamics
 Reverse Engineering of Design Principles using Biased Dynamics
 Microstructures in martensites: Scaling regimes and optimal domain shapes
 Designing novel functional materials made of active colloids: the role played by interactions
 Microstructures in SMA: Rigidity, NonRigidity and Simulations
 Supercompatibility and its role on fatigue in shape memory materials
 Highthroughput search for new phase transformation materials with low hysteresis
 A moving mask hypothesis to select physically relevant microstructures
 Materials from Mathematics
 Defect loops in 3D active nematics
 Construction of two dimensional convex shapes from their excluded volumes
 Design of effective bulk potentials for nematic liquid crystals via homogenisation
 Surveying Energy Landscapes: From Protein Folding to Bistable Liquid Crystal Device and Cylindrical Buckling
 Asymptotics of Landaude Gennes theory
 Attractive and Repulse Interactions in Dense Nematics
 Wrapup discussion session
 Bandit algorithms for power consumption control
 Highdimensional data analytics using lowdimensional models in power systems
 Optimal dispatch of heterogeneous batteries to maximise security of supply
 A meanfield game model for management of distributed storages for the power system
 CoreSelecting Mechanisms in Electricity Markets
 Irrational Agents and the Power Grid
 Greedy algorithms in reduced modeling
 Central versus SelfDispatch in Electricity Markets
 A new distributed algorithm for nonconvex network flow problems with convergence guarantees
 Feedbackbased online algorithms for timevarying optimization: theory and applications in power systems
 TimeVarying Optimization: Algorithms and Applications in Power Systems
 Realtime feedback optimization on the power flow manifold
 Transmission capacity allocation in zonal electricity markets
 Towards seemless operation: a new look at interface scheduling and market operation
 Optimal Electricity Demand Response Contracting
 Realtime operation of microgrids
 On modeling dispatchable loads in grid operation: the good, the bad and the ugly
 Electricity demand forecasting and bidding via datadriven inverse optimization
 Computational Methods for Nonlinear Power Operational Problems: Convex Reformulations and NearLinear Time Algorithms
 Automated parameter inference and data modelling with deep learning
 Market design for flexible distribution networks
 Electricity market reform to enhance the energy market pricing mechanism: observations from PJM
 (R)evolution of large electrical systems: Needs and Challenges
 Creating user value through mathematics – the challenge of hidden states
 A Unified Framework for Stochastic Optimization in Energy
 Here Happily Have we assembled
 Pushing around, trying to stay normal and positive
 Vanishing or nonvanishing of kappa_2
 Gröbner bases
 Spaces and cochains  yet another approach
 Positive scalar curvature metrics on manifolds with fibred singularities
 Elliptic stochastic quantisation
 Two dimensional Ising model with columnar disorder and continuum limit of random matrix products
 Deterministic homogenization with Levy process limits
 Some generalization of Pitman’s transform and invariant measures for discrete integrable systems
 Potential theory for nonreversible dynamics and corrections to the hydrodynamical limit
 Generalized hydrodynamics and the classical Toda chain
 Homological stability for moduli spaces of disconnected submanifolds
 Whitehead products in v_nperiodic homotopy groups
 Wandering down the path to path homology
 The line isn’t contractible
 SPDE limits of sixvertex model
 Remarks on 2D inverse cascade turbulence
 On masscritical stochastic nonlinear Schrodinger equation
 Hydrodynamic limit for a disordered harmonic chain
 Spacetime localisation for the dynamic $\Phi^4_3$ model
 The KPZ fixed point  2
 Scaling limit and universal finite size corrections in 2D interacting Ising models
 Seeking fixed points
 Wonderful FultonMacPherson operads
 SineGordon model revisited (again)
 Dendroidal spaces and mapping spaces between little cubes operads.
 Crossing Probabilities of Multiple Ising Interfaces
 Freezing Transition in Decaying Burgers Turbulence and Random Matrix Dualities
 Large devations for the KPZ equation
 The KPZ fixed point  1
 Dynamic ASEP
 Quantum field theory and SPDEs under the light of nearcriticality and noise sensitivity
 New regularity results and long time behavior of pathwise (stochastic) HamiltonJacobi equations
 Bogoliubov Excitations of dilute BoseEinstein Condensates
 tba
 Relative kappaclasses
 Some prospects with the splicing operad
 Topological and dynamical obstructions to extending group actions.
 An abstract framework for a nonperturbative renormalisation
 The complex cobordism 2category and its central extensions
 Contributed talk  Extended evaluation maps from knots to the embedding tower
 Contributed Talk  The Sullivanconjecture in complex dimension 4
 Contributed Talk  The low dimensional homology of Coxeter groups
 Contributed talk  Mapping class groups of highly connected manifolds
 Configuration spaces and Lie algebras away from characteristic zero
 Cobordism categories, elliptic operators and positive scalar curvature
 Rational homotopy theory of automorphisms of manifolds
 Stochastic quantization of Yang Mills
 The homotopy type of algebraic cobordism categories
 Higher Hochschild homology as a functor
 Periodic points and topological restriction homology
 Homotopy invariance in string topology
 Embeddings, operads, graphcomplexes
 Cellular techniques in homological stability 2: mapping class groups
 Configuration spaces of points and real GoodwillieWeiss calculus
 On the stable Cannon Conjecture
 The Relative Tangle Hypothesis
 The hcobordism category and Atheory
 Cellular techniques in homological stability 1: general theory
 Isomorphism theorems, random walks, and spin systems.
 H_{4g6}(M_g)
 More about the slice filtration and slice spectral sequence
 Large time behavior of infinite dimensional systems under the SmoluchowskiKramers approximation
 Higher monoidal monomorphisms
 Spaces of merging submanifold
 Homological stability for Artin monoids
 On a Greenlees spectral sequence
 Quasiinvariant Gaussian Measures for the 3D Nonlinear Wave Equation
 Generation of random dynamical systems for SPDE with nonlinear noise.
 Questions, Discussion and Wrapup
 Finding a Rough Path through Disruptive Innovation in Mental Health
 Classification and Monitoring of Dynamic Trading Strategies
 Orthogonal group and adjoints
 Large Scale and Unconstrained Online Handwritten Chinese Character/Text Recognition Based on Deep Learning and Path Signature
 Analysis of Multimodal Streamed Data in Workplaces for Better Health and Safety DecisionMaking  Opportunities and Challenges
 Predicting an Adversarys Courses of Action from Sparse Observations
 Constructing extended AKSZ topological field theories in derived symplectic geometry
 Action Recognition from Landmark Data
 Recognising Arabic Handwriting
 Experiments in Predicting Early Stage Alzheimer's Disease
 Using Signatures to Predict Amyotrophic Lateral Sclerosis Progression
 Gesture Recognition Using the Signature Features
 Learning to Approximate Controlled Systems
 Rough Paths  Streamed Data
 Welcome and Introduction
 The slice filtration and slice spectral sequence
 LargeN asymptotics of energyminimizing measures on Npoint configurations
 YangMills measure on the twodimensional torus as a random distribution
 The Pontrjagin twist
 On the GromovLawsonRosenberg Conjecture
 Savour thy units! (or why the padics sometimes beats the integers)
 Rational models for automorphisms of fiber bundles
 The partition function of the 2dimensional Yang—Mills model
 Symmetry groups of algebraic structures and their homology
 Devissage theorems in algebraic Ktheory
 The Kervaire invariant problem at odd primes
 A variational approach to Phi^4_3
 Introduction to the Renormalisation Group
 Slice Differentials
 A Hermitian Kgroup via geometry
 What is a prooperad?
 Grout (or the story of how my coauthor stopped me from naming things)
 Poster Prize & Close
 Analyses of Singlecell RNAseq Data using Community Detection
 A Joint Segmentation/Registration Model and DeformationInformed PCA
 Introduction to the Renormalisation Group
 Better Data Science, Better Decisions
 Understanding Artificial Intelligence / Machine Learning Through User Need
 Taking Limits in Lean
 Optimisation in Continuous Time
 Integrated Offshore Wind Farm Design: Optimising Micrositing and Cable Layout Simultaneously
 Markov Chain Monte Carlo on Function Spaces  Different Ansätze for Different Goals
 A Brief Introduction to the Students of the CCIMI
 Trading Markets with Online Convex Optimisation
 Structureactivity Relationship Modelling and the Design of Adaptive Screening Cascades
 Welcome and Introduction. Update from Cantab Capital Institute for the Mathematics of Information
 Tools for understanding topological coHochschild homology
 Stratifying categories of representations.
 Outlining the Proof of the Kervaire Invariant Theorem
 Introduction to the Renormalisation Group
 The Higgs Mechanism
 E_r model structures
 Adams before Adnams
 Surprise!
 Orientations old and new
 Bessel S(P)DEs : a story of renormalization
 Renormalisation Group Analysis of a gradient model with nonconvex interaction
 Local bounds for the dynamic $\Phi^4_3$ model
 An introduction to topological coHochschild homology
 Homotopy fixed points by finite pgroup actions on classifying spaces of fusion systems
 Towards a nonequilibrium thermodynamics: the role of large fluctuations
 Towards a nonequilibrium thermodynamics: the role of large fluctuations
 Franke's Scary Models
 Two skeletons in a cellular cupboard
 On the existence of ghosts
 Spooky cats
 Nonequilibrium fluctuations of interacting particle systems, lecture 3
 Panel Discussions  Questions, Next Steps and WrapUp
 Group Leaders feedback on groups and discussions
 Nonequilibrium fluctuations of interacting particle systems, lecture 1
 Group Discussions
 Introduction to the three discussion topics and group formation
 Computational Drug Discovery: Present and Future
 Computing Industry Challenges
 Computational Challenges in the Security Sector
 Questions
 Communication Locality in Computation: Software, Manycore Processors and Brains
 Heterotic Computing
 Devissage theorems in algebraic Ktheory
 Using DNA to Assemble Molecular Electronic Devices
 Magnonic Opportunities for Novel Computing Hardware and Software Architectures
 What can AI Contribute to Neuroscience?
 The stack "Broken" and associative algebras
 DNA Supremacy  The Potential of DNAbased Computation
 Shannon on DNA: How to Approach the Limits of Molecular Data Storage
 Harnessing the Power of the Brain with MetalOxide
 Future Directions in Neuromorphic Computing
 Future Challenges in Computation  Energy and Performance
 Why New Computational Approaches are Needed?
 Welcome and Introduction
 Nonequilibrium fluctuations of interacting particle systems, lecture 1
 FeshbachSchur RG for the Anderson Model
 Supersymmetry and Ward identities: an alternative approach to renormalization.
 Renormalisation in Regularity Structures: Part 2
 Constructive Tensor Field Theory through an example
 Spectral gap for Glauber dynamics of hierarchical spin models
 On the CayleyHamilton Theorem
 Homotopy Cobordism Categories
 What does it mean to be continuous?
 DoldKan correspondences and involutive factorisation systems
 CLE Nesting and Liouville Quantum Gravity
 A PDE construction of the Euclidean $\Phi^4_3$ quantum field theory
 A scaling limit from Euler to NavierStokes equations with random perturbation
 The scaling limit of the KPZ equation in space dimension 3 and higher
 Renormalisation in Regularity Structures: Part I
 The RG landscape in 1+1 dimensions
 Renormalized quantum BV operator and observables in gauge theories and gravity
 Perturbative QFT in D = 4
 Ktheory of cusps
 The critical behavior of $\phi^4_4$
 The exotic part of the Picard group of K(2)local spectra at the prime 2
 Invariant measure and flow associated to the Phi4quantum field model on the threedimensional torus
 Walking, Weakly FirstOrder Phase Transitions, and Complex CFTs
 Edge universality in interacting topological insulators
 BV functions in separable Hilbert spaces
 Functional Integrals for BoseFermi Systems
 Nonequilibrium fluctuations for the slow boundary symmetric exclusion
 Pointwise multiplication of random Schwartz distributions with Wilson's operator product expansion
 Beyond the van Hove time scale
 Some questions and remarks on the theory of singular stochastic PDEs
 Lecture 6  The interacting dimer model
 The Tate sphere and duality
 Thurston's fragmentation and nonabelian Poincare duality
 The 10 minute shuffle
 Constructible étale sheaves and analytic sheaves
 Poster Prize & Close
 Imaging to Enhance the Treatments and Understanding of Atrial Arrhythmias
 Ultrahigh Field (7T) Magnetic Resonance Imaging in Cambridge
 Lecture 5  The interacting dimer model
 Artificial Intelligence in the Medical World: ECONIB  Automated Brain Tumour Perfusion Analysis
 The Quest for Product Market Fit: Retrofitting Technical Solutions to Real World Problems
 Introduction
 Orthogonal GSpectra II
 Textural Analysis for the Prediction of Cerebrovascular Events
 Neural Networks for Genomic Variant Calling
 Convolutional Neural Networks for Meshbased Parcellation of the Cerebral Cortex
 Where can AI add Value in Radiology?
 Some Recent Advances and Challenges in Bio Image Analysis
 Machine Learning and the Future of Drug Discovery
 Introduction
 Welcome and Introduction. Update from Centre for Mathematical Imaging in Healthcare
 TBA
 Real homotopy theory
 Orthogonal GSpectra I
 Lecture 4  The interacting dimer model
 Lecture 3  The interacting dimer model (copy)
 Infinite loop space machines and TQFTs
 (Non)formality of little discs spaces and operads
 To complete or make discrete? That is the question.
 Determining the determinant sphere
 Lecture 2  The interacting dimer model
 Equivariant multiplications and idempotent splittings of > Gspectra
 Tangent ∞categories and Goodwillie calculus
 Rothschild Lecture: Higher algebra and arithmetic  Monday 8th October 2018
 Lecture 1  The interacting dimer model
 Local estimates for reaction diffusion equations with applications to $\Phi^4_3$
 Proper, equivariant, and stable!
 Higher THH of Z/p^m with reduced coefficients
 The first English group theorist
 Transfer maps in Atheory
 2dimensional YangMills theory and the MakeenkoMigdal equations (II)
 The Picard group of the stable module category
 Adelic models for Noetherian model categories (joint work with John Greenlees)
 The oldest problem
 Modularity, old and new
 Some reflections on the Fermat problem
 2dimensional YangMills theory and the MakeenkoMigdal equations (I)
 Rothschild Lecture: Random rubber bands
 The tmfbased Adams spectral sequence for Z
 Examples of nonalgebraic classes in the BrownPeterson tower
 Why YangMills: a review of nogo results for phi^4_4
 Motivic Ctaumodules and Stable Homotopy Groups of Spheres
 Characteristic classes determine dualizing modules
 Lie algebras and v_nperiodic spaces
 Transchromatic homotopy theory 2
 Rough paths
 Derived algebraic geometry II
 Transchromatic homotopy theory 1
 Derived algebraic geometry I
 Modes, Ambidexterity and Chromatic homotopy.
 The spectrum of units of a height 2 theory
 The role of pdivisible groups  2
 Duality and invertibility using finite resolutions  2
 Topological modular forms with level structure
 On the topological Hochschild homology of JohnsonWilson spectra
 The role of pdivisible groups 1
 K(n)local homotopy from a Galois theory perspective 1
 Renormalisation in QFT, statistical mechanics and stochastic PDE's
 MorseTheory(On.Point) vs (MorseTheory.On)Point
 Twisted, not bitter
 BrownComenetz dual of some K(2)local spectrum
 Ktheory of division algebras over local fields
 Why Fermions, part II
 Slopes in homological stability, the classical way
 Questions and Wrapup
 UKRI Funding Opportunities
 Topological Hochschild homology via generalized Thom spectra
 Group Leaders Feedback on Groups and Discussions
 Group Discussions continued/preparation for Feedback Session
 Group discussions continued
 Networking and Drinks Reception
 Breakout Sessions (Part 1)
 Initial Breakout group discussions  'problem holder' driven challenges
 Modelling for Coastal & Inland Waters
 Cities, Skills and Space: Capturing the Unobservable
 Processbased Modelling of Socioecological Systems
 So Many Decisions, So Much Uncertainty: Research Needs to Assist with Managing and Adapting to Climate and Flood Risk Changes
 Challenges for Urban Planning & Decision Making
 Managing Landscapes Change  using Metric, Descriptive and Experiental Data
 Integrated Modelling of Landscapes to Understand Crosssectoral Interactions, Synergies and Tradeoffs under Scenarios of Environmental Change
 Renormalisation in QFT, statistical mechanics and stochastic PDE's
 Policy Talk  Decision Making for UK Landscapes  Opportunities for Systems Research in Policy Development
 A NERC Perspective on Landscape Decisions
 Welcome and Introduction
 Chessboard estimates and their role in the 1976
 RO(G)coefficient ring of constant Mackey functor via duality
 Case of Identity
 On twisted spinc bordism and twisted Ktheory
 BG_2 vs the Joker
 Why fermions?
 Polynomial maps, Witt vectors and Real THH
 The mod 2 Adams spectral sequence for tmf_*
 Reflection Positivity which plays an important role in QFT and statistical mechanics.
 A stochastic approach to constructive QFT
 Renormalisation group and critical phenomena  3
 Renormalisation group and critical phenomena  4
 Spectral gap critical exponent for Glauber dynamics of hierarchical spin models
 Wilsonian RG for SPDEs (Informal discussion)
 The Flow equations of the renormalization group
 Renormalisation in regularity structures  part 4
 Regularity structures: Reconstruction and Integration  part 4
 Renormalisation group and critical phenomena  2
 Infinitedimensional paracontrolled distributions: the Burgers generator
 Renormalisation group and critical phenomena  1
 Symmetry breaking in a gas of bosons  an approach using constructive field theory
 Renormalisation in regularity structures  part 3
 Regularity structures: Reconstruction and Integration  part 3
 CFT and the bootstrap
 Introduction to the Renormalisation Group  4
 Universality in solid state physics and Constructive Renormalization Group
 Introduction to the Renormalisation Group  3
 Renormalisation in regularity structures  part 2
 Regularity structures: Reconstruction and Integration  part 2
 Regularity structures: Reconstruction and Integration  part 1
 Renormalisation in regularity structures  part 1
 Stochastic quantisation of YangMills
 Introduction to the Renormalisation Group  2
 Introduction to the Renormalisation Group  1
 Quo whatis quandles?
 Unit groups are confusing
 Multiplication, not multifarious
 Equivariant sheaves aren't always Weyl
 Ambidexterity in the T(n)Local Stable Homotopy Theory
 Homology vs cohomology
 Homotopy (Pre)Derivators of Cofibration Categories and QuasiCategories
 T for (SL) two
 Commutative cochains
 Parametrised homotopy theory via symmetric retractive spectra
 An Additivity Theorem for cobordism categories, with applications to Hermitian Ktheory
 Cyclotomic spectra and Cartier modules
 Lifting Gstable endotrivial modules
 Some results in A1enumerative geometry
 Klein fourslices of HF_2
 On Suslin's Hurewicz homomorphism
 Etale and motivic variations on Smith's theory on action of cyclic groups
 Toward the equivariant stable parametrized hcobordism theorem
 Graded Tambara functors
 Motivic normed spectra and Tambara functors
 C_2 equivariant homotopy groups from real motivic homotopy groups
 Hochschild homology for Green functors
 On very effective hermitian Ktheory
 Model category structures for equivariant spectra
 Galois extensions in motivic homotopy theory
 Motivic infinite loop spaces and Hilbert schemes
 Algebraic models for rational equivariant commutative ring spectra
 Quadratic Welschinger invariants
 Exodromy and endodromy
 Pic(EZ/4) and Tools to Compute It
 A motivic Segal conjecture
 Surfaces with involutions
 On the Ktheory of pullbacks
 Koszul to keep cool
 A Whitehead theorem for periodic homotopy groups?
 Unexpected and confusing Pics
 Linearize this!
 A tutorial on constructions of finite complexes with specified cohomology (after Steve Mitchell and Jeff Smith)
 Cellular E_kalgebras and homological stability
 Dreamy Pics
 Galois extensions, a fairy tale
 Lifting endotrivial modules
 Linearize this!
 Tree complexes and obstructions to embeddings.
 Derived modular envelopes and moduli spaces of bordered Riemann surfaces
 Relative Entropy and Fisher Information
 Quantum Conditional Relative Entropy and QuasiFactorization of the relative entropy
 Quantum reverse hypercontractivity: its tensorization and application to strong converses
 Classical and quantum features of Schur transform for information processing
 Functional inequalities and the study of the speed of decoherence of an open quantum system
 Using local additivity to find examples of superadditivity of quantum channels
 HHH Gong Show  Noncommutative rational spectra and marked configuration spaces
 Renyi relative entropies and noncommutative L_pspaces
 HHH Gong Show  Algebraic cobordism categories
 HHH Gong Show  Small Picard groups
 HHH Gong Show  On beyond Chouinard
 Quantum fdivergences in von Neumann algebras
 Dénes Petz' legacy in quantum information theory
 Dephrasure channel and superadditivity of coherent information
 Partially smoothed information measures
 Some entropy properties of discrete random variables
 Unions, intersections and a one shot quantum joint typicality lemma
 The resource theoretic paradigm of Quantum Thermodynamics with Control
 Resource theory of quantum channels
 Gaussian quantum resource theories
 Coherence distillation machines are impossible in quantum thermodynamics
 Exodromy
 Geometric models of twisted Khomology
 Quantum Channel Simulation and the Channel's Smooth MaxInformation
 Thermodynamic capacity of quantum processes
 Strong converses and highdimensional statistical estimation problems
 Rényi’s Information Dimension Beyond I.I.D.
 Compression of correlated quantumclassical sources, or: the price of ignorance
 Additivity of entropic uncertainty relations
 Shannon theory of ergodic sources and channels
 InformationTheoretic Extensions of the ShannonNyquist Sampling Theorem
 On privacy amplification, lossy compression, and their duality to channel coding
 Lossy Compression Coding Theorems for Arbitrary Sources
 Entropy Accumulation: The Theorem and a Conjecture
 Distribution of gaussian multiplicative chaos on the unit interval
 External DLA on a spanningtreeweighted random planar map
 Towards quantum Kähler geometry
 Random stable maps : geometry and percolation
 Exact formulas on Gaussian multiplicative chaos and Liouville theory
 Commuting homology and homotopy inverse limits
 1.3 Thoughts on N∞ Ring Spectra
 Labeled complexes and homological stability
 Have you seen this homology class??
 Quantum spanning forests
 The fractal dimension of Liouville quantum gravity: monotonicity, universality, and bounds
 The ZDirac and massive Laplacian operators in the Zinvariant Ising model
 The semiclassical limit of Liouville conformal field theory
 Capacity of random walk and Wiener sausage in 4 dimensions
 Phase transitions of Random Constraint Satisfaction Problems  3
 Conformal loop ensembles on Liouville quantum gravity 3
 Thick Points of Random Walk and the Gaussian Free Field
 Cutoff for the SwendsenWang dynamics
 The Geometric Diagonal
 Circle patterns and critical Ising models
 The Waldhausen Sconstruction as an equivalence of homotopy theories
 Geometric descriptions of the Loewner energy
 Conformal loop ensembles on Liouville quantum gravity 2
 Phase transitions of Random Constraint Satisfaction Problems  2
 Lattice walks & peeling of planar maps
 A multifractal SLE_kappa(rho) boundary spectrum
 Simple random walk on supercritical causal maps
 A characterisation of the Gaussian free field
 Phase transitions of Random Constraint Satisfaction Problems  1
 Conformal loop ensembles on Liouville quantum gravity 1
 Yaglomtype limit theorems for branching Brownian motion with absorption
 Multiple SLEs, discrete interfaces, and crossing probabilities
 Random walk on random planar maps III
 Exploring random maps: slicing, peeling and layering  3
 Critical Ising model on random triangulations of the disk: enumeration and limits
 Geometry of large random planar maps with a prescribed degree sequence
 Categories and orbispaces
 Splittings of tmf_1(n)
 Sheaves over an elliptic curve and U(1)spectra'
 Approaches to chromatic splitting
 Condensation in critical Cauchy BienayméGaltonWatson trees
 Stochastic Ricci Flow
 Exploring random maps: slicing, peeling and layering  2
 An introduction to gauge theories for probabilists: Part III
 An operatortheoretic approach to nonamenable percolation
 Quantum Liouville Theory
 Random walk on random planar maps II
 The combinatorics of Hurwitz numbers and increasing quadrangulations
 Stable power operations
 Uniqueness of the welding problem for SLE and LQG
 Connectivity and growth in the homology of graph braid groups
 On the Liouville heat kernel and Liouville graph distance (joint with Ding and Zhang)
 An introduction to gauge theories for probabilists: Part II
 Exploring random maps: slicing, peeling and layering  1
 Cardy embedding of uniform triangulations
 The phase transition for Boolean percolation
 Percolation for levelsets of Gaussian free fields on metric graphs
 Random walk on random planar maps I
 An introduction to gauge theories for probabilists: Part I
 Hermitian Ktheory for Waldhausen infinity categories with genuine duality
 Dualizability in the higher Morita category
 A Künneth theorem for configuration spaces of products
 The Relative Tangle Hypothesis
 Higher categories of higher categories
 Higher categories and algebraic Ktheory (4)
 The modelindependent theory of (∞,1)categories (4)
 Higher categories and algebraic Ktheory (3)
 The modelindependent theory of (∞,1)categories (3)
 Thirteen ways of looking at an equivariant stable category
 Factorization homology (2)
 Higher Segal spaces (2)
 Higher categories and algebraic Ktheory (2)
 The modelindependent theory of (∞,1)categories (2)
 Isovariant homotopy theory
 Factorization homology (1)
 Higher Segal spaces (1)
 Higher categories and algebraic Ktheory (1)
 The modelindependent theory of (∞,1)categories (1)
 Deconfounding using Spectral Transformations
 Data perturbation for data science
 Group invariance and computational sufficiency
 Does data interpolation contradict statistical optimality?
 Robust Estimation via Robust Gradient Estimation
 Are there needles in a (moving) haystack? Adaptive sensing for detection and estimation of static and dynamically evolving signals
 Asymptotics of Eigenvectors and Eigenvalues for Large Structured Random Matrices
 Monte Carlo adjusted profile likelihood, with applications to spatiotemporal and phylodynamic inference.
 Statistical Optimality of Stochastic Gradient Descent on Hard Learning Problems through Multiple Passes
 Estimating a covariance function from fragments of functional data
 Candidates vs. Noises Estimation for Large MultiClass Classification Problem
 Representation, optimization and generalization properties of deep neural networks
 Estimating sparse additive autoregressive network models
 Matrix completion in network analysis
 Selection and Clustering of Correlated variables using OWL/GrOWL regularizers
 An Approximate ShapleyFolkman Theorem.
 Competitive Online Algorithms for Budgeted Allocation with Application to Online Experiment Design
 Adaptive estimation of the rank of the regression coefficient matrix
 Two network scale challenges:Constructing and fitting hierarchical block models and fitting large block models using the mean field method
 Dykstra’s Algorithm, ADMM, and Coordinate Descent: Connections, Insights, and Extensions
 Reduced Isotonic Regression
 Reducibility and Computational Lower Bounds for Problems with Planted Sparse Structure
 A fast algorithm with minimax optimal guarantees for topic models with an unknown number of topics
 tba
 Asymptotic Inference for Eigenstructure of Large Covariance Matrices
 tba
 On applications of Empirical Bayes approaches to the Normal Means problem
 On applications of Empirical Bayes approaches to the Normal Means problem
 Uncoupled isotonic regression via minimum Wasserstein deconvolution
 tba
 Managing Model Risk in Banking
 Eigenstructure in high dimensional random effects models
 tba
 Rothschild Lecture: Causality, Invariance and Robustness
 Rothschild Lecture: Causality, Invariance and Robustness
 Concentration of the empirical contours of Tukey’s halfspace depth
 Questions, Discussions and Wrapup
 Questions, Discussions and Wrapup
 5G Grand Research Challenges
 5G Grand Research Challenges
 Modelling of Mobile Sensor Applications
 Streaming Data in Mobile Communications
 Questions and Discussions
 Questions and Discussions
 Weather Forecast Improvements at the UK Met Office: Responding to the Big Data Challenge
 Weather Forecast Improvements at the UK Met Office: Responding to the Big Data Challenge
 Future Challenges for Data Analytics for Energy Management
 Future Challenges for Data Analytics for Energy Management
 Questions and Discussions
 Realtime Monitoring of the Underground for Researchers, Industry and the Public
 Realtime Geological Data  Geological Challenges in Streaming Data
 Recovery of Compressible Seismic Signals from Multichannel Samples
 Compressive Sensing for Seismic Data
 Concentration of the empirical contours of Tukey’s halfspace depth
 Causality and Streaming Data
 Causality and Streaming Data
 Novel Methods for Streaming Data
 Novel Methods for Streaming Data
 Welcome and Introduction
 Welcome and Introduction
 MSG Design of Experiments Seminar Series: Mutual Information for Computer Experiments (MICE): design, optimization, and data assimilation: applications to tsunami hazard
 MSG Design of Experiments Seminar Series: Mutual Information for Computer Experiments (MICE): design, optimization, and data assimilation: applications to tsunami hazard
 MSG Design of Experiments Seminar Series: Mutual Information for Computer Experiments (MICE): design, optimization, and data assimilation: applications to tsunami hazard
 MSG Design of Experiments Seminar Series: Simulationbased Bayesian experimental design for computationally intensive models
 MSG Design of Experiments Seminar Series: Simulationbased Bayesian experimental design for computationally intensive models
 MSG Design of Experiments Seminar Series: Simulationbased Bayesian experimental design for computationally intensive models
 MSG Design of Experiments Seminar Series: The war against bias: experimental design for big data
 MSG Design of Experiments Seminar Series: The war against bias: experimental design for big data
 MSG Design of Experiments Seminar Series: The war against bias: experimental design for big data
 GOALORIENTED ERROR ESTIMATION FOR PARAMETERDEPENDENT NONLINEAR PROBLEMS, APPLICATION TO SENSITIVITY ANALYSIS
 GOALORIENTED ERROR ESTIMATION FOR PARAMETERDEPENDENT NONLINEAR PROBLEMS, APPLICATION TO SENSITIVITY ANALYSIS
 GOALORIENTED ERROR ESTIMATION FOR PARAMETERDEPENDENT NONLINEAR PROBLEMS, APPLICATION TO SENSITIVITY ANALYSIS
 UQ: does it require efficient linear algebra?
 UQ: does it require efficient linear algebra?
 UQ: does it require efficient linear algebra?
 A superpopulation treatment to casecontrol data analysis
 A superpopulation treatment to casecontrol data analysis
 A superpopulation treatment to casecontrol data analysis
 Balanced model order reduction for linear systems driven by Lévy noise
 Balanced model order reduction for linear systems driven by Lévy noise
 Balanced model order reduction for linear systems driven by Lévy noise
 Balanced model order reduction for linear systems driven by Lévy noise
 Panel Discussion and Questions
 Panel Discussion and Questions
 Panel Discussion and Questions
 Multilevel and MultiFidelity Methods
 Multilevel and MultiFidelity Methods
 Multilevel and MultiFidelity Methods
 Uncertainty Quantification in Inverse Problems
 Uncertainty Quantification in Inverse Problems
 Uncertainty Quantification in Inverse Problems
 Making Business Decisions under Uncertainty
 Making Business Decisions under Uncertainty
 Making Business Decisions under Uncertainty
 Design of Computational and Physical Experiments for Uncertainty Quantification
 Design of Computational and Physical Experiments for Uncertainty Quantification
 Design of Computational and Physical Experiments for Uncertainty Quantification
 Examples of Uncertainity and Future Challenges in Defra's Environmental Models
 Examples of Uncertainity and Future Challenges in Defra's Environmental Models
 Examples of Uncertainity and Future Challenges in Defra's Environmental Models
 Surrogate Modelling
 Surrogate Modelling
 Surrogate Modelling
 Outline and Summary of INI Research Programme 'Uncertainty Quantification for Complex Systems: Theory and Methodologies
 Outline and Summary of INI Research Programme 'Uncertainty Quantification for Complex Systems: Theory and Methodologies
 Outline and Summary of INI Research Programme 'Uncertainty Quantification for Complex Systems: Theory and Methodologies
 Welcome and Introduction
 Welcome and Introduction
 Welcome and Introduction
 Multiagent learning: Implicit regularization and orderoptimal gossip
 Multiagent learning: Implicit regularization and orderoptimal gossip
 Multiagent learning: Implicit regularization and orderoptimal gossip
 Tests for separability in nonparametric covariance operators of random surfaces
 Tests for separability in nonparametric covariance operators of random surfaces
 Tests for separability in nonparametric covariance operators of random surfaces
 A Bayesian Composite Gaussian Process Model and its Application
 A Bayesian Composite Gaussian Process Model and its Application
 A Bayesian Composite Gaussian Process Model and its Application
 Classification with imperfect training labels
 Classification with imperfect training labels
 Classification with imperfect training labels
 Multilevel methods with importance sampling for Bayesian experimental design
 Multilevel methods with importance sampling for Bayesian experimental design
 Multilevel methods with importance sampling for Bayesian experimental design
 Spatial extremes: A conditional approach
 Spatial extremes: A conditional approach
 Spatial extremes: A conditional approach
 Consistency of stepwise uncertainty reduction strategies for Gaussian processes
 Consistency of stepwise uncertainty reduction strategies for Gaussian processes
 Consistency of stepwise uncertainty reduction strategies for Gaussian processes
 Narrowestoverthreshold detection of multiple changepoints and changepointlike features
 Narrowestoverthreshold detection of multiple changepoints and changepointlike features
 Narrowestoverthreshold detection of multiple changepoints and changepointlike features
 Parameter estimation in parametric pdes
 Parameter estimation in parametric pdes
 Parameter estimation in parametric pdes
 The remarkable flexibility of BART
 The remarkable flexibility of BART
 The remarkable flexibility of BART
 Stochastic Galerkin reduced basis methods for parametrized random elliptic PDEs
 Stochastic Galerkin reduced basis methods for parametrized random elliptic PDEs
 Stochastic Galerkin reduced basis methods for parametrized random elliptic PDEs
 Amplitude and phase variation of point processes
 Amplitude and phase variation of point processes
 Amplitude and phase variation of point processes
 Have we Achieved Artificial Intelligence
 Have we Achieved Artificial Intelligence
 Have we Achieved Artificial Intelligence
 Computational Optimisation for Machine Learning
 Computational Optimisation for Machine Learning
 Computational Optimisation for Machine Learning
 Geometric GraphBased Methods for High Dimensional Data
 Geometric GraphBased Methods for High Dimensional Data
 Geometric GraphBased Methods for High Dimensional Data
 Trading on Textual Data using AI
 Trading on Textual Data using AI
 Trading on Textual Data using AI
 Deep Variational Models for Imaging Inverse Problems
 Deep Variational Models for Imaging Inverse Problems
 Deep Variational Models for Imaging Inverse Problems
 Final Questions
 Final Questions
 Final Questions
 Enhancing Joint Reconstruction and Segmentation with NonConvex Bregman Iteration
 Enhancing Joint Reconstruction and Segmentation with NonConvex Bregman Iteration
 Enhancing Joint Reconstruction and Segmentation with NonConvex Bregman Iteration
 Adaptation in Multivariate LogConcave Density Estimation
 Adaptation in Multivariate LogConcave Density Estimation
 Adaptation in Multivariate LogConcave Density Estimation
 Achieving the Optimal Convergence Rate in Stochastic Optimisation
 Achieving the Optimal Convergence Rate in Stochastic Optimisation
 Achieving the Optimal Convergence Rate in Stochastic Optimisation
 Particle Filtering in Highdimensions
 Particle Filtering in Highdimensions
 Particle Filtering in Highdimensions
 Shrinkage Estimation in Regression with Categories
 Shrinkage Estimation in Regression with Categories
 Shrinkage Estimation in Regression with Categories
 ODE and PDE Based Modelling of Biological Transportation Networks
 ODE and PDE Based Modelling of Biological Transportation Networks
 ODE and PDE Based Modelling of Biological Transportation Networks
 Introduction to Elevator Pitches
 Introduction to Elevator Pitches
 Introduction to Elevator Pitches
 Advances in supervised Learning of Visual Features
 Advances in supervised Learning of Visual Features
 Advances in supervised Learning of Visual Features
 Deep Neural Networks Motivated by PDEs
 Deep Neural Networks Motivated by PDEs
 Deep Neural Networks Motivated by PDEs
 Welcome and Introduction. Update from Cantab Capital Institute for the Mathematics of Information
 Welcome and Introduction. Update from Cantab Capital Institute for the Mathematics of Information
 Welcome and Introduction. Update from Cantab Capital Institute for the Mathematics of Information
 Stein Points: Efficient sampling from posterior distributions by minimising Stein Discrepancies.
 Stein Points: Efficient sampling from posterior distributions by minimising Stein Discrepancies.
 Stein Points: Efficient sampling from posterior distributions by minimising Stein Discrepancies.
 Multivariate Distribution and Quantile Functions, Ranks and Signs: A measure transportation approach
 Multivariate Distribution and Quantile Functions, Ranks and Signs: A measure transportation approach
 Multivariate Distribution and Quantile Functions, Ranks and Signs: A measure transportation approach
 Three of eleven topics on my mind : "Choose your own adventure"
 Three of eleven topics on my mind : "Choose your own adventure"
 Three of eleven topics on my mind : "Choose your own adventure"
 Evaluating probabilistic forecasts  beyond proper skill scores
 Evaluating probabilistic forecasts  beyond proper skill scores
 Evaluating probabilistic forecasts  beyond proper skill scores
 Regression with Dependent Functional ErrorsinPredictors
 Regression with Dependent Functional ErrorsinPredictors
 Regression with Dependent Functional ErrorsinPredictors
 Ensuring monotonicity in emulation
 Ensuring monotonicity in emulation
 Ensuring monotonicity in emulation
 Inference for eigenstructure of highdimensional covariance matrices
 Inference for eigenstructure of highdimensional covariance matrices
 Inference for eigenstructure of highdimensional covariance matrices
 Multilevel Markov Chain Monte Carlo finite element method for Bayesian inversion
 Multilevel Markov Chain Monte Carlo finite element method for Bayesian inversion
 Multilevel Markov Chain Monte Carlo finite element method for Bayesian inversion
 Optimal Weighted Least Squares Methods for High Dimensional Approximation and Estimation.
 Optimal Weighted Least Squares Methods for High Dimensional Approximation and Estimation.
 Optimal Weighted Least Squares Methods for High Dimensional Approximation and Estimation.
 Partial least squares for dependent data
 Partial least squares for dependent data
 Stochastic Galerkin mixed finite element approximation for parameterdependent linear elasticity equations.
 Stochastic Galerkin mixed finite element approximation for parameterdependent linear elasticity equations.
 Stochastic Galerkin mixed finite element approximation for parameterdependent linear elasticity equations.
 Least squares estimation: Beyond Gaussian regression models
 Least squares estimation: Beyond Gaussian regression models
 Deep Gaussian Processes
 Deep Gaussian Processes
 Deep Gaussian Processes
 Multiple changepoint estimation in highdimensional Gaussian graphical models
 Multiple changepoint estimation in highdimensional Gaussian graphical models
 Development, Characterisation and Application of PET Radiotracers
 Development, Characterisation and Application of PET Radiotracers
 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 Cardiac MR Image Segmentation
 Machine Learning for Cardiac MR Image Segmentation
 Questions and Answers
 Questions and Answers
 Inexact computer model calibration: Concerns, controversy, credibility, and confidence
 Inexact computer model calibration: Concerns, controversy, credibility, and confidence
 Diffeomorphic Image Registration Models by New Constraints
 Diffeomorphic Image Registration Models by New Constraints
 A New Robust Convex Selective Image Segmentation Model in 2D and 3D
 A New Robust Convex Selective Image Segmentation Model in 2D and 3D
 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
 Bayesian optimal design for ordinary differential equation models with application in biological science
 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
 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
