skip to content
 

Talks Elsewhere

All long-term participants in Newton Institute programmes are encouraged to give seminars at, or to make short visits to, UK institutions outside Cambridge during their stay. To support this activity, the Institute will cover the travel expenses involved for any participant who is formally invited to speak at another 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 Newton Institute maintains a register of those of its participants who are visiting from overseas for a period of at least two weeks, 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[at]newton.ac[dot]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
Haider Ali University of Peshawar

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

  • 21–30 Nov 2017

Applied Mathematics (Image Processing)
  • Efficient Variational Image Selective Segmentation Model for Medical Images

  • Joint Variational Model for Image Dehazing and Segmentation

  • Novel Generalized Average with Application in Image Segmentation

Jesús Aransay Universidad de La Rioja

[BPR] Big proof

  • 27 Jun to 14 Jul 2017

Formalisation of mathematics; Linear Algebra; Isabelle/HOL
  • Rendering useful formalised mathematics

  • Transferring lemmas and proofs in Isabelle/HOL: a survey

Jeremy Avigad Carnegie Mellon University

[BPR] Big proof

  • 2 Jul to 4 Aug 2017

  • 27 Jul 2017

Mathematics
  • Formal methods in mathematics and the Lean Theorem Prover

Luke Bennetts University of Adelaide

[SIP] Mathematics of sea ice phenomena

  • 24 Jul to 15 Dec 2017

  • 27 Jul to 20 Dec 2017

Sea ice; ocean waves; mathematical modelling.
  • Modelling wave–ice interactions

Dietmar Bisch Vanderbilt University

[OAS] Operator algebras: subfactors and their applications

  • 3–21 Apr 2017

  • 29 May to 9 Jun 2017

  • 30 May 2017

Mathematics
  • Algebras associated to group-type subfactors

  • Subfactors with infinite representation theory

Arezki Boudaoud ENS - Lyon

[GFS] Growth form and self-organisation

  • 1 Sep to 30 Nov 2017

  • 1 Sep to 15 Dec 2017

Biophysics ; applied mathematics ; developmental biology
  • Investigating morphogenesis : symmetry breaking and elongated forms in plants and fungi.

  • Stochasticity and robustness in plant growth and morphogenesis

  • Stochasticity and robustness in plant morphogenesis

Ulrik Buchholtz Technische Universität Darmstadt

[BPR] Big proof

  • 27 Jun to 14 Jul 2017

homotopy type, type theory
  • Experiences formalizing synthetic homotopy theory in the Lean proof assistant

  • Introduction to homotopy type theory and synthetic homotopy theory

  • Varieties of cubical sets from a homotopical viewpoint

Martin Burger Universität Münster, Westfalische Wilhelms-Universitat Munster

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

  • 12 Sep to 27 Oct 2017

Inverse Problems, PDE Models in Life and Social Sciences
  • Gradient Flow Structures on Graphs and Mean-Field Limits

  • Motion corrected reconstruction in undersampled dynamic imaging

  • Nonlinear Spectral Decompositions based on One-homogeneous PDEs

  • Transport Metrics for Vlasov Hierarchies

  • Variational Methods for High-Dimensional Image Registration

Danny Calegari University of Chicago

[NPC] Non-positive curvature group actions and cohomology

  • 14 Jun 2017

Mathematics
  • Universal circles

Christopher Cashen Universität Wien

[NPC] Non-positive curvature group actions and cohomology

  • 7–30 Mar 2017

geometric group theory
  • The contracting boundary of a finitely generated group

Ruth Charney Brandeis University

[NPC] Non-positive curvature group actions and cohomology

  • 1–22 Jun 2017

Geometric group theory, CAT(0) geometry, boundaries of groups
  • Are CAT(0) spaces determined by their boundaries?

  • Hyperbolic-like boundaries

Michael Davis Ohio State University, Ohio State University

[NPC] Non-positive curvature group actions and cohomology

  • 17 May 2017

Mathematics
  • The action dimension of some discrete groups

Sandipan De Indian Statistical Institute, Bangalore, Institute of Mathematical Sciences, Chennai

[OAS] Operator algebras: subfactors and their applications

  • 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-Sud 11

[NPC] Non-positive curvature group actions and cohomology

  • 19 May 2017

Mathematics
  • Commensurating actions of groups of birational transformations

Christophe Eloy École centrale de Marseille, Institut de Recherche sur les Phénomènes Hors Equilibre

[GFS] Growth form and self-organisation

  • 9 Oct to 15 Dec 2017

Fluid Mechanics
  • Architecture and allometry of trees

  • Optimal bio-inspired swimming

Lisa Fauci Tulane University, Tulane University

[GFS] Growth form and self-organisation

  • 16–31 Oct 2017

Math biology, fluid dynamics
  • Explorations in biofluiddynamics

Stefan Friedl Universität Regensburg, Universität Regensburg

[HTL] Homology theories in low dimensional topology

  • 20 Feb to 17 Mar 2017

  • 2 Mar 2017

Mathematics
  • Polytope invariants of groups and manifolds

  • Profinite completion of knot groups

  • Recent developments in 3-manifold topology

Koji Fujiwara Kyoto University

[NPC] Non-positive curvature group actions and cohomology

  • 10 Mar 2017

Mathematics
  • Mapping class groups in geometric group theory

Bill Goldman University of Maryland

[NPC] Non-positive curvature group actions and cohomology

  • 12 Jun 2017

  • 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

[HTL] Homology theories in low dimensional topology

  • 6 Mar 2017

  • 16 Mar 2017

  • 24 Apr 2017

Mathematics
  • Dehn surgery and rational balls

  • Heegaard Floer homology and defomation of curve singularities

Pinhas Grossman University of New South Wales

[OAS] Operator algebras: subfactors and their applications

  • 9 Jan to 9 Feb 2017

Subfactors and fusion categories
  • Title to be determined

Dominik Gruber ETH Zürich

[NPC] Non-positive curvature group actions and cohomology

  • 24 Mar 2017

Mathematics
  • Small cancellation theory over Burnside groups

Erik Guentner University of Hawaii

[NPC] Non-positive curvature group actions and cohomology

  • 24 Mar 2017

Mathematics
  • On K-amenability of cat (o) cubical groups

Ursula Hamenstaedt University of Bonn

[NPC] Non-positive curvature group actions and cohomology

  • 6 Mar 2017

  • 7 Mar 2017

  • 14 Mar 2017

Mathematics
  • Ergodic properties of cocycles over flows with Bowen measures

  • Random 3-manifolds and towers of their covers

Vaughan Jones Vanderbilt University, University of California, Berkeley, University of Auckland

[OAS] Operator algebras: subfactors and their applications

  • 21 Mar 2017

  • 24 Mar 2017

  • 25 Mar 2017

  • 5 Apr 2017

  • 19 Jun 2017

Mathematics
  • 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

  • Unitary representations of Thompsons groups A and T inspired by Quantum spin chains

Chris Kapulkin University of Western Ontario

[BPR] Big proof

  • 28 Jun 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)

[NPC] Non-positive curvature group actions and cohomology

  • 5 Apr 2017

Mathematics
  • Exotic symmetry groups for tilings of Rn

Yasu Kawahigashi University of Tokyo

[OAS] Operator algebras: subfactors and their applications

  • 19 Jan 2017

  • 13–24 Mar 2017

Mathematics
  • Conformal field theory and operator algebras

  • Relative tensor products of full conformal field theories

Pat Langhorne University of Otago, University of Otago

[SIP] Mathematics of sea ice phenomena

  • 27 Aug to 29 Sep 2017

Antarctic sea ice thickness and properties, ice-ocean interaction
  • Brine convection in winter Antarctic land-fast sea ice

  • Sea ice, ice shelves and the ocean

Joan Licata Australian National University

[HTL] Homology theories in low dimensional topology

  • 10 Apr to 30 Jun 2017

Contact geometry, low-dimensional knot theory
  • Morse Structures on Open Books

Stephen Marsland Massey University

[GFS] Growth form and self-organisation

  • 31 Oct to 20 Dec 2017

Shape analysis, machine learning, and their applications
  • Automatic Birdsong Recognition

  • Data Analysis in Weitzenbock Space

  • Stochastic shapes

Alexandre Martin Universität Wien

[NPC] Non-positive curvature group actions and cohomology

  • 16–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

Narutaka Ozawa Kyoto University, Kyoto University

[NPC] Non-positive curvature group actions and cohomology

  • 13–24 Mar 2017

Functional Analysis and Operator Algebras
  • TBA

Ina Petkova Dartmouth College

[HTL] Homology theories in low dimensional topology

  • 6–15 Jun 2017

low-dimensional topology
  • Tangle Floer homology and quantum gl(1|1)

Joerg Polzehl Weierstraß-Institut für Angewandte Analysis und Stochastik

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

  • 28 Nov to 8 Dec 2017

Nonparametric statistics, Computational Statistics, Applications in Neuroimaging
  • Low SNR in high resolution MR imaging

  • Structural adaptive smoothing of MR imaging data

H. Vincent Poor Princeton University

[SNA] Theoretical foundations for statistical network analysis

  • 11 Mar 2016

  • 3 Oct to 4 Nov 2016

  • 14 Oct 2016

Mathematics
  • Privacy in the smart grid: information, control and games

  • Some network analysis problems motivated by the smart grid

Havard Rue King Abdullah University of Science and Technology (KAUST)

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

  • 11–21 Jul 2017

  • 12 Jul 2017

Mathematics
  • Penalising model component complexity: A principled practical approach to constructing priors

  • The R-INLA project: Past, Present and Future

Richard Schwartz Brown University

[NPC] Non-positive curvature group actions and cohomology

  • 27 Apr 2017

  • 28 Apr 2017

Mathematics
  • 5 points and a sphere

  • Uncooperate PETs (Polytope Exchange Transformations)

Natarajan Shankar SRI International

[BPR] Big proof

  • 25 Jun to 4 Aug 2017

Formalized mathematics, automated reasoning, interactive proof assistants, software specification and verification, code generation
  • Adventures in Code Generation

  • Formal Architectures for Cyber-Physical Systems

  • The Pragmatics of Formal Proof

  • Trust and Automation in Computer-Aided Verification

Vernon Squire University of Otago

[SIP] Mathematics of sea ice phenomena

  • 23 Aug to 22 Oct 2017

mathematical polar marine modelling
  • Insurmountable challenges associated with modelling ocean wave / sea ice interactions?

  • Ocean wave interactions with sea ice, an epiphany in polar climate change research

Piotr Sulkowski Uniwersytet Warszawski, CALTECH (California Institute of Technology)

[HTL] Homology theories in low dimensional topology

  • 4–27 Apr 2017

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 Jan to 31 May 2017

Geometric Group theory
  • Two shall be the number of the counting

Xue-Cheng Tai Hong Kong Baptist University, Universitetet i Bergen

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

  • 10 Sep to 13 Oct 2017

  • 11 Sep to 9 Oct 2017

  • 6–14 Nov 2017

Image processing, computer vision and leaening
  • Convex relaxation, graph and continuous max-flow algorithms for image processing and computer vision

  • convex variational models based on graph total variation for high dimensional data clustering and machine learning

  • Fast numerical algorithms for variational models with application to image processing and computer vision

Jay Tang Brown University

[GFS] Growth form and self-organisation

  • 21 Sep to 3 Nov 2017

biological physics, self-assembly, bacterial motility, active matter
  • Bacterial Motility and Accumulation

  • Dynamic pattern evolution in growing bacterial colonies

Stefaan Vaes KU Leuven

[OAS] Operator algebras: subfactors and their applications

  • 16 May 2017

Mathematics
  • The Banach-Tarski paradox and von Neumann's concept of amenability

Joachim Weickert Universität des Saarlandes

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

  • 15–27 Sep 2017

  • 15–28 Sep 2017

  • 17–27 Sep 2017

  • 18–27 Sep 2017

PDEs and Variational Methods in Image Analysis
  • Cyclic Schemes for PDE-Based Image Analysis

  • Ecient and Stable Schemes for 2D Forward-and-Backward Diusion

  • Image Compression with Differential Equations

  • Osmosis in Visual Computing

  • Variational Models for Motion Estimation in Videos

Mingming Wu Cornell University, Cornell University

[GFS] Growth form and self-organisation

  • 2–20 Dec 2017

  • 5–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 Schlumberger Cambridge Research

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

  • 4–15 Sep 2017

  • 21 Nov to 22 Dec 2017

approximation theory
  • Sampling for approximating R-limited functions

Bohua Zhan Massachusetts Institute of Technology

[BPR] Big proof

  • 20 Jul to 4 Aug 2017

Interactive theorem proving
  • Proof automation in Isabelle using auto2

University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons