# Talks elsewhere

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; Karolinska Institute 25 Oct 2017 to 25 Oct 2017
27 Oct 2017 to 27 Oct 2017
6 Dec 2017 to 6 Dec 2017
7 Dec 2017 to 7 Dec 2017
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 11 Feb 2018 to 15 Mar 2018 Model Selection
• Multivariate Intensity estimation via Hyperbolic Wavelet Selection
Haider Ali None / Other 21 Nov 2017 to 30 Nov 2017 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 7 Nov 2019 to 7 Nov 2019 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 27 Jun 2017 to 14 Jul 2017 Formalisation of mathematics; Linear Algebra; Isabelle/HOL
• Rendering useful formalised mathematics
• Transferring lemmas and proofs in Isabelle/HOL: a survey
Gregory Arone Stockholm University 9 Aug 2018 to 16 Aug 2018 Algebraic topology
• A BU-analogue of the Whitehead conjecture
• A branching rule for partition complexes
Alexander Aue University of California, Davis 18 Jun 2018 to 29 Jun 2018 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 2 Jul 2017 to 4 Aug 2017
27 Jul 2017 to 27 Jul 2017
Mathematics
• Formal methods in mathematics and the Lean theorem prover
• Formal methods in mathematics and the Lean Theorem Prover
David Ayala Montana State University 18 Nov 2018 to 9 Dec 2018 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 26 Oct 2017 to 26 Oct 2017 Mathematics
• Brain Circumvolutions in foetal life
Luke Bennetts University of Adelaide 24 Jul 2017 to 15 Dec 2017
24 Jul 2017 to 15 Dec 2017
27 Jul 2017 to 20 Dec 2017
18 Jul 2017 to 18 Jul 2017
17 Aug 2017 to 17 Aug 2017
20 Oct 2017 to 20 Oct 2017
26 Oct 2017 to 26 Oct 2017
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 9 Jul 2018 to 24 Aug 2018 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 29 May 2017 to 9 Jun 2017
3 Apr 2017 to 21 Apr 2017
30 May 2017 to 30 May 2017
30 May 2017 to 30 May 2017
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 5 Oct 2017 to 5 Oct 2017 Mathematics
• Opportunities with sea ice data assimilation
Anna Marie Bohmann Vanderbilt University 7 Sep 2018 to 20 Dec 2018
7 Sep 2018 to 20 Dec 2018
algebraic topology, equivariant stable homotopy theory
• Topological coHochschild homology
Arezki Boudaoud 1 Sep 2017 to 15 Dec 2017
1 Sep 2017 to 30 Nov 2017
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; Universitetet i Oslo 15 Oct 2018 to 7 Dec 2018 Mathematical Sciences
• The mod 2 Adams spectral sequence for topological modular forms
Ulrik Buchholtz Technische Universität Darmstadt 27 Jun 2017 to 14 Jul 2017 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 12 Sep 2017 to 27 Oct 2017 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 14 Jun 2017 to 14 Jun 2017 Mathematics
• Universal Circles
• Universal circles
Peter Cameron University of St Andrews; Queen Mary University of London 6 Jan 2020 to 19 Jun 2020
6 Jan 2020 to 26 Jun 2020
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 1 Jun 2018 to 19 Jun 2018 Classification problems
• Random-Projection Ensemble Classification
• Local nearest neighbour classification with applications to semi-supervised learning
Christopher Cashen Universität Wien 7 Mar 2017 to 30 Mar 2017 geometric group theory
• The contracting boundary of a finitely generated group
Elena Celledoni Norwegian University of Science and Technology; Norwegian University of Science and Technology 28 Sep 2019 to 19 Dec 2019
28 Sep 2019 to 19 Oct 2019
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); École Polytechnique 6 Oct 2017 to 6 Oct 2017
23 Nov 2017 to 23 Nov 2017
30 Nov 2017 to 30 Nov 2017
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 1 Jun 2017 to 22 Jun 2017 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 24 Mar 2018 to 15 Apr 2018 nonparametric statistics
• Change-point detection for multivariate and non-Euclidean data
• Graph-based two-sample tests
Michael Ching None / Other 1 Oct 2018 to 21 Dec 2018 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 17 May 2017 to 17 May 2017 Mathematics
• The action dimension of some discrete groups
Sandipan De Indian Statistical Institute, Bangalore; Institute of Mathematical Sciences, Chennai 20 Jan 2017 to 20 Jan 2017 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); Université Paris Saclay 19 May 2017 to 19 May 2017 Mathematics
• Commensurating actions of groups of birational transformations
Holger Dette Ruhr-Universität Bochum 4 Feb 2018 to 14 Feb 2018 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 25 May 2018 to 25 May 2018 Mathematics
• Data Assimilation
Henri Elad Altman Laboratoire de Probabilités et Modèles Aléatoires 3 Sep 2018 to 21 Dec 2018 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; Institut de Recherche sur les Phénomènes Hors Equilibre 9 Oct 2017 to 15 Dec 2017
11 Oct 2017 to 11 Oct 2017
29 Nov 2017 to 29 Nov 2017
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 1 Apr 2019 to 31 May 2019 Soft condensed matter
• Topological shapes of electric double layers
Ibrahim Fatkullin University of Arizona 29 May 2019 to 28 Jun 2019 Mathematics
• Gibbs ensembles of partitions, from limit shapes, to hydrodynamic limits
Lisa Fauci Tulane University 16 Oct 2017 to 31 Oct 2017 Math biology, fluid dynamics
• Explorations in biofluiddynamics
Stefan Friedl Universität Regensburg 20 Feb 2017 to 17 Mar 2017
2 Mar 2017 to 2 Mar 2017
Mathematics
• Profinite completion of knot groups
• Polytope invariants of groups and manifolds
• Recent developments in 3-manifold topology
Juerg Froehlich ETH Zürich 8 Oct 2018 to 1 Nov 2018 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 10 Mar 2017 to 10 Mar 2017 Mathematics
• Mapping class groups in geometric group theory
Paul Goerss Northwestern University 9 Jul 2018 to 30 Nov 2018 Stable Homotopy Theory
• Chromatic Homotopy Theory
Bill Goldman University of Maryland, College Park 12 Jun 2017 to 12 Jun 2017
29 Jun 2017 to 29 Jun 2017
Mathematics
• Mapping class group actions on moduli spaces and the teichmoeller flow
• The dynamics of classifying geometric structures
Marco Golla Uppsala Universitet 6 Mar 2017 to 6 Mar 2017
16 Mar 2017 to 16 Mar 2017
24 Apr 2017 to 24 Apr 2017
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 19 Feb 2020 to 20 Mar 2020 topology applied to logic
• Homotopy Type Theory and Univalent Foundations, an introduction
Jesper Grodal Københavns Universitet (University of Copenhagen) 1 Jul 2018 to 21 Dec 2018 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 9 Jan 2017 to 9 Feb 2017 Subfactors and fusion categories
• Title to be determined
Dominik Gruber ETH Zürich 24 Mar 2017 to 24 Mar 2017 Mathematics
• Small cancellation theory over Burnside groups
Erik Guentner University of Hawaii 24 Mar 2017 to 24 Mar 2017 Mathematics
• On K-amenability of cat (o) cubical groups
Abhishek Gupta Ohio State University 23 Apr 2019 to 2 Jul 2019 Mathematics
• On the computation of strategically equivalent zero sum game
• Recursive stochastic algorithm: A markov chain perspective
Ursula Hamenstaedt University of Bonn 6 Mar 2017 to 6 Mar 2017
7 Mar 2017 to 7 Mar 2017
14 Mar 2017 to 14 Mar 2017
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 16 Jul 2018 to 30 Oct 2018
16 Jul 2018 to 30 Oct 2018
Homotopy Theory
• Algebraic cobordism categories and Grothendieck-Witt spectra
• Multiplicative parametrised homotopy via retractive spectra
Andrzej Herczyński Boston College 6 Nov 2017 to 6 Nov 2017 Mathematics
• Two variations on normal modes: sloshing and Bragg resonance
Agnieszka Herman University of Gdansk 22 Nov 2017 to 22 Nov 2017 Mathematics
• Sea ice as a polydisperse granular material
• Sea ice as a polydisperse granular material
Alfred Hero University of Michigan 2 Nov 2017 to 2 Nov 2017 Mathematics
• Integration of heterogenous datasets
Susanne Hilger Rheinische Friedrich-Wilhelms-Universität Bonn 3 Sep 2018 to 21 Dec 2018 Statistical Mechanics
• Covariances in discrete gradient models with non-convex interactions
Michael Hintermüller Humboldt-Universität zu Berlin 27 Oct 2017 to 27 Oct 2017 Mathematics
• (Pre) dualization, dense embeddings and applications in image processing
Vaughan Jones Vanderbilt University; University of California, Berkeley 21 Mar 2017 to 21 Mar 2017
24 Mar 2017 to 24 Mar 2017
25 Mar 2017 to 25 Mar 2017
5 Apr 2017 to 5 Apr 2017
19 Jun 2017 to 19 Jun 2017
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 12 Dec 2017 to 12 Dec 2017 Mathematics
• Fully dispersive non linear model equations for hydro-elastic waves
Chris Kapulkin University of Western Ontario 28 Jun 2017 to 7 Jul 2017
28 Jun 2017 to 7 Jul 2017
category theory, logic, topology
• Internal languages of higher categories
• The homotopy theory of type theories
Fanny Kassel CNRS (Centre national de la recherche scientifique) 5 Apr 2017 to 5 Apr 2017 Mathematics
• Exotic symmetry groups for tilings of Rn
Yasu Kawahigashi University of Tokyo 13 Mar 2017 to 24 Mar 2017
19 Jan 2017 to 19 Jan 2017
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 25 Apr 2018 to 22 Jun 2018
29 Jun 2018 to 29 Jun 2018
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 7 Jul 2018 to 20 Jul 2018 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 22 Apr 2018 to 22 Jun 2018 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 27 Aug 2017 to 29 Sep 2017 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 8 Jul 2019 to 31 Jul 2019
8 Jul 2019 to 31 Jul 2019
8 Jul 2019 to 31 Jul 2019
8 Jul 2019 to 31 Jul 2019
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 10 Apr 2017 to 30 Jun 2017 Contact geometry, low-dimensional knot theory
• Morse Structures on Open Books
Christos Likos Universität Wien 10 Feb 2019 to 22 Feb 2019
10 Feb 2019 to 22 Feb 2019
Mathematics
• Equilibrium and dynamics of ring polymer
• Ring topology coupled to hydrodynamics
Regina Liu Rutgers, The State University of New Jersey 16 Mar 2018 to 16 Mar 2018 Mathematics
• Nonparametric tolerance tubes for tracking functional data
Po-Ling Loh University of Wisconsin-Madison 15 Jan 2018 to 10 Mar 2018
29 Jan 2018 to 29 Jan 2018
15 Feb 2018 to 15 Feb 2018
2 Mar 2018 to 2 Mar 2018
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 14 Oct 2018 to 20 Dec 2018
14 Oct 2018 to 20 Dec 2018
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 5 Aug 2019 to 30 Aug 2019 Mathematics
• Functional-integral equations and diffraction by a truncated wedge
Aleksey Marchenko University Centre in Svalbard (UNIS) 13 Oct 2017 to 13 Oct 2017 Mathematics
• Melting and consolidation of drift ice ridges
Stephen Marsland Massey University 31 Oct 2017 to 20 Dec 2017
1 Dec 2017 to 1 Dec 2017
5 Dec 2017 to 5 Dec 2017
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 16 Jan 2017 to 27 Jan 2017 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 27 May 2019 to 20 Jun 2019 Approximation theory, harmonic analysis, machine learning
• Machine learning meets super-resolution
Sam Nariman Northwestern University 23 Sep 2018 to 21 Dec 2018
27 Aug 2018 to 21 Dec 2018
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 16 Sep 2018 to 31 Oct 2018 algebraic topology and connections to finite group theory
• Homology of loop spaces of certain categories
Narutaka Ozawa Kyoto University 13 Mar 2017 to 24 Mar 2017 Functional Analysis and Operator Algebras
• TBA
Frédéric Paulin 20 Apr 2017 to 20 Apr 2017 Mathematics
• On the ergodic theory of groups actions on trees
Ina Petkova Dartmouth College 6 Jun 2017 to 15 Jun 2017 low-dimensional topology
• Tangle Floer homology and quantum gl(1|1)
Matthew Plumlee Northwestern University 25 Apr 2018 to 12 May 2018 Statistical Model Calibration
• Computer Model Calibration with Confidence and Consistency
Joerg Polzehl Weierstraß-Institut für Angewandte Analysis und Stochastik 28 Nov 2017 to 8 Dec 2017 Nonparametric statistics, Computational Statistics, Applications in Neuroimaging
• Structural adaptive smoothing of MR imaging data
• Low SNR in high resolution MR imaging
H. Vincent Poor 3 Oct 2016 to 4 Nov 2016
14 Oct 2016 to 14 Oct 2016
11 Mar 2016 to 11 Mar 2016
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; Newcastle University 2 Sep 2019 to 19 Sep 2019 Functional Analysis
• Christoffel-Darboux Analysis
George Raptis Universität Regensburg 10 Sep 2018 to 21 Dec 2018
10 Sep 2018 to 21 Dec 2018
10 Sep 2018 to 21 Dec 2018
10 Sep 2018 to 21 Dec 2018
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; Jozef Stefan Institute 21 Mar 2019 to 28 Jun 2019 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 2 Oct 2018 to 2 Oct 2018 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 16 Nov 2019 to 18 Dec 2019 Geophysics and Planetary Physics
• Magnetostrophic simulations in an annular core
Olivier Roustant Mines Saint-Étienne 5 Feb 2018 to 9 Feb 2018
5 Mar 2018 to 9 Mar 2018
Surrogate models
• Gaussian process metamodels with categorical inputs
• Reducing dimension with Derivative-based Global Sensitivity Measures
Gianluigi Rozza SISSA 5 Mar 2018 to 8 Mar 2018 Reduced Order Methods
• Advances in Reduced Order Methods in CFD
Havard Rue Norwegian University of Science and Technology 11 Jul 2017 to 21 Jul 2017
12 Jul 2017 to 12 Jul 2017
Mathematics
• Penalising model component complexity: A principled practical approach to constructing priors
• The R-INLA project: Past, Present and Future
Takashi Sakajo Kyoto University; Kyoto University 23 Oct 2019 to 23 Oct 2019
5 Nov 2019 to 5 Nov 2019
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 16 Jul 2018 to 10 Aug 2018 Topology and Geometry
• topology of positive scalar curvature
• news on L2-invariants
Richard Schwartz Brown University 27 Apr 2017 to 27 Apr 2017
28 Apr 2017 to 28 Apr 2017
Mathematics
• Uncooperate PETs (Polytope Exchange Transformations)
• 5 points and a sphere
Stefan Schwede Rheinische Friedrich-Wilhelms-Universität Bonn 10 Sep 2018 to 12 Oct 2018
4 Sep 2018 to 4 Sep 2018
Mathematics
• Global equivariant homotopy theory
• The Real-global MU
Andreas Seeger University of Wisconsin-Madison 3 Jan 2019 to 27 Jan 2019 Mathematics
• A maximal function for singular integrals along homogenuous curves
Natarajan Shankar 25 Jun 2017 to 4 Aug 2017 Formalized mathematics, automated reasoning, interactive proof assistants, software specification and verification, code generation
• The Pragmatics of Formal Proof
• Trust and Automation in Computer-Aided Verification
• Formal Architectures for Cyber-Physical Systems
Gordon Slade University of British Columbia 25 Sep 2018 to 25 Sep 2018
10 Oct 2018 to 10 Oct 2018
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 17 Sep 2018 to 1 Nov 2018 Mathematics and Physics
• Edge Reinforced Wasl as a toy model of localization
• Randomness in Classical and Quantum dynamics
Vernon Squire University of Otago 23 Aug 2017 to 22 Oct 2017 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 8 May 2019 to 8 May 2019
14 May 2019 to 15 Jun 2019
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; CALTECH (California Institute of Technology) 4 Apr 2017 to 27 Apr 2017 Strings, fields, knot theory, matrix models, quantum curves
• Knots and quivers
• Super-quantum curves
Eric Swenson Brigham Young University 7 Jan 2017 to 31 May 2017 Geometric Group theory
• Two shall be the number of the counting
Markus Szymik Universität Bielefeld 11 Jun 2018 to 21 Dec 2018
27 Aug 2018 to 21 Dec 2018
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 10 Sep 2017 to 13 Oct 2017
11 Sep 2017 to 9 Oct 2017
6 Nov 2017 to 14 Nov 2017
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 1 Sep 2018 to 16 Dec 2018 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 21 Sep 2017 to 3 Nov 2017 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 16 May 2017 to 16 May 2017 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 17 Oct 2018 to 17 Oct 2018 Mathematical sciences
• On the statistical behaviour of the Riemann zeta function
Joachim Weickert Universität des Saarlandes 15 Sep 2017 to 28 Sep 2017
15 Sep 2017 to 27 Sep 2017
18 Sep 2017 to 27 Sep 2017
17 Sep 2017 to 27 Sep 2017
17 Sep 2017 to 27 Sep 2017
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
• Ecient and Stable Schemes for 2D Forward-and-Backward Di usion
Mingming Wu Cornell University 2 Dec 2017 to 20 Dec 2017
5 Dec 2017 to 20 Dec 2017
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) 21 Nov 2017 to 22 Dec 2017
4 Sep 2017 to 15 Sep 2017
approximation theory
• Sampling for approximating R-limited functions
• Sampling for approximating R-limited functions
Bohua Zhan Massachusetts Institute of Technology 20 Jul 2017 to 4 Aug 2017 Interactive theorem proving
• Proof automation in Isabelle using auto2
Xiaomin Zhang University of Wisconsin-Madison 1 Mar 2018 to 1 Mar 2018 Mathematics
• Theoretical support of machine learning debugging via weighted M-estimation