All long-term participants in Isaac Newton Institute programmes are encouraged to give seminars at, or to make short visits to, UK institutions outside of Cambridge during their stay. To support this activity, the Institute will cover the travel expenses involved for any participant from a non-UK based home institution who is formally invited to speak at another UK institution; the host institution is expected to cover any accommodation and incidental costs.

To assist organisers of seminar series at UK Universities in their search for relevant speakers, the Isaac Newton Institute maintains a register of those of its participants who are visiting from overseas for a period of at least 14 days, and who have indicated their willingness to give lectures or seminars elsewhere during their stay. This register lists their visit dates and key subject areas. To make arrangements, please email: reception@newton.ac.uk

The lists of all participants in each programme may be found by visiting the relevant programme’s web page.

Speaker Availability Area of Expertise Suggested Talk Titles
Ozan Öktem KTH - Royal Institute of Technology

[VMV] Variational methods and effective algorithms for imaging and vision

25 October to 25 October
27 October to 27 October
6 December to 6 December
7 December to 7 December
Mathematics
  • Solving inverse problems using methods from deep learning: An application in tomography
  • Inverse problems with optimal mass transport priors
  • Recent advances in using machine learning for image reconstruction
  • Recent advances in using machine learning for image reconstruction
Nathalie Akakpo Laboratoire de Probabilités et Modèles Aléatoires

[STS] Statistical scalability

11 February to 15 March
Model Selection
  • Multivariate Intensity estimation via Hyperbolic Wavelet Selection
Haider Ali None / Other

[VMV] Variational methods and effective algorithms for imaging and vision

21 November to 30 November
Applied Mathematics (Image Processing)
  • Novel Generalized Average with Application in Image Segmentation
  • Joint Variational Model for Image Dehazing and Segmentation
  • Efficient Variational Image Selective Segmentation Model for Medical Images
Yuri Antipov Louisiana State University

[CAT] Complex analysis: techniques, applications and computations

7 November to 7 November
Vector Riemann-Hilbert problem, , applications of Riemann surfaces and automorphic functions to elasticity, diffraction, and fluid mechanics
  • Riemann-Hilbert problems of the theory of automorphic and algebraic functions and conformal mappings
  • Diffraction by wedges: higher order boundary conditions, integral transforms, vector Riemann-Hilbert problems, and Riemann surfaces.
Jesús Aransay Universidad de La Rioja

[BPR] Big proof

27 June to 14 July
Formalisation of mathematics; Linear Algebra; Isabelle/HOL
  • Rendering useful formalised mathematics
  • Transferring lemmas and proofs in Isabelle/HOL: a survey
Gregory Arone Stockholm University

[HHH] Homotopy harnessing higher structures

9 August to 16 August
Algebraic topology
  • A BU-analogue of the Whitehead conjecture
  • A branching rule for partition complexes
Alexander Aue University of California, Davis

[STS] Statistical scalability

18 June to 29 June
Time series analysis/Econometrics/High-dimensional statistics
  • Prediction and estimation of functional time series
  • Spectral properties of covariance matrices from high-dimensional time series
Jeremy Avigad Carnegie Mellon University

[BPR] Big proof

2 July to 4 August
27 July to 27 July
Mathematics
  • Formal methods in mathematics and the Lean theorem prover
  • Formal methods in mathematics and the Lean Theorem Prover
David Ayala Montana State University

[HHH] Homotopy harnessing higher structures

18 November to 9 December
Stratified spaces, configuration spaces, higher category theory, factorization homology, TQFT
  • Factorization homology
  • Orthogonal Groups and Higher Adjoints
Martine Ben Amar CNRS - Ecole Normale Superieure Paris

[GFS] Growth form and self-organisation

26 October to 26 October
Mathematics
  • Brain Circumvolutions in foetal life
Luke Bennetts University of Adelaide

[SIP] Mathematics of sea ice phenomena

24 July to 15 December
24 July to 15 December
27 July to 20 December
18 July to 18 July
17 August to 17 August
20 October to 20 October
26 October to 26 October
Mathematics
  • Modelling wave–ice interactions
  • Localisation of Rayleigh-Block waves and damping of resonant loads on arrays of cylinders
  • Modelling the Antarctic marginal ice zone
  • Modelling wave-flue interactions and the overwash phenomenon
  • When is the effective wavefield a useful tool for predicting attenuation over long distances
Julie Bergner University of Virginia

[HHH] Homotopy harnessing higher structures

9 July to 24 August
Homotopy theory
  • The Waldhausen construction as an equivalence of homotopy theories
  • 2-Segal sets from graphs and their associated Hall algebras
Dietmar Bisch Vanderbilt University

[OAS] Operator algebras: subfactors and their applications

29 May to 9 June
3 April to 21 April
30 May to 30 May
30 May to 30 May
Mathematics
  • Subfactors with infinite representation theory
  • Algebras associated to group-type subfactors
  • Subfactors with infinite representation theory
  • Subfactors with infinite representation theory
Cecilia Bitz University of Washington

[SIP] Mathematics of sea ice phenomena

5 October to 5 October
Mathematics
  • Opportunities with sea ice data assimilation
Anna Marie Bohmann Vanderbilt University

[HHH] Homotopy harnessing higher structures

7 September to 20 December
7 September to 20 December
algebraic topology, equivariant stable homotopy theory
  • Graded Tambara functors
  • Topological coHochschild homology
Arezki Boudaoud ENS - Lyon

[GFS] Growth form and self-organisation

1 September to 15 December
1 September to 30 November
Biophysics ; applied mathematics ; developmental biology
  • Stochasticity and robustness in plant growth and morphogenesis
  • Investigating morphogenesis : symmetry breaking and elongated forms in plants and fungi.
  • Stochasticity and robustness in plant morphogenesis
Robert Bruner Wayne State University

[HHH] Homotopy harnessing higher structures

15 October to 7 December
Mathematical Sciences
  • The mod 2 Adams spectral sequence for topological modular forms
Ulrik Buchholtz Technische Universität Darmstadt

[BPR] Big proof

27 June to 14 July
homotopy type, type theory
  • Introduction to homotopy type theory and synthetic homotopy theory
  • Varieties of cubical sets from a homotopical viewpoint
  • Experiences formalizing synthetic homotopy theory in the Lean proof assistant
Martin Burger Universität Münster

[VMV] Variational methods and effective algorithms for imaging and vision

12 September to 27 October
Inverse Problems, PDE Models in Life and Social Sciences
  • Motion corrected reconstruction in undersampled dynamic imaging
  • Nonlinear Spectral Decompositions based on One-homogeneous PDEs
  • Transport Metrics for Vlasov Hierarchies
  • Gradient Flow Structures on Graphs and Mean-Field Limits
  • Variational Methods for High-Dimensional Image Registration
  • Gradient Structures for Graph PDEs and Limiting Procedures
  • Gradient Structures for Graph PDEs and Limiting Procedures
  • Transport Metrics for Vlasov Hierearchies
Danny Calegari University of Chicago

[NPC] Non-positive curvature group actions and cohomology

14 June to 14 June
Mathematics
  • Universal Circles
  • Universal circles
Peter Cameron University of St Andrews

[GRA] Groups, representations and applications: new perspectives

6 January to 19 June
6 January to 26 June
Algebra (groups, semigroups), combinatorics, model theory
  • Synchronization
  • Four precious jewels
  • Permutation groups and regular semigroups
  • The Hall-Paige conjecture and diagonal groups
Timothy Cannings University of Southern California

[STS] Statistical scalability

1 June to 19 June
Classification problems
  • Random-Projection Ensemble Classification
  • Local nearest neighbour classification with applications to semi-supervised learning
Christopher Cashen Universität Wien

[NPC] Non-positive curvature group actions and cohomology

7 March to 30 March
geometric group theory
  • The contracting boundary of a finitely generated group
Elena Celledoni Norwegian University of Science and Technology

[GCS] Geometry, compatibility and structure preservation in computational differential equations

28 September to 19 December
28 September to 19 October
Numerical Aanlysis, Geometric Numerical Integration
  • Shape analysis on Lie groups, with applications in computer animation
  • Deep learning as optimal control problems: models and numerical methods.
Antonin Chambolle CNRS (Centre national de la recherche scientifique)

[VMV] Variational methods and effective algorithms for imaging and vision

6 October to 6 October
23 November to 23 November
30 November to 30 November
Mathematics
  • Phase-field approximations of Griffith energies and the non-interpenetration of fractures
  • Approx. of displacemts w. fractures in lin. elast., and strong sol.s to variational fracture models
  • Phase-field approximations of Griffith energies and the non-interpenetration of fractures
Ruth Charney Brandeis University

[NPC] Non-positive curvature group actions and cohomology

1 June to 22 June
Geometric group theory, CAT(0) geometry, boundaries of groups
  • Hyperbolic-like boundaries
  • Are CAT(0) spaces determined by their boundaries?
Hao Chen University of California, Davis

[STS] Statistical scalability

24 March to 15 April
nonparametric statistics
  • Change-point detection for multivariate and non-Euclidean data
  • Graph-based two-sample tests
Michael Ching None / Other

[HHH] Homotopy harnessing higher structures

1 October to 21 December
Goodwillie calculus, operads
  • Infinity-operads and Day Convolution in Goodwillie Calculus
  • Pro-operads and Taylor towers of spectrum-valued functions
Michael Davis Ohio State University

[NPC] Non-positive curvature group actions and cohomology

17 May to 17 May
Mathematics
  • The action dimension of some discrete groups
Sandipan De Indian Statistical Institute, Bangalore

[OAS] Operator algebras: subfactors and their applications

20 January to 20 January
Operator Algebras (Hopf algebras, Planar algebras and Subfactor theory)
  • Family of subfactors arising from iterated crossed product of a Kac algebra
Yves de Cornulier CNRS (Centre national de la recherche scientifique)

[NPC] Non-positive curvature group actions and cohomology

19 May to 19 May
Mathematics
  • Commensurating actions of groups of birational transformations
Holger Dette Ruhr-Universität Bochum

[STS] Statistical scalability

4 February to 14 February
Statistics
  • Testing for independence of large dimensional vectors
  • Equivalence of regression curves
  • Statistical methodology for comparing curves
  • Optimal designs for comparing curves
  • Relevant change-points and high-dimensional time series
  • Copula-based spectral analysis
  • Detecting long-range dependence in nonstationary time series
Ronald DeVore Texas A&M University

[UNQ] Uncertainty quantification for complex systems: theory and methodologies

25 May to 25 May
Mathematics
  • Data Assimilation
Henri Elad Altman Laboratoire de Probabilités et Modèles Aléatoires

[SRQ] Scaling limits, rough paths, quantum field theory

3 September to 21 December
Stochastic PDEs with reflexion
  • A family of SPDEs associated with Bessel processes
  • An SPDE for the law of the modulus of a Brownian bridge
Christophe Eloy École centrale de Marseille

[GFS] Growth form and self-organisation

9 October to 15 December
11 October to 11 October
29 November to 29 November
Mathematics
  • Optimal bio-inspired swimming
  • Architecture and allometry of trees
  • Effect of competition for light and wind resistance on tree shapes
  • What turns trees into fractals
Jeffrey Everts University of Ljubljana

[DNM] The mathematical design of new materials

1 April to 31 May
Soft condensed matter
  • Topological shapes of electric double layers
Ibrahim Fatkullin University of Arizona

[DNM] The mathematical design of new materials

29 May to 28 June
Mathematics
  • Gibbs ensembles of partitions, from limit shapes, to hydrodynamic limits
Lisa Fauci Tulane University

[GFS] Growth form and self-organisation

16 October to 31 October
Math biology, fluid dynamics
  • Explorations in biofluiddynamics
Stefan Friedl Universität Regensburg

[HTL] Homology theories in low dimensional topology

20 February to 17 March
2 March to 2 March
Mathematics
  • Profinite completion of knot groups
  • Polytope invariants of groups and manifolds
  • Recent developments in 3-manifold topology
Juerg Froehlich ETH Zürich

[SRQ] Scaling limits, rough paths, quantum field theory

8 October to 1 November
Mathematical sciences Engineering, physical and computer sciences
  • Hamiltonian Evolution Equations Describing Irreversible Behaviour
  • Quantum Dynamics of Systems Under Repeated Observation
  • George Theory of States of Matter
Koji Fujiwara Kyoto University

[NPC] Non-positive curvature group actions and cohomology

10 March to 10 March
Mathematics
  • Mapping class groups in geometric group theory
Paul Goerss Northwestern University

[HHH] Homotopy harnessing higher structures

9 July to 30 November
Stable Homotopy Theory
  • Chromatic Homotopy Theory
Bill Goldman University of Maryland, College Park

[NPC] Non-positive curvature group actions and cohomology

12 June to 12 June
29 June to 29 June
Mathematics
  • Mapping class group actions on moduli spaces and the teichmoeller flow
  • The dynamics of classifying geometric structures
Marco Golla Uppsala Universitet

[HTL] Homology theories in low dimensional topology

6 March to 6 March
16 March to 16 March
24 April to 24 April
Mathematics
  • Dehn surgery and rational balls
  • Dehn surgery and rational balls
  • Heegaard Floer homology and defomation of curve singularities
Daniel R. Grayson University of Illinois at Urbana-Champaign

[KAH] K-theory, algebraic cycles and motivic homotopy theory

19 February to 20 March
topology applied to logic
  • Homotopy Type Theory and Univalent Foundations, an introduction
Jesper Grodal Københavns Universitet (University of Copenhagen)

[HHH] Homotopy harnessing higher structures

1 July to 21 December
homotopy theory, representation theory.
  • topology seminar, algebra seminar, or colloquium.
  • Modular representation theory via homotopy theory (colloquium)
  • Endotrivial modules via homotopy theory
  • Endotrivial modules, local group theory, and homotopy theory
  • Modular representation theory via homotopy theory (colloquium)
Pinhas Grossman

[OAS] Operator algebras: subfactors and their applications

9 January to 9 February
Subfactors and fusion categories
  • Title to be determined
Dominik Gruber ETH Zürich

[NPC] Non-positive curvature group actions and cohomology

24 March to 24 March
Mathematics
  • Small cancellation theory over Burnside groups
Erik Guentner University of Hawaii

[NPC] Non-positive curvature group actions and cohomology

24 March to 24 March
Mathematics
  • On K-amenability of cat (o) cubical groups
Abhishek Gupta Ohio State University

[MES] The mathematics of energy systems

23 April to 2 July
Mathematics
  • On the computation of strategically equivalent zero sum game
  • Recursive stochastic algorithm: A markov chain perspective
Ursula Hamenstaedt University of Bonn

[NPC] Non-positive curvature group actions and cohomology

6 March to 6 March
7 March to 7 March
14 March to 14 March
Mathematics
  • Random 3-manifolds and towers of their covers
  • Ergodic properties of cocycles over flows with Bowen measures
  • Ergodic properties of cocycles over flows with Bowen measures
Fabian Hebestreit University of Bonn

[HHH] Homotopy harnessing higher structures

16 July to 30 October
16 July to 30 October
Homotopy Theory
  • Algebraic cobordism categories and Grothendieck-Witt spectra
  • Multiplicative parametrised homotopy via retractive spectra
Andrzej Herczyński Boston College

[GFS] Growth form and self-organisation

6 November to 6 November
Mathematics
  • Two variations on normal modes: sloshing and Bragg resonance
Agnieszka Herman University of Gdansk

[SIP] Mathematics of sea ice phenomena

22 November to 22 November
Mathematics
  • Sea ice as a polydisperse granular material
  • Sea ice as a polydisperse granular material
Alfred Hero University of Michigan

[VMV] Variational methods and effective algorithms for imaging and vision

2 November to 2 November
Mathematics
  • Integration of heterogenous datasets
Susanne Hilger Rheinische Friedrich-Wilhelms-Universität Bonn

[SRQ] Scaling limits, rough paths, quantum field theory

3 September to 21 December
Statistical Mechanics
  • Covariances in discrete gradient models with non-convex interactions
Michael Hintermüller Humboldt-Universität zu Berlin

[VMV] Variational methods and effective algorithms for imaging and vision

27 October to 27 October
Mathematics
  • (Pre) dualization, dense embeddings and applications in image processing
Vaughan Jones Vanderbilt University

[OAS] Operator algebras: subfactors and their applications

21 March to 21 March
24 March to 24 March
25 March to 25 March
5 April to 5 April
19 June to 19 June
Mathematics
  • Unitary representations of Thompsons groups A and T inspired by Quantum spin chains
  • A machine for constructing representations of R Thompson's groups, unitary and otherwise
  • Do all subfactors arise in quantum field theory
  • Quantum field theory; concepts, constructions P curved spacetimes (conference)
  • Representations of R. Thompson's groups F, T and V inspired by local scale transformations of quantu
Henrik Kalisch Universitetet i Bergen

[SIP] Mathematics of sea ice phenomena

12 December to 12 December
Mathematics
  • Fully dispersive non linear model equations for hydro-elastic waves
Chris Kapulkin University of Western Ontario

[BPR] Big proof

28 June to 7 July
28 June to 7 July
category theory, logic, topology
  • Internal languages of higher categories
  • The homotopy theory of type theories
Fanny Kassel CNRS (Centre national de la recherche scientifique)

[NPC] Non-positive curvature group actions and cohomology

5 April to 5 April
Mathematics
  • Exotic symmetry groups for tilings of Rn
Yasu Kawahigashi University of Tokyo

[OAS] Operator algebras: subfactors and their applications

13 March to 24 March
19 January to 19 January
Mathematics
  • Conformal field theory and operator algebras
  • Relative tensor products of full conformal field theories
  • Relative tensor products of full conformal field theories
Claudia Kirch Otto-von-Guericke-Universität Magdeburg

[STS] Statistical scalability

25 April to 22 June
29 June to 29 June
Mathematics
  • Frequency domain likelihood approximations for time series bootstrapping and Bayesian nonparametrics
  • Multiple change point estimation based on moving sum statistics
  • Multiple change point estimation based on moving sum statistics
Ben Knudsen Harvard University

[HHH] Homotopy harnessing higher structures

7 July to 20 July
Algebraic topology
  • Edge stabilization in the homology of graph braid groups
  • Higher enveloping algebras and stable homotopy of configuration spaces
  • Configuration spaces of products
Tatyana Krivobokova Georg-August-Universität Göttingen

[STS] Statistical scalability

22 April to 22 June
Nonparametric regression; dimension reduction; modelling of dependent data
  • Adaptive empirical Bayesian smoothing splines: estimation and testing
  • Partial least squares for dependent data
Pat Langhorne University of Otago

[SIP] Mathematics of sea ice phenomena

27 August to 29 September
Antarctic sea ice thickness and properties, ice-ocean interaction
  • Sea ice, ice shelves and the ocean
  • Brine convection in winter Antarctic land-fast sea ice
Melvin Leok University of California, San Diego

[GCS] Geometry, compatibility and structure preservation in computational differential equations

8 July to 31 July
8 July to 31 July
8 July to 31 July
8 July to 31 July
Geometric Mechanics, Geometric Integration, Geometric Control Theory
  • Lie group and homogeneous variational integrators and their applications to geometric optimal control theory
  • Variational discretizations of gauge field theories using group-equivariant interpolation spaces
  • Lie group and homogeneous variational integrators and their applications to geometric optimal control theory
  • The Connections Between Discrete Geometric Mechanics, Information Geometry and Machine Learning.
Joan Licata Australian National University

[HTL] Homology theories in low dimensional topology

10 April to 30 June
Contact geometry, low-dimensional knot theory
  • Morse Structures on Open Books
Christos Likos Universität Wien

[DNM] The mathematical design of new materials

10 February to 22 February
10 February to 22 February
Mathematics
  • Equilibrium and dynamics of ring polymer
  • Ring topology coupled to hydrodynamics
Regina Liu Rutgers, The State University of New Jersey

[STS] Statistical scalability

16 March to 16 March
Mathematics
  • Nonparametric tolerance tubes for tracking functional data
Po-Ling Loh University of Wisconsin-Madison

[STS] Statistical scalability

15 January to 10 March
29 January to 29 January
15 February to 15 February
2 March to 2 March
Mathematics
  • Statistical inference for infectious disease modeling
  • Modelling disease propagation in networks: source-finding and influence maximisation
  • Statistical inference for infectious diseases modelling
  • Influence maximisation in stochastic and adversarial settings
Martin Lohmann University of British Columbia

[SRQ] Scaling limits, rough paths, quantum field theory

14 October to 20 December
14 October to 20 December
Statistical mechanics, functional integrals, renormalization group, applications to probability theory
  • Analysis of spin systems for self-interacting random walks and random matrices
  • Critical exponents for lattice field theories at and below the critical dimension
Mikhail Lyalinov Saint Petersburg State University

[WHT] Bringing pure and applied analysis together via the Wiener-Hopf technique, its generalisations and applications

5 August to 30 August
Mathematics
  • Functional-integral equations and diffraction by a truncated wedge
Aleksey Marchenko University Centre in Svalbard (UNIS)

[SIP] Mathematics of sea ice phenomena

13 October to 13 October
Mathematics
  • Melting and consolidation of drift ice ridges
Stephen Marsland Massey University

[GFS] Growth form and self-organisation

31 October to 20 December
1 December to 1 December
5 December to 5 December
Mathematics
  • Automatic Birdsong Recognition
  • Data Analysis in Weitzenbock Space
  • Stochastic shapes
  • Information Geometry and Deep Learning
  • D'arcy Thompson's theory of transformation in modern times
Alexandre Martin Universität Wien

[NPC] Non-positive curvature group actions and cohomology

16 January to 27 January
Geometric Group Theory
  • On the cubical geometry of the Higman group
  • On the small cancellation geometry of certain graph products of groups
Hrushikesh Mhaskar Claremont Graduate University

[ASC] Approximation, sampling and compression in data science

27 May to 20 June
Approximation theory, harmonic analysis, machine learning
  • Machine learning meets super-resolution
Sam Nariman Northwestern University

[HHH] Homotopy harnessing higher structures

23 September to 21 December
27 August to 21 December
Mathematical Sciences
  • Homology of diffeomorphism groups made discrete
  • Characteristic classes of symplectic surface bundles.
  • A local to global argument on low dimensional manifolds
  • Characteristic classes in symplectic topology
  • Dynamical and cohomological obstructions fo extending group actions
Robert Oliver Université Paris 13

[HHH] Homotopy harnessing higher structures

16 September to 31 October
algebraic topology and connections to finite group theory
  • Homology of loop spaces of certain categories
Narutaka Ozawa Kyoto University

[NPC] Non-positive curvature group actions and cohomology

13 March to 24 March
Functional Analysis and Operator Algebras
  • TBA
Frédéric Paulin

[ERN] Ergodic theory, geometric rigidity and number theory

20 April to 20 April
Mathematics
  • On the ergodic theory of groups actions on trees
Ina Petkova Dartmouth College

[HTL] Homology theories in low dimensional topology

6 June to 15 June
low-dimensional topology
  • Tangle Floer homology and quantum gl(1|1)
Matthew Plumlee Northwestern University

[UNQ] Uncertainty quantification for complex systems: theory and methodologies

25 April to 12 May
Statistical Model Calibration
  • Computer Model Calibration with Confidence and Consistency
Joerg Polzehl Weierstraß-Institut für Angewandte Analysis und Stochastik

[VMV] Variational methods and effective algorithms for imaging and vision

28 November to 8 December
Nonparametric statistics, Computational Statistics, Applications in Neuroimaging
  • Structural adaptive smoothing of MR imaging data
  • Low SNR in high resolution MR imaging
H. Vincent Poor

[SNA] Theoretical foundations for statistical network analysis

3 October to 4 November
14 October to 14 October
11 March to 11 March
Mathematics
  • Some Network Analysis Problems Motivated by the Smart Grid
  • Privacy in the smart grid: information, control and games
  • Some network analysis problems motivated by the smart grid
Mihai Putinar University of California, Santa Barbara

[CAT] Complex analysis: techniques, applications and computations

2 September to 19 September
Functional Analysis
  • Christoffel-Darboux Analysis
George Raptis Universität Regensburg

[HHH] Homotopy harnessing higher structures

10 September to 21 December
10 September to 21 December
10 September to 21 December
10 September to 21 December
Algebraic Topology, Algebraic K-theory, Higher Category Theory
  • The h-cobordism category
  • Adjoint functor theorems for infinity-categories
  • The moduli space of topological realizations of an unstable coalgebra
  • Cobordism categories and the A-theory Euler characteristic
  • Model topoi and motivic homotopy theory
Miha Ravnik University of Ljubljana

[DNM] The mathematical design of new materials

21 March to 28 June
Mathematics
  • Nematic structures for advanced optical performance: meta materials photonic crystals and cloaking devices
  • Structures of passive and active neumatic defects
Birgit Richter Technische Universität Hamburg-Harburg

[HHH] Homotopy harnessing higher structures

2 October to 2 October
Mathematics
  • Higher topologies Hochschild homology of $\frac{\integer}{p^m}$ with reduced coefficicuts
  • Higher topological Hochschild homology of $\frac{\integer}{p^m}$ with reduced coefficients
Paul Roberts University of California, Los Angeles

[DYT] Frontiers in dynamo theory: from the Earth to the stars

16 November to 18 December
Geophysics and Planetary Physics
  • Magnetostrophic simulations in an annular core
Olivier Roustant Mines Saint-Étienne

[UNQ] Uncertainty quantification for complex systems: theory and methodologies

5 February to 9 February
5 March to 9 March
Surrogate models
  • Gaussian process metamodels with categorical inputs
  • Reducing dimension with Derivative-based Global Sensitivity Measures
Gianluigi Rozza SISSA

[UNQ] Uncertainty quantification for complex systems: theory and methodologies

5 March to 8 March
Reduced Order Methods
  • Advances in Reduced Order Methods in CFD
Havard Rue Norwegian University of Science and Technology

[SIN] Scalable inference; statistical, algorithmic, computational aspects

11 July to 21 July
12 July to 12 July
Mathematics
  • Penalising model component complexity: A principled practical approach to constructing priors
  • The R-INLA project: Past, Present and Future
Takashi Sakajo Kyoto University

[CAT] Complex analysis: techniques, applications and computations

23 October to 23 October
5 November to 5 November
Mathematical Fluid Mechanics
  • Topological Flow Data Analysis - Theory and Applications
  • Topological Flow Data Analysis - Theory and Applications
Thomas Schick Georg-August-Universität Göttingen

[HHH] Homotopy harnessing higher structures

16 July to 10 August
Topology and Geometry
  • topology of positive scalar curvature
  • news on L2-invariants
Richard Schwartz Brown University

[NPC] Non-positive curvature group actions and cohomology

27 April to 27 April
28 April to 28 April
Mathematics
  • Uncooperate PETs (Polytope Exchange Transformations)
  • 5 points and a sphere
Stefan Schwede Rheinische Friedrich-Wilhelms-Universität Bonn

[HHH] Homotopy harnessing higher structures

10 September to 12 October
4 September to 4 September
Mathematics
  • Global equivariant homotopy theory
  • The Real-global MU
Andreas Seeger University of Wisconsin-Madison

[ASC] Approximation, sampling and compression in data science

3 January to 27 January
Mathematics
  • A maximal function for singular integrals along homogenuous curves
Natarajan Shankar SRI International

[BPR] Big proof

25 June to 4 August
Formalized mathematics, automated reasoning, interactive proof assistants, software specification and verification, code generation
  • The Pragmatics of Formal Proof
  • Adventures in Code Generation
  • Trust and Automation in Computer-Aided Verification
  • Formal Architectures for Cyber-Physical Systems
Gordon Slade University of British Columbia

[SRQ] Scaling limits, rough paths, quantum field theory

25 September to 25 September
10 October to 10 October
Mathematics
  • Long-range models below the upper critical dimensions workshop: High dimensional critical phenomena in random environments
  • Long-range O(n) models below the upper critical dimension
Thomas Spencer Institute for Advanced Study, Princeton

[SRQ] Scaling limits, rough paths, quantum field theory

17 September to 1 November
Mathematics and Physics
  • Edge Reinforced Wasl as a toy model of localization
  • Randomness in Classical and Quantum dynamics
Vernon Squire University of Otago

[SIP] Mathematics of sea ice phenomena

23 August to 22 October
mathematical polar marine modelling
  • Ocean wave interactions with sea ice, an epiphany in polar climate change research
  • Insurmountable challenges associated with modelling ocean wave / sea ice interactions?
Bianca Stroffolini Università degli Studi di Napoli Federico II

[DNM] The mathematical design of new materials

8 May to 8 May
14 May to 15 June
Calculus of Variations
  • Minimizers of a Landau-de Gennes Energy with a Subquadratic Elastic Energy
  • Minimizers of a Landau-de Gennes Energy with a Subquadratic Elastic Energy
  • Orlicz Sobolev nematic elastomers
Piotr Sulkowski Uniwersytet Warszawski

[HTL] Homology theories in low dimensional topology

4 April to 27 April
Strings, fields, knot theory, matrix models, quantum curves
  • Knots and quivers
  • Super-quantum curves
Eric Swenson Brigham Young University

[NPC] Non-positive curvature group actions and cohomology

7 January to 31 May
Geometric Group theory
  • Two shall be the number of the counting
Markus Szymik Universität Bielefeld

[HHH] Homotopy harnessing higher structures

11 June to 21 December
27 August to 21 December
Mathematical Sciences
  • Symmetry groups of algebraic structures and their homology
  • Homotopical ideas in the theory of knots
  • Power operations in representation theory
  • Quandles, knots, and homotopical algebra
Xue-Cheng Tai Hong Kong Baptist University

[VMV] Variational methods and effective algorithms for imaging and vision

10 September to 13 October
11 September to 9 October
6 November to 14 November
Image processing, computer vision and leaening
  • Convex relaxation, graph and continuous max-flow algorithms for image processing and computer vision
  • Fast numerical algorithms for variational models with application to image processing and computer vision
  • convex variational models based on graph total variation for high dimensional data clustering and machine learning
Hiro Tanaka Harvard University

[HHH] Homotopy harnessing higher structures

1 September to 16 December
Algebraic Topology
  • Factorization homology
  • Lagrangian Cobordisms and Fukaya Categories
  • Associative algebras and a stack of broken lines
  • Enriching Lagrangian Floer theory over stable homotopy theory
  • Lagrangian Floer theory and Morse theory as a deformation problem
Jay Tang Brown University

[GFS] Growth form and self-organisation

21 September to 3 November
biological physics, self-assembly, bacterial motility, active matter
  • Dynamic pattern evolution in growing bacterial colonies
  • Bacterial Motility and Accumulation
  • Motion of uni-flagellated bacteria at interfaces and in complex media
Stefaan Vaes KU Leuven

[OAS] Operator algebras: subfactors and their applications

16 May to 16 May
Mathematics
  • The Banach-Tarski paradox and von Neumann's concept of amenability
  • The Banach-Tarski paradox and von Neumann's concept of amenability
Christian Webb Aalto University

[SRQ] Scaling limits, rough paths, quantum field theory

17 October to 17 October
Mathematical sciences
  • On the statistical behaviour of the Riemann zeta function
Joachim Weickert Universität des Saarlandes

[VMV] Variational methods and effective algorithms for imaging and vision

15 September to 28 September
15 September to 27 September
18 September to 27 September
17 September to 27 September
17 September to 27 September
PDEs and Variational Methods in Image Analysis
  • Variational Models for Motion Estimation in Videos
  • Image Compression with Differential Equations
  • Osmosis in Visual Computing
  • Cyclic Schemes for PDE-Based Image Analysis
  • Ecient and Stable Schemes for 2D Forward-and-Backward Di usion
Mingming Wu Cornell University

[GFS] Growth form and self-organisation

2 December to 20 December
5 December to 20 December
Biophysics, Soft Condensed Matter, Cell Mechanics
  • Biophysical force regulation of tumor cell invasion
  • Collective cell dynamics regulated by the mechanical properties of biological materials
Evren Yarman WesternGeco (Schlumberger)

[VMV] Variational methods and effective algorithms for imaging and vision

21 November to 22 December
4 September to 15 September
approximation theory
  • Sampling for approximating R-limited functions
  • Sampling for approximating R-limited functions
Bohua Zhan Massachusetts Institute of Technology

[BPR] Big proof

20 July to 4 August
Interactive theorem proving
  • Proof automation in Isabelle using auto2
Xiaomin Zhang University of Wisconsin-Madison

[STS] Statistical scalability

1 March to 1 March
Mathematics
  • Theoretical support of machine learning debugging via weighted M-estimation

Supported By