University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series

Isaac Newton Institute Seminar Series

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

The Isaac Newton Institute for Mathematical Sciences is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. You can receive regular information by email on Institute seminars and events by subscribing to our mailing lists: follow the instructions at http://www.newton.cam.ac.uk/mailing.html. There are lists for each individual Institute programme.

Tell a friend about this list:

If you have a question about this list, please contact: Jonathan H N Chin; Chie Sibley Obata; Kathryn de Ridder; Clare Merritt; info@newton.ac.uk; Vincenzo Abete; ss917; ad864. If you have a question about a specific talk, click on that talk to find its organiser.

28 upcoming talks and 7744 talks in the archive: show all (slow!).

Mixed boundary-value problems (tutorial)

SIP - Mathematics of sea ice phenomena

UserAlexander Korobkin (University of East Anglia).

HouseSeminar Room 2, Newton Institute.

ClockMonday 20 November 2017, 14:30-16:30

Around unbalanced optimal transport: fluid dynamic, growth model, applications.

GFSW03 - Shape analysis and computational anatomy

UserFrançois-Xavier Vialard (Université Paris-Dauphine; INRIA Paris - Rocquencourt).

HouseSeminar Room 1, Newton Institute.

ClockFriday 17 November 2017, 14:00-14:45

3D normal coordinate systems for the cortex: applications in the deafened cortices in babies, adults and cats

GFSW03 - Shape analysis and computational anatomy

UserTilak Ratnanather (Johns Hopkins University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 17 November 2017, 11:30-12:15

Shell Shape of Snails

GFSW03 - Shape analysis and computational anatomy

UserJenny Larsson (University of Sheffield).

HouseSeminar Room 1, Newton Institute.

ClockFriday 17 November 2017, 11:00-11:30

The Morphology of Cellular Motility

GFSW03 - Shape analysis and computational anatomy

UserKirsty Wan (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 17 November 2017, 09:45-10:30

Measuring shape change by registration

GFSW03 - Shape analysis and computational anatomy

UserMads Nielsen (University of Copenhagen; Københavns Universitet (University of Copenhagen)).

HouseSeminar Room 1, Newton Institute.

ClockFriday 17 November 2017, 09:00-09:45

Machine Learning Approaches for Deformable Image Registration

GFSW03 - Shape analysis and computational anatomy

UserMarc Niethammer (University of North Carolina ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 November 2017, 16:00-16:45

Distortion minimizing geodesic subspaces on shape ensembles

GFSW03 - Shape analysis and computational anatomy

UserAlain Trouve (CNRS - Ecole Normale Superieure Paris).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 November 2017, 14:45-15:30

Statistical Inference in Nonlinear Spaces via Maximum Likelihood and Diffusion Bridge Simulation

GFSW03 - Shape analysis and computational anatomy

UserStefan Sommer (Københavns Universitet (University of Copenhagen)).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 November 2017, 14:00-14:45

How to deform and shake images?

GFSW03 - Shape analysis and computational anatomy

UserAlexis Arnaudon (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 November 2017, 11:30-12:15

Learning distributions of shape trajectories: a hierarchical model on a manifold of diffeomorphisms

GFSW03 - Shape analysis and computational anatomy

UserAlexandre Bône (INSERM; INRIA; Université Pierre & Marie Curie-Paris VI ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 November 2017, 11:00-11:30

Template shape estimation: correcting an asymptotic bias

GFSW03 - Shape analysis and computational anatomy

UserNina Miolane (INRIA).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 November 2017, 09:45-10:30

What can we learn from large deformation diffeomorphic metric mapping on spaces of rigid bodies?

GFSW03 - Shape analysis and computational anatomy

UserLaurent Younes (Johns Hopkins University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 November 2017, 09:00-09:45

Monotone properties of Barzilai-Borwein Method

VMV - Variational methods and effective algorithms for imaging and vision

UserYa-xiang Yuan ().

HouseSeminar Room 2, Newton Institute.

ClockWednesday 15 November 2017, 15:00-16:00

The elastic metric for surfaces and its use

GFSW03 - Shape analysis and computational anatomy

UserIan Jermyn (Durham University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 15 November 2017, 11:30-12:15

Reconstructing leaf morphogenesis using two-dimensional shape analysis

GFSW03 - Shape analysis and computational anatomy

UserArezki Boudaoud ().

HouseSeminar Room 1, Newton Institute.

ClockWednesday 15 November 2017, 11:00-11:30

Bayesian analysis of object data using Top Space and Quotient Space models

GFSW03 - Shape analysis and computational anatomy

UserIan Dryden (University of Nottingham).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 15 November 2017, 09:45-10:30

How organisms shape themselves: using geometric morphometrics for understanding evolution and development

GFSW03 - Shape analysis and computational anatomy

UserChris Klingenberg (University of Manchester).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 15 November 2017, 09:00-09:45

Geometrical Growth Models for Computational Anatomy

GFSW03 - Shape analysis and computational anatomy

UserIrene Kaltenmark (Aix Marseille Université).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 November 2017, 16:00-16:45

Interaction of wave with a body floating on a wide polynya

SIP - Mathematics of sea ice phenomena

UserGuo Xiong Wu (University College London; University College London).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 14 November 2017, 15:00-16:30

Shape analysis through a deformation prior

GFSW03 - Shape analysis and computational anatomy

UserBarbara Gris (KTH - Royal Institute of Technology ).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 November 2017, 14:45-15:30

Differential invariants for the actions of planar Lie groups

GFSW03 - Shape analysis and computational anatomy

UserStephen Marsland (Massey University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 November 2017, 14:00-14:45

On loss of form in cancer growth

GFSW03 - Shape analysis and computational anatomy

UserKrastan Blagoev (National Science Foundation; Johns Hopkins University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 November 2017, 11:30-12:15

Incompressible limit of a mechanical models for tissue growth

GFSW03 - Shape analysis and computational anatomy

UserSophie Hecht (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 November 2017, 11:00-11:30

Accelerated optimization on manifolds

GFSW03 - Shape analysis and computational anatomy

UserGanesh Sundaramoorthi (King Abdullah University of Science and Technology (KAUST)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 November 2017, 09:45-10:30

Bridge Simulation and Metric Estimation on Lie Groups and Orbit Spaces

GFSW03 - Shape analysis and computational anatomy

UserSarang Joshi (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 November 2017, 09:00-09:45

Towards a geometric variational discretization of compressible fluid dynamics

GFSW03 - Shape analysis and computational anatomy

UserFrançois Gay-Balmaz (CNRS - Ecole Normale Superieure Paris).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 November 2017, 16:00-16:45

Morphoelasticity and the Geometry of Growth

GFSW03 - Shape analysis and computational anatomy

UserAlain Goriely (University of Oxford; University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 November 2017, 14:45-15:30

Riemannian Gradient Flows in Shape Analysis

GFSW03 - Shape analysis and computational anatomy

UserKlas Modin (Chalmers University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 November 2017, 14:00-14:45

tba

GFSW03 - Shape analysis and computational anatomy

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 November 2017, 11:30-12:15

An efficient kernel product for automatic differentiation libraries, with applications to measure transport

GFSW03 - Shape analysis and computational anatomy

UserJean Feydy (École Normale Supérieure; ENS de Cachan).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 November 2017, 11:00-11:30

General Sobolev metrics on the manifold of all Riemannian metrics

GFSW03 - Shape analysis and computational anatomy

UserPeter Michor (Universität Wien; Universität Wien).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 November 2017, 09:45-10:30

Discontinuous Galerkin method for numerical simulation of ice flow impact on vertical cylinder offshore structure

SIPW03 - Ice-structure interaction

UserVladislav Miryaha (Moscow Institute of Physics and Technology).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 November 2017, 15:00-15:30

Generation of wave motion in fluid with inhomogeneous ice cover

SIPW03 - Ice-structure interaction

UserIzolda Sturova (Lavrentyev Institute of Hydrodynamics).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 November 2017, 14:30-15:00

DEM modelling of wave-induced floe-floe (and floe-structure) collisions

SIPW03 - Ice-structure interaction

UserAgnieszka Herman (University of Gdansk).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 November 2017, 13:30-14:30

Discrete Element Simulation of Ice-Structure Interaction

SIPW03 - Ice-structure interaction

UserJukka Tuhkuri (Aalto University); Arttu Polojarvi (Aalto University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 November 2017, 11:30-12:30

Determining global ice loads on offshore structures

SIPW03 - Ice-structure interaction

UserRenate van Vliet (Shell Global Solutions; Delft University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 November 2017, 10:00-11:00

Using DEM to model ice sheets and structures

SIPW03 - Ice-structure interaction

UserMark Hopkins (U.S. Army Research Laboratory).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 November 2017, 09:00-10:00

Modelling Brittle Failure of Ice

SIPW03 - Ice-structure interaction

UserKari Kolari (VTT Technical Research Centre of Finland).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 November 2017, 16:00-17:00

Geometric control of active matter

GFS - Growth form and self-organisation

UserFrancis Woodhouse (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockThursday 09 November 2017, 15:00-16:30

Probabilistic aspects of multi-element systems failure

SIPW03 - Ice-structure interaction

UserDmitry Onishchenko (Gazprom VNIIGAZ; Ishlinsky Institute for Problems in Mechanics RAS ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 November 2017, 14:30-15:30

Ice-induced vibrations in offshore structures: coupled dynamic ice-structure interactions over multiple scales

SIPW03 - Ice-structure interaction

UserRocky Taylor (Centre for Arctic Resource Development (CARD); Memorial University of Newfoundland).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 November 2017, 13:30-14:30

Passive, nanoengineered anti-icing: An experimental perspective

SIPW03 - Ice-structure interaction

UserManish Tiwari (University College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 November 2017, 10:00-11:00

Impacts, ice growth and related modelling

SIPW03 - Ice-structure interaction

UserFrank Thomas Smith (University College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 November 2017, 09:00-10:00

A convexity based method for approximation and interpolation of sampled functions

VMV - Variational methods and effective algorithms for imaging and vision

UserKewei Zhang (University of Nottingham).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 08 November 2017, 15:30-16:30

Correlation of local ice forces across the width of a structure during ice-structure interaction

SIPW03 - Ice-structure interaction

UserDevinder Sodhi (U.S. Army Research Laboratory).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 08 November 2017, 11:30-12:30

Effect of uncertainties in ice loading on design of Arctic installations

SIPW03 - Ice-structure interaction

UserKenneth Johannessen Eik (Statoil Research Centre).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 08 November 2017, 10:00-11:00

How ought we to structure research so as to make progress in understanding ice interaction?

SIPW03 - Ice-structure interaction

UserAndrew Palmer (National University of Singapore).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 08 November 2017, 09:00-10:00

Nonlinear numerical modeling of impact loads of ship sections and floating ice

SIPW03 - Ice-structure interaction

UserKevin Maki (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 November 2017, 16:00-17:00

Safer Operations in the Sea Ice-covered Oceans: The Tale of the Two Projects

SIPW03 - Ice-structure interaction

UserYevgeny Aksenov (National Oceanography Centre, Southampton).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 November 2017, 14:30-15:30

Hydroelastic waves and their interaction with structures

SIPW03 - Ice-structure interaction

UserAlexander Korobkin (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 November 2017, 13:30-14:30

Influence of broken ice on marine operations – identification of important processes

SIPW03 - Ice-structure interaction

UserRobert Bridges (Total E&P UK Limited).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 November 2017, 11:30-12:30

Shape Analysis — An Introduction to Its Ideas, Methods and Questions

GFS - Growth form and self-organisation

UserMartins Bruveris (Brunel University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 07 November 2017, 11:00-12:00

Design and Assessment Methods for Ships in Ice

SIPW03 - Ice-structure interaction

UserClaude Daley (Memorial University of Newfoundland).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 November 2017, 10:00-11:00

Theoretical modelling of ship-ice interaction

SIPW03 - Ice-structure interaction

UserKaj Riska (Total E&P UK Limited; NTNU).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 November 2017, 09:00-10:00

Thermo-mechanical loads of sea ice on structures

SIPW03 - Ice-structure interaction

UserAleksey Marchenko (University Centre in Svalbard (UNIS)).

HouseSeminar Room 1, Newton Institute.

ClockMonday 06 November 2017, 16:00-17:00

Ice-induced vibrations of offshore structures: physics of the process, modelling and remaining challenges

SIPW03 - Ice-structure interaction

UserAndrei Metrikine (Technische Universiteit Delft; Norwegian University of Science and Technology); Hayo Hendrikse (Technische Universiteit Delft).

HouseSeminar Room 1, Newton Institute.

ClockMonday 06 November 2017, 14:30-15:30

Structure-property relationships for sea ice: Modeling and experimental validation

SIPW03 - Ice-structure interaction

UserDavid Cole (U.S. Army Research Laboratory).

HouseSeminar Room 1, Newton Institute.

ClockMonday 06 November 2017, 13:30-14:30

Ice-structure interaction in the Sakhalin-II (Sea of Okhotsk) and Kashagan (NE Caspian) project

SIPW03 - Ice-structure interaction

UserPaul Verlaan (Shell Global Solutions).

HouseSeminar Room 1, Newton Institute.

ClockMonday 06 November 2017, 11:30-12:30

Friction of Sea Ice

SIPW03 - Ice-structure interaction

UserErland Schulson (Dartmouth College).

HouseSeminar Room 1, Newton Institute.

ClockMonday 06 November 2017, 10:00-11:00

The weighted p-Laplacian and semi-supervised learning

VMVW02 - Generative models, parameter learning and sparsity

UserJeff Calder (University of Minnesota).

HouseSeminar Room 1, Newton Institute.

ClockFriday 03 November 2017, 14:50-15:40

Sparse Recovery Algorithms for 3D Imaging using Point Spread Function Engineering

VMVW02 - Generative models, parameter learning and sparsity

UserRobert Plemmons (Wake Forest University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 03 November 2017, 14:00-14:50

From spatial learning to machine learning: an unsupervised approach with applications to behavioral science

VMVW02 - Generative models, parameter learning and sparsity

UserMihaela Pricop-jeckstadt (Technische Universität Dresden).

HouseSeminar Room 1, Newton Institute.

ClockFriday 03 November 2017, 12:00-12:50

A Nuclear-norm Model for Multi-Frame Super-resolution Reconstruction

VMVW02 - Generative models, parameter learning and sparsity

UserRaymond Chan (Chinese University of Hong Kong).

HouseSeminar Room 1, Newton Institute.

ClockFriday 03 November 2017, 11:10-12:00

Analysis and applications of structural-prior-based total variation regularization for inverse problems

VMVW02 - Generative models, parameter learning and sparsity

UserMartin Holler (University of Graz).

HouseSeminar Room 1, Newton Institute.

ClockFriday 03 November 2017, 09:50-10:40

Alternating projections for phase retrieval with random sensing vectors

VMVW02 - Generative models, parameter learning and sparsity

UserIrene Waldspurger (Université Paris-Dauphine; INRIA Paris - Rocquencourt).

HouseSeminar Room 1, Newton Institute.

ClockFriday 03 November 2017, 09:00-09:50

What do regularisers do?

VMVW02 - Generative models, parameter learning and sparsity

UserTuomo Valkonen (University of Liverpool).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 17:20-18:10

Structured compressed sensing and recent theoretical advances on optimal sampling

VMVW02 - Generative models, parameter learning and sparsity

UserClaire Boyer (Université Pierre et Marie Curie Paris).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 16:30-17:20

Cell detection by functional inverse diffusion and group sparsity

VMVW02 - Generative models, parameter learning and sparsity

UserPol del Aguila Pla (KTH - Royal Institute of Technology ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 15:40-16:00

Bayesian analysis and computation for convex inverse problems: theory, methods, and algorithms

VMVW02 - Generative models, parameter learning and sparsity

UserMarcelo Pereyra (Heriot-Watt University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 14:50-15:40

Divide and Conquer: Patch-based Image Denoising, Restoration, and Beyond

VMVW02 - Generative models, parameter learning and sparsity

UserMario Figueiredo (Universidade de Lisboa; Instituto Superior Técnico, Lisboa).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 14:00-14:50

Parametric representation in shape optimization

SIP - Mathematics of sea ice phenomena

UserBeniamin Bogosel (CNRS (Centre national de la recherche scientifique); École Polytechnique).

HouseSeminar Room 2, Newton Institute.

ClockThursday 02 November 2017, 13:00-14:15

Stochastic geometry for automatic object detection and tracking

VMVW02 - Generative models, parameter learning and sparsity

UserJosiane Zerubia (INRIA Sophia Antipolis).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 12:00-12:50

On computational barriers in data science and the paradoxes of deep learning

VMVW02 - Generative models, parameter learning and sparsity

UserAnders Hansen (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 11:10-12:00

Generating sampling patterns in MRI

VMVW02 - Generative models, parameter learning and sparsity

UserPierre Weiss (Université de Toulouse).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 09:50-10:40

Krylov Subspace Methods for Sparse Reconstruction

VMVW02 - Generative models, parameter learning and sparsity

UserSilvia Gazzola (University of Bath).

HouseSeminar Room 1, Newton Institute.

ClockThursday 02 November 2017, 09:00-09:50

Sparse Recovery by l0 Penalty

VMVW02 - Generative models, parameter learning and sparsity

UserBangti Jin (University College London).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 01 November 2017, 12:00-12:50

High-Dimensional Mixture Models For Unsupervised Image Denoising (HDMI)

VMVW02 - Generative models, parameter learning and sparsity

UserJulie Delon (Université Paris Descartes).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 01 November 2017, 11:10-12:00

Convolutional Neural Networks on Graphs

VMVW02 - Generative models, parameter learning and sparsity

UserXavier Bresson (Nanyang Technological University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 01 November 2017, 09:50-10:40

Below the Surface of the Non-Local Bayesian Image Denoising Method

VMVW02 - Generative models, parameter learning and sparsity

UserMila Nikolova (CNRS (Centre national de la recherche scientifique); ENS de Cachan).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 01 November 2017, 09:00-09:50

Learning iterative reconstruction for high resolution photoacoustic tomography

VMVW02 - Generative models, parameter learning and sparsity

UserAndreas Hauptmann (University College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 17:20-18:10

Advancements in Hybrid Iterative Methods for Inverse Problems

VMVW02 - Generative models, parameter learning and sparsity

UserJulianne Chung (Virginia Polytechnic Institute and State University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 16:30-17:20

Learned forward operators: Variational regularization for black-box models

VMVW02 - Generative models, parameter learning and sparsity

UserJonas Adler (KTH - Royal Institute of Technology ).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 15:40-16:00

Breaking the Curse of Dimensionality with Convex Neural Networks

VMVW02 - Generative models, parameter learning and sparsity

UserFrancis Bach (INRIA Paris - Rocquencourt; ENS - Paris).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 14:50-15:40

The tensor graphical lasso (Teralasso)

VMVW02 - Generative models, parameter learning and sparsity

UserAlfred Hero (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 14:00-14:50

Nonlinear Eigenanalysis of sparsity-promoting regularisation operators

VMVW02 - Generative models, parameter learning and sparsity

UserMartin Benning (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 12:00-12:50

Accelerated Free-Form Model Discovery of Interpretable Models using Small Data

VMVW02 - Generative models, parameter learning and sparsity

UserLior Horesh (IBM Research).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 11:10-12:00

Task Oriented Reconstruction using Deep Learning

VMVW02 - Generative models, parameter learning and sparsity

UserOzan Öktem (KTH - Royal Institute of Technology ; Karolinska Institute).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 09:50-10:40

Denoising Geometric Image Features

VMVW02 - Generative models, parameter learning and sparsity

UserStacey Levine (Duquesne University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 31 October 2017, 09:00-09:50

Structured solutions to nonlinear systems of equations

VMVW02 - Generative models, parameter learning and sparsity

UserJustin Romberg (Georgia Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 30 October 2017, 17:20-18:10

Geometry and Topology of Neural Network Optimization

VMVW02 - Generative models, parameter learning and sparsity

UserJoan Bruna (New York University; University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockMonday 30 October 2017, 16:30-17:20

Enhancing fMRI Reconstruction by Means of the ICBTV-Regularisation Combined with Suitable Subsampling Strategies and Temporal Smoothing

VMVW02 - Generative models, parameter learning and sparsity

UserEva-Maria Brinkmann (Westfalische Wilhelms-Universitat Munster; Westfalische Wilhelms-Universitat Munster).

HouseSeminar Room 1, Newton Institute.

ClockMonday 30 October 2017, 15:40-16:00

Optimal Approximation with Sparsely Connected Deep Neural Networks

VMVW02 - Generative models, parameter learning and sparsity

UserGitta Kutyniok (Technische Universität Berlin).

HouseSeminar Room 1, Newton Institute.

ClockMonday 30 October 2017, 14:50-15:40

PDE-based Algorithms for Convolution Neural Network

VMVW02 - Generative models, parameter learning and sparsity

UserLars Ruthotto (Emory University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 30 October 2017, 14:00-14:50

Cancer ID - From Spectral Segmentation to Deep Learning

VMVW02 - Generative models, parameter learning and sparsity

UserChristoph Brune (Universiteit Twente).

HouseSeminar Room 1, Newton Institute.

ClockMonday 30 October 2017, 12:00-12:50

tba

VMVW02 - Generative models, parameter learning and sparsity

UserEldad Haber (University of British Columbia).

HouseSeminar Room 1, Newton Institute.

ClockMonday 30 October 2017, 11:10-12:00

Spectral Computed Tomography

VMVW02 - Generative models, parameter learning and sparsity

UserJames Nagy (Emory University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 30 October 2017, 09:50-10:40

Denoising geometric image features

VMV - Variational methods and effective algorithms for imaging and vision

UserStacey Levine (Duquesne University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 26 October 2017, 15:30-16:30

Graph Methods for Manifold-valued Data

VMV - Variational methods and effective algorithms for imaging and vision

UserDaniel Tenbrinck (Universität Münster).

HouseSeminar Room 2, Newton Institute.

ClockFriday 20 October 2017, 10:00-11:00

The Complexity of Motion in Medical Imaging: From Theory to Practice

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserAngelica I. Aviles-Rivero (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 16:40-17:00

Patient-specific Biomechanical Modelling in the Development of Cardiovascular Disease

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserYuan Huang (Centre for Mathematical Imaging in Healthcare).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 16:20-16:40

Using Machine Learning to Accelerate Treatment Workflows in Radiation Oncology

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserRaj Jena (Cambridge University Hospitals ).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 15:45-16:20

Introduction

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserCarola-Bibiane Schönlieb (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 15:40-15:45

Questions

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 15:10-15:15

Functional Respiratory Imaging: The Story of a Growing Child

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserWim Vos (FluidDa).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 14:35-15:10

From Analysis Method to Quantitative Imaging Biomarkers

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserSarah Lee (Independent Consultant).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 14:20-14:35

Routes to Market Introduction for a Promising Imaging Biomarker

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserElizabeth Berry (Elizabeth Berry Ltd).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 14:05-14:20

Introduction

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserFred Wilson (GlaxoSmithKline).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 14:00-14:05

MedIAN (Medical Image Analysis Network) - Collaborating Across Disciplines

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserBen Glocker (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 12:45-13:00

Collaborations on Imaging – The Medimmune’s Innovative Way

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserJerry Wu (MedImmune).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 12:35-12:45

Digital Innovation for Imaging Agents

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserChris Foley (GE Healthcare).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 12:25-12:35

New Technology Can Transform Low-cost Microscopy

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserRichard Williams (ioLight).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 12:15-12:25

Intraoperative Molecular Imaging in Cancer Surgery

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserDavid Tuch (Lightpoint Medical).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 12:05-12:15

Challenges for Machine Learning in Clinical Decision Support : Focus on Stroke

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserIan Poole (Toshiba Medical Visualisation Systems Europe Ltd).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 11:10-11:45

Statistical Framework for Modelling Inter-object Relationships in Multi Object Image Analysis

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserSurajit Ray (University of Glasgow).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 10:35-11:10

Introduction

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 10:30-10:35

Welcome, Introduction & Update from the Centre for Mathematical Imaging in Healthcare

TGMW48 - Developments in Healthcare Imaging - Connecting with Industry

UserCarola-Bibiane Schönlieb (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 October 2017, 10:00-10:30

Inter-annual variability and predictability of Arctic summer sea ice - review of previous years with focus on summer 2017

SIP - Mathematics of sea ice phenomena

UserDavid Schroeder (University of Reading).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 17 October 2017, 15:00-16:30

How competition for light and wind resistance shape tree forms

GFS - Growth form and self-organisation

UserChristophe Eloy (École centrale de Marseille; Institut de Recherche sur les Phénomènes Hors Equilibre).

HouseSeminar Room 2, Newton Institute.

ClockThursday 12 October 2017, 15:00-16:30

Joint Motion Estimation and Image Reconstruction for Dynamic X-ray Tomography

VMV - Variational methods and effective algorithms for imaging and vision

UserLena Frerking (Universität Münster).

HouseSeminar Room 1, Newton Institute.

ClockThursday 12 October 2017, 11:00-12:00

Rothschild Lecture: On Growth and Form and Mathematics: Reading d'Arcy Thompson 100 Years On

GFS - Growth form and self-organisation

UserAlain Goriely (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 10 October 2017, 17:00-18:00

Learning Invariants and Representation Spaces of Shapes and Forms

VMV - Variational methods and effective algorithms for imaging and vision

UserRon Kimmel (Technion - Israel Institute of Technology).

HouseSeminar Room 2, Newton Institute.

ClockFriday 06 October 2017, 15:30-16:30

On acoustic-gravity waves in arctic zones with elastic ice-sheets

SIPW02 - Ice-fluid interaction

UserUsama Kadri (Cardiff University; Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 October 2017, 14:15-15:00

Degrees of freedom in the marginal ice zone's wave--ice system

SIPW02 - Ice-fluid interaction

UserJohannes E. M. Mosig (University of Otago).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 October 2017, 13:30-14:15

Experimental study on dead water resistance of ice floe in a two-layer fluid

SIPW02 - Ice-fluid interaction

UserYing Gou (Dalian University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 October 2017, 11:45-12:30

Fully dispersive nonlinear model equations for hydroelastic waves

SIPW02 - Ice-fluid interaction

UserHenrik Kalisch (Universitetet i Bergen).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 October 2017, 11:00-11:45

Impact of supercooled droplets on nanoengineered surfaces

SIPW02 - Ice-fluid interaction

UserManish Tiwari (University College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 October 2017, 09:45-10:30

Shear flow over patches of flexible surface and related near-surface interactions

SIPW02 - Ice-fluid interaction

UserFrank Thomas Smith (University College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 October 2017, 09:00-09:45

Ship-ice-fluid interaction studies on ice resistance of ships

SIPW02 - Ice-fluid interaction

UserJorma Kämäräinen (Finnish Transport Safety Agency).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 October 2017, 15:30-16:15

Dynamic pattern evolution in growing bacterial colonies

GFS - Growth form and self-organisation

UserJay Tang (Brown University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 05 October 2017, 15:00-16:30

Interactions between phase change and boundary layer structure

SIPW02 - Ice-fluid interaction

UserAlena Malyarenko (University of Otago).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 October 2017, 14:15-15:00

Antarctic Coastal Polynyas: Do Measurements of Winter Processes give clues to modeling Improvements and better model fidelity?

SIPW02 - Ice-fluid interaction

UserStephen Ackley (University of Texas at San Antonio).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 October 2017, 13:30-14:15

Waves and moving loads along frozen channels

SIPW02 - Ice-fluid interaction

UserTatiana Khabakhpasheva (University of East Anglia; Lavrentyev Institute of Hydrodynamics).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 October 2017, 11:45-12:30

Underwater noise under ice conditions: from the ice chorus to the environmental challenge

SIPW02 - Ice-fluid interaction

UserThomas Folegot (Quiet-Oceans).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 October 2017, 11:00-11:45

Variational existence and stability theory for hydroelastic solitary waves

SIPW02 - Ice-fluid interaction

UserMark Groves (Universität des Saarlandes ; Loughborough University ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 October 2017, 09:45-10:30

Time quasi-periodic gravity water waves in finite depth

SIPW02 - Ice-fluid interaction

UserPietro Baldi (Università degli Studi di Napoli Federico II ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 October 2017, 09:00-09:45

Existence of quasipatterns, solutions of the Bénard-Rayleigh convection

SIP - Mathematics of sea ice phenomena

UserGerard Iooss (Université de Nice Sophia Antipolis; None).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 October 2017, 13:30-14:30

Impacts of ocean waves on the Polar Sea Ice and Oceans

SIPW02 - Ice-fluid interaction

UserYevgeny Aksenov (National Oceanography Centre, Southampton).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 October 2017, 11:45-12:30

A sea ice model with wave-ice interactions on a moving mesh

SIPW02 - Ice-fluid interaction

UserTimothy Williams (Natural Environment Research Council (NERC)).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 October 2017, 11:00-11:45

Stability criteria for nonlinear waves in Hamiltonian and reversible systems

SIPW02 - Ice-fluid interaction

UserMariana Haragus (Université de Franche-Comté).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 October 2017, 09:45-10:30

Conformal geometry and hydroelastic waves

SIPW02 - Ice-fluid interaction

UserPavel Plotnikov (Lavrentyev Institute of Hydrodynamics; Novosibirsk State University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 October 2017, 09:00-09:45

Wave patterns beneath an ice cover

SIPW02 - Ice-fluid interaction

UserAndrej Il’ichev (Steklov Mathematical Institute, Russian Academy of Sciences ).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 October 2017, 16:15-17:00

Asymmetric nonlinear flexural waves

SIPW02 - Ice-fluid interaction

UserJean-Marc Vanden-Broeck (University College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 October 2017, 15:30-16:15

Wave Propagation in Viscoelastic Materials over Water

SIPW02 - Ice-fluid interaction

UserHayley Shen (Clarkson University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 October 2017, 14:15-15:00

In situ detection of fluid movement in Antarctic land-fast sea ice

SIPW02 - Ice-fluid interaction

UserPat Langhorne (University of Otago).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 October 2017, 13:30-14:15

Numerical study of solitary wave attenuation in a fragmented ice sheet

SIPW02 - Ice-fluid interaction

UserPhilippe Guyenne (University of Delaware).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 October 2017, 11:45-12:30

Computing Flexural-Gravity Waves

SIPW02 - Ice-fluid interaction

UserOlga Trichtchenko (University College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 October 2017, 11:00-11:45

title and abstract tba

GFS - Growth form and self-organisation

User.

HouseSeminar Room 2, Newton Institute.

ClockTuesday 03 October 2017, 11:00-12:00

Nonlinear hydroelastic waves and related flows

SIPW02 - Ice-fluid interaction

UserEmilian I Parau (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 October 2017, 09:45-10:30

Modelling water wave overwash of ice floes

SIPW02 - Ice-fluid interaction

UserLuke Bennetts (University of Adelaide).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 October 2017, 09:00-09:45

Damping of surface wave in MIZ of the Barents Sea: field observations and modeling

SIPW02 - Ice-fluid interaction

UserAleksey Marchenko (Norwegian University of Science and Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 October 2017, 16:15-17:00

Where ice is not: The liquid phase in the sea ice model CICE

SIPW02 - Ice-fluid interaction

UserElizabeth Hunke (Los Alamos National Laboratory).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 October 2017, 15:30-16:15

Dead water effect on drift of icebergs

SIPW02 - Ice-fluid interaction

UserJohn Grue (University of Oslo).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 October 2017, 14:15-15:00

A different perspective on wave-ice interaction research

SIPW02 - Ice-fluid interaction

UserVernon Squire (University of Otago).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 October 2017, 13:30-14:15

Modelling dynamics of the marginal ice zone, including combined collisional and EVP rheology

SIPW02 - Ice-fluid interaction

UserStefanie Rynders (University of Southampton).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 October 2017, 11:45-12:30

Mathematical Challenges in Modelling Wave Scattering in the Marginal Ice Zone

SIPW02 - Ice-fluid interaction

UserMike Meylan (University of Newcastle, Australia).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 October 2017, 11:00-11:45

The Shape and Function of the Nasal Cavity

GFS - Growth form and self-organisation

UserMichael Brenner (Harvard University).

HouseSeminar Room 2, Newton Institute.

ClockMonday 02 October 2017, 11:00-12:00

River Ice – Process, Theory, and Mathematical Modeling

SIPW02 - Ice-fluid interaction

UserHung Tao Shen (Other).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 October 2017, 09:45-10:30

Bifurcation theory in the context of nonlinear steady water waves

SIP - Mathematics of sea ice phenomena

UserEugen Varvaruca (Universitatea Alexandru Ioan Cuza).

HouseSeminar Room 2, Newton Institute.

ClockFriday 29 September 2017, 14:00-16:00

Rothschild Lecture: Image Compression with Differential Equations

VMV - Variational methods and effective algorithms for imaging and vision

UserJoachim Weickert (Universität des Saarlandes ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 September 2017, 16:00-17:00

Discrete images, continuous world: A better basis for discussion?

VMV - Variational methods and effective algorithms for imaging and vision

UserAndrew Fitzgibbon (Microsoft Research).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 27 September 2017, 16:00-17:00

On the existence of weak solutions of the Perona-Malik equation

VMV - Variational methods and effective algorithms for imaging and vision

UserKewei Zhang (University of Nottingham).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 26 September 2017, 15:00-16:00

Recent advances in granular rheology and possible applications to large scale sea ice dynamics

SIP - Mathematics of sea ice phenomena

UserNico Gray (University of Manchester).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 26 September 2017, 15:00-16:30

Forms and Patterns of Viscous and Elastic Threads

GFS - Growth form and self-organisation

UserNeil Ribe (CNRS (Centre national de la recherche scientifique); Université Paris-Sud 11 ; CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 26 September 2017, 11:00-12:00

Panel Discussion and Wrap-Up

OFBW35 - Future Developments in Climate Sea Ice Modelling

UserDaniel Feltham (University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 16:10-16:50

Questions and Discussion

OFBW35 - Future Developments in Climate Sea Ice Modelling

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 15:10-15:50

Modelling Approaches to Address Sea Ice Complexity

OFBW35 - Future Developments in Climate Sea Ice Modelling

UserElizabeth Hunke (Los Alamos National Laboratory).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 14:30-15:10

Lunch and Posters

OFBW35 - Future Developments in Climate Sea Ice Modelling

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 13:00-14:30

Questions and Discussion

OFBW35 - Future Developments in Climate Sea Ice Modelling

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 12:20-13:00

What Sea Ice Physics is Missing from Models?

OFBW35 - Future Developments in Climate Sea Ice Modelling

UserCecilia Bitz (University of Washington).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 11:40-12:20

Questions and Discussion

OFBW35 - Future Developments in Climate Sea Ice Modelling

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 10:40-11:20

What do Climate Models need Sea Ice for?

OFBW35 - Future Developments in Climate Sea Ice Modelling

UserDirk Notz (Max-Planck-Institut für Meteorology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 10:00-10:40

Introduction to Sea Ice Climate Models

OFBW35 - Future Developments in Climate Sea Ice Modelling

UserDaniel Feltham (University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 09:40-10:00

Welcome & Introduction

OFBW35 - Future Developments in Climate Sea Ice Modelling

UserJane Leeks (Turing Gateway to Mathematics); David Abrahams (Isaac Newton Institute).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 September 2017, 09:30-09:40

Structure formation in magnetised plasmas

GFSW01 - Form and deformation in solid and fluid mechanics

UserGunnar Hornig (University of Dundee).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 September 2017, 14:50-15:30

Swimming of a simple vertebrate: Insights from computational and robotic models.

GFSW01 - Form and deformation in solid and fluid mechanics

UserLisa Fauci (Tulane University; Tulane University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 September 2017, 14:10-14:50

Modelling brain and skull morphogenesis

GFSW01 - Form and deformation in solid and fluid mechanics

UserAlain Goriely (University of Oxford; University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 September 2017, 13:30-14:10

Quantum vortex dynamics by Seifert surface information

GFSW01 - Form and deformation in solid and fluid mechanics

UserRenzo Ricca (University of Milan - Bicocca).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 September 2017, 11:30-12:10

Stochastic partial differential fluid equations as a diffusive limit of deterministic Lagrangian multi-time dynamics

GFSW01 - Form and deformation in solid and fluid mechanics

UserDarryl Holm (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 September 2017, 10:20-11:00

Helicity, Reconnection and Seifert Surfaces

GFSW01 - Form and deformation in solid and fluid mechanics

UserDe Witt Sumners (Florida State University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 September 2017, 09:40-10:20

Patterns of bacterial colonies

GFSW01 - Form and deformation in solid and fluid mechanics

UserMartine Ben Amar (CNRS - Ecole Normale Superieure Paris).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 September 2017, 09:00-09:40

Defects in positional and orientational order on surfaces and their potential influence on shape

GFSW01 - Form and deformation in solid and fluid mechanics

UserAxel Voigt (Technische Universität Dresden).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 15:10-15:30

Thin film models for active liquid crystals

GFSW01 - Form and deformation in solid and fluid mechanics

UserAndreas Muench (University of Oxford; University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 14:50-15:10

Elasticity and fluid mechanics of lipid tethers

GFSW01 - Form and deformation in solid and fluid mechanics

UserBuddhapriya Chakrabarti (University of Sheffield; University of Sheffield).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 14:30-14:50

Dynamical remodelling of biological interfaces

GFSW01 - Form and deformation in solid and fluid mechanics

UserMarino Arroyo (Universitat Politècnica de Catalunya).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 14:10-14:30

Drinking and Diving

GFSW01 - Form and deformation in solid and fluid mechanics

UserSunghwan (Sunny) Jung (Virginia Polytechnic Institute and State University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 13:30-14:10

Mechanics and polarity in cell motility

GFSW01 - Form and deformation in solid and fluid mechanics

UserDavide Ambrosi (Politecnico di Milano; Politecnico di Milano).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 12:10-12:30

A story in shells

GFSW01 - Form and deformation in solid and fluid mechanics

UserDerek Moulton (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 11:30-12:10

Coarse-graining of collective dynamics models

GFSW01 - Form and deformation in solid and fluid mechanics

UserPierre Degond (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 10:20-11:00

Fibonacci phyllotaxis in plants and algae, a biological convergence with a physical origin

GFSW01 - Form and deformation in solid and fluid mechanics

UserYves Couder (Laboratoire Matière et Systèmes Complexes).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 09:40-10:20

Flight of the smallest insects

GFSW01 - Form and deformation in solid and fluid mechanics

UserLaura Miller (University of North Carolina ; University of North Carolina ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 September 2017, 09:00-09:40

Deformable bodies in anisotropic fluids

GFSW01 - Form and deformation in solid and fluid mechanics

UserSaverio Spagnolie (University of Wisconsin-Madison).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 12:10-12:50

Fluid and solid mechanics in active cellular processes

GFSW01 - Form and deformation in solid and fluid mechanics

UserMichael Shelley (New York University; Simons Foundation).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 11:30-12:10

Unraveling hagfish slime

GFSW01 - Form and deformation in solid and fluid mechanics

UserJean-Luc Thiffeault (University of Wisconsin-Madison).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 10:20-11:00

Packing problems, phyllotaxis and Fibonacci numbers

GFSW01 - Form and deformation in solid and fluid mechanics

UserDenis Weaire (Trinity College Dublin); Adil Mughal (Aberystwyth University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 09:40-10:20

Flexible tubes conveying fluid: geometric modeling, stability, and variational integrators

GFSW01 - Form and deformation in solid and fluid mechanics

UserFrançois Gay-Balmaz (CNRS - Ecole Normale Superieure Paris).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 09:00-09:40

Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing

GFSW01 - Form and deformation in solid and fluid mechanics

UserScott Waitukaitis (Universiteit Leiden; FOM Institute AMOLF).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 15:10-15:30

Wave-induced collisions of thin floating disks

SIP - Mathematics of sea ice phenomena

UserLuke Bennetts (University of Adelaide).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 19 September 2017, 15:00-16:30

Swelling and Shaping of Soft Structures

GFSW01 - Form and deformation in solid and fluid mechanics

UserDouglas Holmes (Boston University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 14:50-15:10

The planar elastica, stress, and material stress

GFSW01 - Form and deformation in solid and fluid mechanics

UserJames Hanna (Virginia Polytechnic Institute and State University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 14:30-14:50

Fluid Mechanics of Soft Robots and Actuators

GFSW01 - Form and deformation in solid and fluid mechanics

UserAmir Gat (Technion - Israel Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 14:10-14:30

Simulations of Pulsating Soft Corals

GFSW01 - Form and deformation in solid and fluid mechanics

UserShilpa Khatri (University of California, Merced).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 13:30-14:10

Motility induced elongation of the vertebrate embryo

GFSW01 - Form and deformation in solid and fluid mechanics

UserIdo Regev (Ben-Gurion University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 12:10-12:30

How the elephant grabs with its trunk

GFSW01 - Form and deformation in solid and fluid mechanics

UserDavid Hu (Georgia Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 11:30-12:10

Flow-mediated synchronization of swimmers and rotors at the micron scale

GFSW01 - Form and deformation in solid and fluid mechanics

UserEva Kanso (University of Southern California; New York University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 10:20-11:00

Turing revisited: the chemo-mechanical bases of morphogenesis in soft living matter

GFSW01 - Form and deformation in solid and fluid mechanics

UserPasquale Ciarletta (Politecnico di Milano; CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 09:40-10:20

Indentations of plastic layers

GFSW01 - Form and deformation in solid and fluid mechanics

UserNeil Balmforth (University of British Columbia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 09:00-09:40

Microtubule Rings

GFSW01 - Form and deformation in solid and fluid mechanics

UserSimon Pearce (University of Manchester).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 15:10-15:30

Form, flow, deformation, and transport in the embryonic lung

GFSW01 - Form and deformation in solid and fluid mechanics

UserSharon Lubkin (North Carolina State University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 14:50-15:10

The dynamics of a packed cell tissue

GFSW01 - Form and deformation in solid and fluid mechanics

UserMarina Ferreira (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 14:30-14:50

The Stokes-flow parachute of the dandelion fruit

GFSW01 - Form and deformation in solid and fluid mechanics

UserCathal Cummins (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 14:10-14:30

The transverse arch of human foot

GFSW01 - Form and deformation in solid and fluid mechanics

UserShreyas Mandre (Brown University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 13:30-14:10

Capturing gas in soft granular media

GFSW01 - Form and deformation in solid and fluid mechanics

UserSungyon Lee (University of Minnesota).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 12:10-12:30

Some surprises in self-propulsion via self-deformation: snake scattering & supersmarticles

GFSW01 - Form and deformation in solid and fluid mechanics

UserDaniel Goldman (Georgia Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 11:30-12:10

Elastocapillarity: When surface tension deforms elastic solids

GFSW01 - Form and deformation in solid and fluid mechanics

UserJose Bico (ESPCI ParisTech ).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 10:20-11:00

On the robustness of morphogenesis

GFSW01 - Form and deformation in solid and fluid mechanics

UserArezki Boudaoud ().

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 09:40-10:20

New insight from CryoSat-2 sea ice thickness for sea ice modelling

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDavid Schroeder (University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 17:00-17:20

Impact of initialising sea ice forecasts using CryoSat-2 thickness observations for seasonal sea ice prediction with the Met Office GloSea system

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserEd Blockley (Met Office).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 16:40-17:00

Using Arctic ice mass balance buoys for model evaluation

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAlex West (Met Office).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 16:20-16:40

Arctic Sea Ice Thickness Change

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserChristian Haas (Alfred-Wegener-Institut für Polar- und Meeresforschung (AWI); Universität Bremen ).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 16:00-16:20

Statistics of the sea ice thickness distribution

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserPeter Wadhams (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 14:50-15:30

Challenges in estimating ocean surface stresses in sea ice covered Arctic and Antarctic regions

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserMichel Tsamados (University College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 14:30-14:50

Atmospheric response to marginal-ice-zone drag parameterisation

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserIan Renfrew (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 14:10-14:30

Integrating Observations and Models to Better Understand a Changing Arctic Sea Ice Cover

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserJulienne Stroeve (National Snow and Ice Data Center; National Snow and Ice Data Center).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 13:30-14:10

How much should we believe correlations between Arctic cyclones and sea ice extent?

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserJamie Rae (Met Office).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 12:10-12:30

Investigating future changes in the volume budget of the Arctic sea ice in a coupled climate model

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAnn Keen (Met Office).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 11:50-12:10

Winter-to-summer transition of Arctic sea ice breakup and floe size distribution in the Beaufort Sea

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserPhil Hwang (Scottish Association for Marine Science (SAMS)).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 11:30-11:50

Waves, ice and ocean in the future projections of the Arctic and Southern oceans

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserYevgeny Aksenov (National Oceanography Centre, Southampton).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 11:10-11:30

Impact of surface wave mixing on sea ice and mixed layer depth

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserStefanie Rynders (University of Southampton).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 10:20-10:40

Relationship between sea ice deformation and rheology

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserHarold Heorton (University College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 10:00-10:20

Frazil-ice dynamics in mixed layers and sub-ice-shelf plumes

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDavid Rees Jones (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 09:40-10:00

Using sea-ice deformation fields to constrain the mechanical strength parameters of geophysical sea ice

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserBruno Tremblay (McGill University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 09:00-09:40

Opening remarks, Danny Feltham

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 08:55-09:00

Brine rejection from sea ice

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserGrae Worster (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 16:00-17:00

Nonlinear stochastic time series analysis for sea ice and climate

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserWoosok Moon (British Antarctic Survey; NORDITA).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 15:30-16:00

Ising model for melt ponds on Arctic sea ice

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserYiping Ma (Northumbria University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 14:30-15:00

Simple rules govern the patterns of Arctic sea ice melt ponds

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserPredrag Popovic (University of Chicago).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 14:00-14:30

About the wave-particle duality observed with a classical particle driven by its memory-endowed wave-field

GFS - Growth form and self-organisation

UserYves Couder (Laboratoire Matière et Systèmes Complexes).

HouseSeminar Room 2, Newton Institute.

ClockThursday 14 September 2017, 14:00-15:00

Different ice observation methods in marine operations

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserErik Almkvist (Viking Ice Concultancy).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 11:45-12:30

Sea ice research - needs and gaps

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserRobert Bridges (Total E&P UK Limited).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 11:00-11:45

Modeling Arctic melt ponds

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDaniela Flocco (University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 09:45-10:30

Models of multi-scale and multi-phase sea ice thermodynamics

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAndrew Wells (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 09:00-09:45

Changes to sea ice thickness distribution due to Ice Shelf Water

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserPat Langhorne (University of Otago).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 September 2017, 11:45-12:30

When is all the sea ice gone?

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDirk Notz (Max-Planck-Institut für Meteorology).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 September 2017, 11:00-11:45

Modeling macro-porosity of ridged sea ice in basin-scale models

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAndrew Roberts (Naval Postgraduate School).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 September 2017, 09:45-10:30

Sea ice stability and rapid retreat

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserIan Eisenman (University of California, San Diego).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 September 2017, 09:00-09:45

Advection enhanced diffusion processes

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserNoa Kraitzman (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 16:00-16:30

Flow-induced Coordinates for Transient Advection-Diffusion Equations with Multiple Scales

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserKonrad Simon (Universität Hamburg).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 15:30-16:00

Effective Rheology and Wave Propagation in the Marginal Ice Zone

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserChristian Samspon (University of Utah; University of Utah; UNC Chapel Hill and RIMS).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 14:30-15:00

A viscoelastic model for wave propagation in the marginal ice zone

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserSukun Cheng (Clarkson University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 14:00-14:30

Sensitivity of Arctic sea ice state to model parameter space, resolved processes and climate coupling

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserWieslaw Maslowski (Naval Postgraduate School).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 11:45-12:30

Sea ice model physics: in search of fidelity

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDaniel Feltham (University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 11:00-11:45

A compilation of research and thoughts on the future of sea ice models.

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserMartin Vancoppenolle (CNRS (Centre national de la recherche scientifique); Université Pierre & Marie Curie-Paris VI ).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 09:45-10:30

Marginal Ice Zone Evolution due to Wave-Induced Breaking

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserVernon Squire (University of Otago).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 09:00-09:45

Rothschild Lecture: Large-scale sea ice modeling: societal needs and community development

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserElizabeth Hunke (Los Alamos National Laboratory).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 16:00-17:00

Filling the polar data gap with harmonic functions

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserCourtenay Strong (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 15:30-16:00

Floe size and ice thickness distributions

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserChristopher Horvat (Harvard University; Brown University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 14:30-15:00

A new continuum rheological model for the deformation and drift of sea ice

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserVeronique Dansereau (CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 14:00-14:30

Discrete-element models of sea ice dynamics and fracture

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAgnieszka Herman (University of Gdansk).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 11:45-12:30

Linking scales in the sea ice system

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserKen Golden (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 11:00-11:45

Small to big, quick to slow: The many scales of sea ice properties and processes

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDonald K. Perovich (Dartmouth College).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 09:45-10:30

Variational Methods to Image Segmentation

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserTammy Riklin raviv (Ben-Gurion University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 16:10-17:00

Total Generalized Variation for Manifold-valued Data

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMartin Holler (University of Graz).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 14:50-15:40

Optimal Transport-Based Total Variation for Functional Lifting and Q-Ball Imaging

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserThomas Vogt (Universität zu Lübeck).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 14:00-14:50

Adaptive and Move Making Auxiliary Cuts for Binary Pairwise Energies

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserOlga Veksler (University of Western Ontario).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 12:00-12:50

Estimation of linear operators from scattered impulse responses

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserPierre Weiss (Université de Toulouse).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 11:10-12:00

Representer theorems for ill-posed inverse problems: Tikhonov vs. generalized total-variation regularization

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMichael Unser (EPFL - Ecole Polytechnique Fédérale de Lausanne).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 09:50-10:40

Alternating proximal gradient descent for nonconvex regularised problems with multiconvex coupling terms

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMila Nikolova (CNRS (Centre national de la recherche scientifique); ENS de Cachan).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 09:00-09:50

Convex regularization of discrete-valued inverse problems

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserChristian Clason (Universität Duisburg-Essen).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 16:10-17:00

Deconstructing Tip Growth Morphogenesis

GFS - Growth form and self-organisation

UserJacques Dumais (Adolfo Ibanez University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 07 September 2017, 15:00-16:00

Joint imaging and calibration using non-convex optimization

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserAudrey Repetti (Heriot-Watt University; Heriot-Watt University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 14:50-15:40

Sublabel-Accurate Relaxation of Nonconvex Energies

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMichael Moeller (Universität Siegen).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 14:00-14:50

Directional Regularization for Image Reconstruction

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserYiqiu Dong (Technical University of Denmark).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 12:00-12:50

tba

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserDimitris Metaxas (Rutgers, The State University of New Jersey; University of Toronto; National Technical University of Athens).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 11:10-12:00

End-to-end learning of CNN features in in discrete optimization models for motion and stereo

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserThomas Pock (Graz University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 09:50-10:40

Fast Algorithms for Euler´s Elastica energy minimization and applications

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserXue-Cheng Tai (Hong Kong Baptist University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 09:00-09:50

Convex Analysis in Hadamard Spaces

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserGabriele Steidl (University of Kaiserslautern).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 16:10-17:00

Dissipation of wind waves by pancake and frazil ice in the autumn Beaufort Sea

SIP - Mathematics of sea ice phenomena

UserErick Rogers (U.S. Naval Research Laboratory).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 06 September 2017, 15:00-16:30

Low dimensional manifold model for image processing

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserZuoqiang Shi (Tsinghua University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 14:50-15:40

Sensitivity Analysis with Degeneracy: Mirror Stratifiable Functions

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserJalal Fadili (Other).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 14:00-14:50

Efficient numerical Methods For Variational inpainting models

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserSung Ha Kang (Georgia Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 12:00-12:50

Valued Constraint Satisfaction Problems

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserVladimir Kolmogorov (Institute of Science and Technology (IST Austria)).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 11:10-12:00

Automating stochastic gradient methods with adaptive batch sizes

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserTom Goldstein (University of Maryland).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 09:50-10:40

Geodesic Methods for Interactive Image Segmentation using Finsler metrics

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserLaurent Cohen (CNRS & Université Paris-Dauphine ; CNRS & Université Paris-Dauphine ).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 09:00-09:50

Drinks Reception and Networking

OFBW32 - Computational Challenges in Image Processing

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 17:00-18:00

Open Discussion and Questions

OFBW32 - Computational Challenges in Image Processing

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 16:35-17:00

Imaging Whales from Space

OFBW32 - Computational Challenges in Image Processing

UserPeter Fretwell (British Antarctic Survey).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 16:10-16:35

Computational Challenges for Long Range Imaging

OFBW32 - Computational Challenges in Image Processing

UserMark Bray (BAE Systems).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 15:45-16:10

Validating Machine Learning Models Visually with Zegami

OFBW32 - Computational Challenges in Image Processing

UserRoger Noble (Zegami).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 15:20-15:45

Current topics on sea-ice research: Led by A Korobkin

SIP - Mathematics of sea ice phenomena

User.

HouseSeminar Room 2, Newton Institute.

ClockTuesday 05 September 2017, 15:00-16:30

Nonlinear Tomography

OFBW32 - Computational Challenges in Image Processing

UserAndrew Curtis (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 14:25-15:00

Statistical Machine Learning and Optimisation Challenges for Brain Imaging at a Millisecond Timescale

OFBW32 - Computational Challenges in Image Processing

UserAlexandre Gramfort (Université Paris-Saclay).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 13:50-14:25

Organiser Introduction

OFBW32 - Computational Challenges in Image Processing

UserAntonin Chambolle (CNRS (Centre national de la recherche scientifique); École Polytechnique).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 13:40-13:50

Welcome and Introduction

OFBW32 - Computational Challenges in Image Processing

UserChristie Marr (Isaac Newton Institute); Jane Leeks (Turing Gateway to Mathematics).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 13:30-13:40

Preconditioned and accelerated Douglas-Rachford algorithms for the solution of variational imaging problems

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserKristian Bredies (University of Graz).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 12:00-12:50

Tensor Data Analysis: Models and Algorithms

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMichael Ng (Hong Kong Baptist University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 11:10-12:00

Gyrotactic focussing by swimming micro-organisms in three-dimensional flows

GFS - Growth form and self-organisation

UserNicholas Hill (University of Glasgow).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 05 September 2017, 11:00-12:00

Fractional Order Derivatives Regularization: Models, Algorithms and Applications

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserKe Chen (University of Liverpool).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 09:50-10:40

Minimization of curvature dependent functional.

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserAntonin Chambolle (CNRS (Centre national de la recherche scientifique); École Polytechnique).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 09:00-09:50

Video colorization by a variational approach

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserJean-Francois Aujol (Université Bordeaux 1).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 16:10-17:00

Nonlinear spectral analysis - beyond the convex case

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserGuy Gilboa (Technion - Israel Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 14:50-15:40

Nonlinear Spectral Decomposition

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMartin Burger (Universität Münster).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 14:00-14:50

On Overparametrization in Variational Methods

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserAlfred Bruckstein (Technion - Israel Institute of Technology; Nanyang Technological University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 12:00-12:50

Spectral Clustering meets Graphical Models

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserYuri Boykov (University of Western Ontario; University of Western Ontario).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 11:10-12:00

Efficient and Stable Schemes for 2D Forward-and-Backward Diffusion

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserJoachim Weickert (Universität des Saarlandes ).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 09:50-10:40

On (pre) dualization, dense embeddings of convex sets, and applications in image processing

VMV - Variational methods and effective algorithms for imaging and vision

UserMichael Hintermüller (Weierstrass Institute Berlin; Humboldt-Universität zu Berlin).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 30 August 2017, 16:00-17:00

Morphodynamics of cohesive objects

GFS - Growth form and self-organisation

UserEmmanuel Villermaux (Aix Marseille Université; Institut de Recherche sur les Phénomènes Hors Equilibre).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 30 August 2017, 15:00-16:00

Shapes of Colloidal Membranes

GFS - Growth form and self-organisation

UserThomas Powers (Brown University; Brown University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 29 August 2017, 11:00-12:00

Three-Dimensional solitary water waves

NWW - Nonlinear water waves

UserErik Wahlén (Lund University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 23 August 2017, 15:00-16:30

Fast computation of steady surface gravity waves

NWW - Nonlinear water waves

UserDidier Clamond (Université de Nice Sophia Antipolis).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 23 August 2017, 14:00-15:00

Symplectic topology of K3 surfaces via mirror symmetry

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserIvan Smith (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 18 August 2017, 16:00-17:00

On the ADHM Seiberg–Witten equations

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserThomas Walpuski (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockFriday 18 August 2017, 14:30-15:30

Graded linearisations for linear algebraic group actions

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserFrances Kirwan (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockFriday 18 August 2017, 11:30-12:30

A polyfold lab report

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserKatrin Wehrheim (University of California, Berkeley; University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockFriday 18 August 2017, 10:00-11:00

Existence of Lefschetz fibrations on Stein/Weinstein domains

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserJohn Pardon (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 17:00-18:00

Constructing the virtual fundamental cycle

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserDusa McDuff (Barnard College).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 15:30-16:30

Singularities of Hermitian-Yang-Mills connections and the Harder-Narasimhan-Seshadri filtration

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserSong Sun (Stony Brook University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 14:00-15:00

Graph Legendrians and SL2 local systems

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserEmmy Murphy (Northwestern University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 11:30-12:30

An SU(3) variant of instanton homology for webs

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserPeter Kronheimer (Harvard University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 10:00-11:00

Expanding large global solutions of the compressible Euler equations

NWW - Nonlinear water waves

UserM. Hadzic (University of London).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 16 August 2017, 16:00-16:50

Coherent Lagrangian Vortices in Turbulence

NWW - Nonlinear water waves

UserGeorge Haller (ETH Zürich).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 16 August 2017, 15:00-15:50

On traffic modeling and the Braess paradox

NWW - Nonlinear water waves

UserHelge Holden (Norwegian University of Science and Technology).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 16 August 2017, 14:00-14:50

An approach to the four colour theorem via Donaldson- Floer theory

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserTomasz Mrowka (Massachusetts Institute of Technology; Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 16 August 2017, 12:00-13:00

From Euler to Poincare

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserMichael Atiyah (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 16 August 2017, 10:30-11:30

Remarks on Nahm's equations

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserNigel Hitchin (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 16 August 2017, 09:00-10:00

Mathematical applications of little string theory

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserMina Aganagic (University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 August 2017, 16:00-17:00

Computing knot Floer homology

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserPeter Ozsvath (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 August 2017, 14:30-15:30

100 Problems around Scalar Curvature

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserMikhail Gromov (IHES).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 August 2017, 11:30-12:30

Speculations about homological mirror symmetry for affine hypersurfaces

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserDenis Auroux (University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 August 2017, 10:00-11:00

Knot Floer homology and algebraic methods

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserZoltan Szabo (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 14 August 2017, 16:00-17:00

The Gopakumar-Vafa conjecture for symplectic manifolds

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserEleny Ionel (Stanford University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 14 August 2017, 14:30-15:30

Atiyah Floer conjecture

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserKenji Fukaya (Stony Brook University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 14 August 2017, 11:30-12:30

Fields of definition of Fukaya categories of Calabi-Yau hypersurfaces

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserPaul Seidel (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 14 August 2017, 10:00-11:00

Vortex waves in deep water: Lagrange approach

NWWW01 - Nonlinear water waves

UserAnatoly Abrashkin (Higher School of Economics, Moscow).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 17:00-18:00

Experimental validations of various aspects of the wave-induced mean flow for surface gravity wave groups

NWWW01 - Nonlinear water waves

UserTon van den Bremer (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 16:00-17:00

Hamiltonian models for the propagation of irrotational surface gravity waves over a variable bottom

NWWW01 - Nonlinear water waves

UserRossen Ivanov (Dublin Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 14:30-15:30

Prediction of the free-surface elevation for rotational water waves using the recovery of pressure at the bed

NWWW01 - Nonlinear water waves

UserDavid Henry (University College Cork).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 13:30-14:30

Upper bound on the slope of a steady water wave

NWWW01 - Nonlinear water waves

UserWalter Strauss (Brown University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 11:30-12:30

Long time dynamics of some dispersive models arising from the study of water waves

NWWW01 - Nonlinear water waves

UserBenjamin Harrop-griffiths (Courant Institute of Mathematical Sciences).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 10:00-11:00

Stability of traveling water waves with a point vortex

NWWW01 - Nonlinear water waves

UserSamuel Walsh (University of Missouri).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 09:00-10:00

Zonal flows and wave resonance. --- Rossby wave case ---

NWWW01 - Nonlinear water waves

UserMichio Yamada (Kyoto University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 16:00-17:00

Rogue and Shock Waves within the Framework of Weakly Nonlinear Evolution Equations - Applicability and Limitations

NWWW01 - Nonlinear water waves

UserAmin Chabchoub (Aalto University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 14:30-15:30

Small-amplitude steady water waves on flows with counter-currents.

NWWW01 - Nonlinear water waves

UserVladimir Kozlov (Linköpings Universitet).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 13:30-14:30

Two-component Camassa-Holm system and its reductions

NWWW01 - Nonlinear water waves

UserYoshimasa Matsuno (Yamaguchi University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 11:30-12:30

Numerical computation of water waves with discontinuous vorticity

NWWW01 - Nonlinear water waves

UserMayumi Shoji (Japan Women's University ).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 10:00-11:00

Isobe-Kakinuma model for water waves as a higher order shallow water approximation

NWWW01 - Nonlinear water waves

UserTatsuo Iguchi (Keio University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 09:00-10:00

Global bifurcation of steady gravity water waves with constant vorticity

NWWW01 - Nonlinear water waves

UserEugen Varvaruca (Universitatea Alexandru Ioan Cuza; University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 16:00-17:00

Harnessing wave-power in open seas

NWWW01 - Nonlinear water waves

UserMichael Stiassnie (Technion - Israel Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 14:30-15:30

Craik-Leibovich Equation, Distinguished Limits, Drifts, and Pseudo-Diffusion

NWWW01 - Nonlinear water waves

UserVladimir Vladimirov (Sultan Qaboos University; University of York).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 13:30-14:30

On linear and nonlinear wave-ship interactions

NWWW01 - Nonlinear water waves

UserOnno Bokhove (University of Leeds).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 11:30-12:30

Numerical study of solitary waves under continuous or fragmented ice plates

NWWW01 - Nonlinear water waves

UserEmilian I Parau (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 10:00-11:00

Nonlinear surface waves at finite depth with and without surface cover

NWWW01 - Nonlinear water waves

UserJohn Grue (University of Oslo).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 09:00-10:00

Capturing the flow structure beneath water waves

NWWW01 - Nonlinear water waves

UserAndre Nachbin (IMPA - Instituto Nacional de Matemática Pura e Aplicada, Rio de Janeiro).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 16:00-17:00

Some thoughts on the role of the convection terms in the fluid mechanical PDEs.

NWWW01 - Nonlinear water waves

UserHisashi Okamoto (Gakushuin University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 14:30-15:30

On long term regularity of water wave models

NWWW01 - Nonlinear water waves

UserAlexandru Ionescu (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 13:30-14:30

Conservation relations for two-dimensional wave-current interactions

NWWW01 - Nonlinear water waves

UserGareth Thomas (University College Cork).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 11:30-12:30

Physical oceanography: an applied mathematician's approach

NWWW01 - Nonlinear water waves

UserRobin Johnson (Newcastle University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 10:00-11:00

Cubical and simplicial 2 - the coherent nerve of a cubical category (joint work with K Kapulkin)

BPR - Big proof

UserVladimir Voevodsky (Institute for Advanced Study, Princeton).

HouseSeminar Room 2, Newton Institute.

ClockThursday 03 August 2017, 15:30-16:30

How do human mathematicians avoid big searches?

BPR - Big proof

UserWilliam Timothy Gowers (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 28 July 2017, 13:30-14:30

A MathComp Library tour

BPR - Big proof

UserGeorges Gonthier (INRIA Saclay - Île-de-France).

HouseSeminar Room 2, Newton Institute.

ClockFriday 28 July 2017, 11:00-12:00

Categorical structures for type theory in univalent foundations"

BPR - Big proof

UserBenedikt Ahrens (INRIA Rennes - Bretagne Atlantique).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 16:30-17:30

Simplicial and cubical sets - how they relate to each other (joint work with Chris Kapulkin)

BPR - Big proof

UserVladimir Voevodsky (Institute for Advanced Study, Princeton).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 15:30-16:30

Automated theorem proving in first-order logic: from superposition to instantiation

BPR - Big proof

UserKonstantin Korovin (University of Manchester).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 13:30-14:30

Parametric Groebner basis computations and elimination

BPR - Big proof

UserDeepak Kapur (University of New Mexico).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 11:00-12:00

Social Proof Seminar (coordinated by Fenner Tanswell)

BPR - Big proof

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 26 July 2017, 16:30-17:30

Modelling the way mathematics is actually done

BPR - Big proof

UserJoe Corneli (University of Edinburgh; University of London).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 26 July 2017, 15:30-16:30

An overview of the Flyspeck project

BPR - Big proof

UserThomas Hales (University of Pittsburgh).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 26 July 2017, 14:30-15:30

Concise - a synthesis of types, grammars, semantics

BPR - Big proof

UserArnold Neumaier (Universität Wien).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 26 July 2017, 11:00-12:00

Systems Based on Set Theory

BPR - Big proof

UserJosef Urban (Czech Technical University); Mario Carneiro (Carnegie Mellon University; Ohio State University); Bohua Zhan (Massachusetts Institute of Technology).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 25 July 2017, 14:00-16:00

Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics

BPR - Big proof

UserYves Bertot (INRIA Sophia Antipolis).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 25 July 2017, 11:00-12:00

Big Proof & Education

BPR - Big proof

UserJeremy Avigad (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockMonday 24 July 2017, 15:30-17:30

Language and automation in mathematics

BPR - Big proof

UserNatarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa).

HouseSeminar Room 2, Newton Institute.

ClockMonday 24 July 2017, 11:00-12:00

Reasoning by equivalence: the start of proof in elementary education

BPR - Big proof

UserChris Sangwin (University of Edinburgh; University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockFriday 21 July 2017, 13:30-14:30

Computer Algebra and Formal Proof

BPR - Big proof

UserJames Davenport (University of Bath).

HouseSeminar Room 2, Newton Institute.

ClockFriday 21 July 2017, 11:00-12:00

Social proof: social session on the POPL experience

BPR - Big proof

UserUrsula Martin (University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 16:30-17:30

Socialising proof

BPR - Big proof

UserLorenzo Lane (University of Edinburgh; University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 16:00-16:30

Measuring Sample Discrepancy with Diffusions

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserAndrew Duncan (University of Sussex; The Alan Turing Institute).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 15:40-16:20

Go forth and multiply! Imperatives in mathematical proofs

BPR - Big proof

UserFenner Tanswell (University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 15:30-16:00

Multi-scale algorithms for simple fluids

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserAnthony Maggs (City of Paris Industrial Physics and Chemistry Higher Educational Institution, (ESPCI)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 15:00-15:40

Combining Machine Learning and Automated Reasoning: Some Training Examples

BPR - Big proof

UserJosef Urban (Czech Technical University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 13:30-14:30

Sampling with non-reversible dynamics

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserMichela Ottobre (Heriot-Watt University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 12:50-13:30

Event-chain algorithms: taming randomness in Monte Carlo methods through irreversibility, factorization and lifting

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserMichel Manon (Orange Lab).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 12:10-12:50

Mining Human Proofs from Machine Proofs

BPR - Big proof

UserPaulo Oliva (Queen Mary University of London; Queen Mary University of London).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 11:00-12:00

How does breaking detailed balance accelerate convergence to equilibrium?

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserRobert Jack (University of Bath).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 11:00-11:40

Piecewise deterministic Markov processes and efficiency gains through exact subsampling for MCMC

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserJoris Bierkens (Delft University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 10:20-11:00

A simple prover in the browser

BPR - Big proof

UserEdward Ayers (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockMonday 17 July 2017, 17:00-17:30

Auto2 prover in Isabelle

BPR - Big proof

UserBohua Zhan (Massachusetts Institute of Technology).

HouseSeminar Room 2, Newton Institute.

ClockMonday 17 July 2017, 16:30-17:00

Evaluating winding numbers through Cauchy indices in Isabelle/HOL

BPR - Big proof

UserWenda Li (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockMonday 17 July 2017, 16:00-16:30

SMTCoq, a plug-in for the trustworthy integration of SAT/SMT solvers into Coq

BPR - Big proof

UserCesare Tinelli (University of Iowa).

HouseSeminar Room 2, Newton Institute.

ClockMonday 17 July 2017, 15:30-16:00

CDSAT: conflict-driven theory combination

BPR - Big proof

UserMaria Paola Bonacina (Università degli Studi di Verona).

HouseSeminar Room 2, Newton Institute.

ClockMonday 17 July 2017, 11:00-12:00

Panel on future directions for Big Proof

BPRW01 - Computer-aided mathematical proof

UserWilliam Timothy Gowers (University of Cambridge); Natarajan Shankar (); Patrick Ion (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 16:00-17:00

Panel on future directions for Big Proof

BPRW01 - Computer-aided mathematical proof

UserWilliam Timothy Gowers (University of Cambridge); Natarajan Shankar (); Patrick Ion (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 14:30-15:30

After Math: Reasoning, Computing, and Proof in the Postwar United States (via Skype)

BPRW01 - Computer-aided mathematical proof

UserStephanie Dick (Harvard University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 13:30-14:30

Proof Archeology: Historical Mathematics from an Interactive Theorem Proving Standpoint

BPRW01 - Computer-aided mathematical proof

UserJacques Fleuriot (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 11:30-12:30

Lightweight and Heavyweight Methods for Integrating Mathematical Libraries

BPRW01 - Computer-aided mathematical proof

UserMichael Kohlhase (Jacobs University Bremen).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 10:00-11:00

The role of explanation in mathematical research

BPRW01 - Computer-aided mathematical proof

UserAlison Pease (University of Dundee).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 09:00-10:00

Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your Proofs

BPRW01 - Computer-aided mathematical proof

UserKatya Komendenskaya (Heriot-Watt University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 16:00-17:00

Accessible Reasoning with Diagrams: Ontology Debugging

BPRW01 - Computer-aided mathematical proof

UserMateja Jamnik (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 14:30-15:30

Formal Verification of Financial Algorithms, Progress and Prospects

BPRW01 - Computer-aided mathematical proof

UserGrant Passmore (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 11:30-12:30

Mining the Archive of Formal Proofs

BPRW01 - Computer-aided mathematical proof

UserTobias Nipkow (Technischen Universität München).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 10:00-11:00

Scaffolds and frames: the MathComp algebra formal library

BPRW01 - Computer-aided mathematical proof

UserGeorges Gonthier (INRIA Saclay - Île-de-France).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 09:00-10:00

Everything's Bigger in Texas: ``The Largest Math Proof Ever''

BPRW01 - Computer-aided mathematical proof

UserMarijn Heule (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 16:00-17:00

The social machine of mathematics

BPRW01 - Computer-aided mathematical proof

UserUrsula Martin (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 14:30-15:30

Hammers and Model Finders, and Beyond

BPRW01 - Computer-aided mathematical proof

UserJasmin Blanchette (INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 11:30-12:30

Metaprogramming with Dependent Type Theory

BPRW01 - Computer-aided mathematical proof

UserLeonardo de Moura (Microsoft Research).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 10:00-11:00

Formally Verified Approximations of Definite Integrals

BPRW01 - Computer-aided mathematical proof

UserAssia Mahboubi (INRIA Saclay - Île-de-France).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 09:00-10:00

Schemas and semantics for Higher Inductive Types

BPRW01 - Computer-aided mathematical proof

UserPeter LeFanu Lumsdaine (Stockholm University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 16:00-17:00

Small Proofs

BPRW01 - Computer-aided mathematical proof

UserDan Licata (Wesleyan University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 14:30-15:30

Homotopy Type Theory in Lean

BPRW01 - Computer-aided mathematical proof

UserFloris van Doorn (Carnegie Mellon University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 11:30-12:30

Logic in univalent type theory

BPRW01 - Computer-aided mathematical proof

UserMartin Escardo (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 10:00-11:00

Impredicative encodings in HoTT

BPRW01 - Computer-aided mathematical proof

UserSteve Awodey (Carnegie Mellon University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 09:00-10:00

Mathematical Knowledge at Scale

BPRW01 - Computer-aided mathematical proof

UserStephen Watt (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 16:00-17:00

Proof Assistants: From Symbolic Logic To Real Mathematics?

BPRW01 - Computer-aided mathematical proof

UserLarry Paulson (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 14:30-15:30

UniMath - its present and its future.

BPRW01 - Computer-aided mathematical proof

UserVladimir Voevodsky (Institute for Advanced Study, Princeton).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 11:30-12:30

Big Conjectures

BPRW01 - Computer-aided mathematical proof

UserThomas Hales (University of Pittsburgh).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 10:00-11:00

International Knowledge Management Trust

BPR - Big proof

UserStephen Watt (University of Waterloo); Patrick Ion (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockSunday 09 July 2017, 14:00-17:00

An Industrially Useful Prover

BPR - Big proof

UserJ Strother Moore (University of Texas at Austin; University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 13:30-14:30

Homotopy Type Theory in Agda

BPR - Big proof

UserDan Licata (Wesleyan University); Kuen-Bang Hou (Favonia) (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 12:00-12:30

Inference in generative models using the Wasserstein distance

SINW01 - Scalable statistical inference

UserChristian Robert (CNRS & Université Paris-Dauphine ).

HouseSeminar Room 1, Newton Institute.

ClockFriday 07 July 2017, 11:45-12:30

The Lean HoTT library

BPR - Big proof

UserFloris van Doorn (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 11:30-12:00

Exact Sampling for Multivariate Diffusions

SINW01 - Scalable statistical inference

UserJose Blanchet (Columbia University; Stanford University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 07 July 2017, 11:00-11:45

The HoTT library in Coq

BPR - Big proof

UserBas Spitters (Aarhus Universitet).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 11:00-11:30

Overview of Unimath

BPR - Big proof

UserBenedikt Ahrens (INRIA Rennes - Bretagne Atlantique); Catherine LELAY (Institute for Advanced Study, Princeton).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 10:00-11:00

Bradley-Terry models for pair-comparison networks: Structure and scalability

SINW01 - Scalable statistical inference

UserDavid Firth (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockFriday 07 July 2017, 09:45-10:30

Langevin MCMC: theory and methods

SINW01 - Scalable statistical inference

UserEric François Moulines (Télécom ParisTech).

HouseSeminar Room 1, Newton Institute.

ClockFriday 07 July 2017, 09:00-09:45

Interpretation of the Calculus of Constructions in dictoses

BPR - Big proof

UserMartin Hofmann (Ludwig-Maximilians-Universität München).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 16:30-17:30

The Discrete Bouncy Particle Sampler

SINW01 - Scalable statistical inference

UserChris Sherlock (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 16:15-17:00

Scalable Monte Carlo inference for state-space models

SINW01 - Scalable statistical inference

UserSinan Yildirim (Sabanci University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 15:30-16:15

Nominal applications of the classifying space of the finitary permutation group

BPR - Big proof

UserUlrik Buchholtz (Technische Universität Darmstadt).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 15:30-16:30

The Correlated Pseudo-Marginal Method

SINW01 - Scalable statistical inference

UserArnaud Doucet (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 14:15-15:00

A Verified ODE Solver and Smale's 14th Problem

BPR - Big proof

UserFabian Immler (Technische Universität München).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 13:40-14:20

Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximation

SINW01 - Scalable statistical inference

UserMatti Vihola (University of Jyväskylä ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 13:30-14:15

Type theory and higher categories

BPR - Big proof

UserChris Kapulkin (University of Western Ontario).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 13:00-13:40

Community recovery in weighted stochastic block models

SINW01 - Scalable statistical inference

UserPo-Ling Loh (University of Wisconsin-Madison).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 11:45-12:30

Detecting radiological anomalies

SINW01 - Scalable statistical inference

UserJames Scott (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 11:00-11:45

Industrial Use of a Mechanical Theorem Prover

BPR - Big proof

UserJ Strother Moore (University of Texas at Austin; University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 11:00-12:00

Mobile Apps and Machine Learning for Improving Healthcare

SINW01 - Scalable statistical inference

UserKatherine Heller (Duke University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 09:45-10:30

Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional data

SINW01 - Scalable statistical inference

UserHelen Zhang (University of Arizona).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 09:00-09:45

Towards Encrypted Inference for Arbitrary Models

SINW01 - Scalable statistical inference

UserLouis Aslett (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 16:15-17:00

Fast Bayesian Boolean Matrix Factorisation

SINW01 - Scalable statistical inference

UserChris Holmes (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 15:30-16:15

Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect models

SINW01 - Scalable statistical inference

UserGareth Roberts (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 14:15-15:00

Exact Bayesian Inference for Big Data: Single- and Multi-Core Approaches

SINW01 - Scalable statistical inference

UserMurray Pollock (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 13:30-14:15

Semi-Automatic Asymptotics in Isabelle/HOL

BPR - Big proof

UserManuel Eberl (Technische Universität München).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 05 July 2017, 13:30-14:30

On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methods

SINW01 - Scalable statistical inference

UserChristophe Andrieu (University of Bristol).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 11:45-12:30

Kinetic energy choice in Hamiltonian/hybrid Monte Carlo

SINW01 - Scalable statistical inference

UserSam Livingstone (University of Bristol).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 11:00-11:45

Validating approximate Bayesian computation on posterior convergence

SINW01 - Scalable statistical inference

UserWentao Li (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 09:45-10:30

Asymptotics of Approximate Bayesian Computation

SINW01 - Scalable statistical inference

UserPaul Fearnhead (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 09:00-09:45

Category theory and functional programming for scalable statistical modelling and computational inference

SINW01 - Scalable statistical inference

UserDarren Wilkinson (Newcastle University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 16:15-17:00

Transferability: as easy as ABC?

SINW01 - Scalable statistical inference

UserKerrie Mengersen (Queensland University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 15:30-16:15

Designing efficient composite likelihoods

SINW01 - Scalable statistical inference

UserCristiano Varin (Università Cà Foscari di Venezia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 14:15-15:00

Coresets for scalable Bayesian logistic regression

SINW01 - Scalable statistical inference

UserTamara Broderick (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 13:30-14:15

Classical Analysis in Lean & Isabelle

BPR - Big proof

UserJohannes Hölzl (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 04 July 2017, 13:00-14:00

tba

SINW01 - Scalable statistical inference

UserJun Liu (Harvard University; Harvard University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 11:45-12:30

Comparing Consensus Monte Carlo Strategies for Distributed Bayesian Computation

SINW01 - Scalable statistical inference

UserSteven Scott (Google).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 11:00-11:45

Computational Higher-Dimensional Type Theory

BPR - Big proof

UserKuen-Bang Hou (Favonia) (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 04 July 2017, 10:30-11:30

Unbiased approximations of products of expectations

SINW01 - Scalable statistical inference

UserAnthony Lee (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 09:45-10:30

Variational, Hamiltonian and Symplectic Perspectives on Acceleration

SINW01 - Scalable statistical inference

UserMichael Jordan (University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 09:00-09:45

Inference Algorithms

BPR - Big proof

UserNatarajan Shankar (SRI International).

HouseSeminar Room 2, Newton Institute.

ClockMonday 03 July 2017, 16:30-17:30

Scalable statistical inference with INLA

SINW01 - Scalable statistical inference

UserHavard Rue (Norwegian University of Science and Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 03 July 2017, 16:15-17:00

Inference with approximate likelihoods

SINW01 - Scalable statistical inference

UserHelen Ogden (University of Southampton).

HouseSeminar Room 1, Newton Institute.

ClockMonday 03 July 2017, 15:30-16:15

Proof Automation - Automation in Isabelle's Analysis

BPR - Big proof

UserJohannes Hölzl (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockMonday 03 July 2017, 15:30-16:30

Monte Carlo without rejection

SINW01 - Scalable statistical inference

UserAlexandre Bouchard (University of British Columbia).

HouseSeminar Room 1, Newton Institute.

ClockMonday 03 July 2017, 14:15-15:00

Data compression with statistical guarantees

SINW01 - Scalable statistical inference

UserSylvia Richardson (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockMonday 03 July 2017, 13:30-14:15

Synthetic topology in Homotopy Type Theory for probabilistic programming

BPR - Big proof

UserBas Spitters (Aarhus Universitet).

HouseSeminar Room 2, Newton Institute.

ClockMonday 03 July 2017, 11:00-12:00

Left-orderability and 3-manifold groups: Rothschild Lecture

HTLW04 - Quantum topology and categorified representation theory

UserCameron Gordon (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockFriday 30 June 2017, 15:00-16:00

A tutorial introduction to Agda

BPR - Big proof

UserAndreas Abel (Göteborgs Universitet).

HouseSeminar Room 2, Newton Institute.

ClockFriday 30 June 2017, 11:00-12:00

A tutorial introduction to the PVS proof assistant

BPR - Big proof

UserNatarajan Shankar (SRI International).

HouseSeminar Room 2, Newton Institute.

ClockFriday 30 June 2017, 10:00-11:00

Quantum Annular Link Homology via Trace Functor

HTLW04 - Quantum topology and categorified representation theory

UserAnna Beliakova (Universität Zürich).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 16:00-17:00

HoTT research seminar (Coquand & Rijke)

BPR - Big proof

UserAndrew Pitts (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockThursday 29 June 2017, 15:30-17:30

Towards a categorical boson-fermion correspondence

HTLW04 - Quantum topology and categorified representation theory

UserYian Tian (Tsinghua University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 14:30-15:30

Some webs and q-Howe dualities in types BCD

HTLW04 - Quantum topology and categorified representation theory

UserDaniel Tubbenhauer (Universität Bonn).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 13:30-14:30

Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ring

HTLW04 - Quantum topology and categorified representation theory

UserRadmila Sazdanovic (North Carolina State University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 11:30-12:30

The Lean Theorem Prover

BPR - Big proof

UserJeremy Avigad (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 29 June 2017, 11:00-12:00

2-Verma modules and the Khovanov-Rozansky link homologies

HTLW04 - Quantum topology and categorified representation theory

UserPedro Vaz (Université Catholique de Louvain ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 10:00-11:00

Categorical diagonalization

HTLW04 - Quantum topology and categorified representation theory

UserMatthew Hogancamp (University of Southern California).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 28 June 2017, 11:30-12:30

Effectivity and Complexity Results in Hilbert's 17th problem Marie-Françoise Roy Université de Rennes 1, France

BPR - Big proof

UserMarie-Françoise Roy (Université de Rennes 1; Université de Rennes 1).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 28 June 2017, 11:00-12:00

Categorified knot invariants and algebraic geometry

HTLW04 - Quantum topology and categorified representation theory

UserAndrei Negut (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 28 June 2017, 10:00-11:00

On colored link homologies

HTLW04 - Quantum topology and categorified representation theory

UserPaul Wedrich (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 16:00-17:00

Representation theory and the Coulomb branch

HTLW04 - Quantum topology and categorified representation theory

UserBen Webster (University of Virginia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 14:30-15:30

Using Agda to Explore Path-Oriented Models of Type Theory

BPR - Big proof

UserAndrew Pitts (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 27 June 2017, 13:30-14:30

An Upsilon-like invariant from Khovanov-Rozansky homology

HTLW04 - Quantum topology and categorified representation theory

UserLukas Lewark (Universität Bern).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 13:30-14:30

Introduction to p-dg 2-representation theory

HTLW04 - Quantum topology and categorified representation theory

UserVanessa Miemietz (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 11:30-12:30

Univalent type theory and modular formalisation of mathematics

BPR - Big proof

UserThierry Coquand (Göteborgs Universitet).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 27 June 2017, 11:00-12:00

How to categorify the ring of integers localized at two

HTLW04 - Quantum topology and categorified representation theory

UserMikhail Khovanov (Columbia University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 10:00-11:00

Around Chebyshev's polynomial and the skein algebra of the torus

HTLW04 - Quantum topology and categorified representation theory

UserHoel Queffelec (CNRS (Centre national de la recherche scientifique); Université de Montpellier).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 16:00-17:00

Traces, current algebras, and link homologies

HTLW04 - Quantum topology and categorified representation theory

UserDavid Rose (University of North Carolina ).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 14:30-15:30

Hall algebras and Fukaya categories

HTLW04 - Quantum topology and categorified representation theory

UserPeter Samuelson (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 13:30-14:30

Lattices and Homological Algebra

HTLW04 - Quantum topology and categorified representation theory

UserZsuzsanna Dancso (University of Sydney).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 11:30-12:30

The Big Proof Agenda for Mechanizing Mathematical Discourse

BPR - Big proof

UserNatarajan Shankar (SRI International).

HouseSeminar Room 2, Newton Institute.

ClockMonday 26 June 2017, 11:00-12:00

Non semisimple TQFTs from quantum sl(2)

HTLW04 - Quantum topology and categorified representation theory

UserChristian Blanchet (Université Denis Diderot).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 10:00-11:00

The borders of Outer space

NPCW05 - Group actions and cohomology in non-positive curvature

UserKaren Vogtmann (University of Warwick; Cornell University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 14:30-15:30

Topology of ends of nonpositively curved manifolds

NPCW05 - Group actions and cohomology in non-positive curvature

UserGrigori Avramidi (Universität Münster).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 13:30-14:30

Free-by-cyclic groups and trees

NPCW05 - Group actions and cohomology in non-positive curvature

UserChristopher Leininger (University of Illinois at Chicago).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 11:30-12:30

Action dimension and L^2 Cohomology

NPCW05 - Group actions and cohomology in non-positive curvature

UserKevin Schreve (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 10:00-11:00

The dynamics of classifying geometric structures

NPCW05 - Group actions and cohomology in non-positive curvature

UserBill Goldman (University of Maryland).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 09:00-10:00

Extending group actions on metric spaces

NPCW05 - Group actions and cohomology in non-positive curvature

UserDenis Osin (Vanderbilt University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 22 June 2017, 16:00-17:00

Hyperbolic groups with boundary an n-dimensional Sierpinski space

NPCW05 - Group actions and cohomology in non-positive curvature

UserJean-Francois Lafont (Ohio State University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 22 June 2017, 14:30-15:30

Vanishing simplicial volume for certain affine manifolds

NPCW05 - Group actions and cohomology in non-positive curvature

UserMichelle Bucher (Université de Genève).

HouseSeminar Room 1, Newton Institute.

ClockThursday 22 June 2017, 11:30-12:30

Please see above for contact details for this list.

 

© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity