COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
Isaac Newton Institute Seminar Series
Add to your list(s)
Send you e-mail reminders
Further detail
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. 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 Alexander Korobkin (University of East Anglia). Seminar Room 2, Newton Institute. Monday 20 November 2017, 14:30-16:30 Around unbalanced optimal transport: fluid dynamic, growth model, applications.GFSW03 - Shape analysis and computational anatomy François-Xavier Vialard (Université Paris-Dauphine; INRIA Paris - Rocquencourt). Seminar Room 1, Newton Institute. Friday 17 November 2017, 14:00-14:45 3D normal coordinate systems for the cortex: applications in the deafened cortices in babies, adults and catsGFSW03 - Shape analysis and computational anatomy Tilak Ratnanather (Johns Hopkins University). Seminar Room 1, Newton Institute. Friday 17 November 2017, 11:30-12:15 Shell Shape of SnailsGFSW03 - Shape analysis and computational anatomy Jenny Larsson (University of Sheffield). Seminar Room 1, Newton Institute. Friday 17 November 2017, 11:00-11:30 The Morphology of Cellular MotilityGFSW03 - Shape analysis and computational anatomy Kirsty Wan (University of Cambridge). Seminar Room 1, Newton Institute. Friday 17 November 2017, 09:45-10:30 Measuring shape change by registrationGFSW03 - Shape analysis and computational anatomy Mads Nielsen (University of Copenhagen; Københavns Universitet (University of Copenhagen)). Seminar Room 1, Newton Institute. Friday 17 November 2017, 09:00-09:45 Machine Learning Approaches for Deformable Image RegistrationGFSW03 - Shape analysis and computational anatomy Marc Niethammer (University of North Carolina ). Seminar Room 1, Newton Institute. Thursday 16 November 2017, 16:00-16:45 Distortion minimizing geodesic subspaces on shape ensemblesGFSW03 - Shape analysis and computational anatomy Alain Trouve (CNRS - Ecole Normale Superieure Paris). Seminar Room 1, Newton Institute. Thursday 16 November 2017, 14:45-15:30 Statistical Inference in Nonlinear Spaces via Maximum Likelihood and Diffusion Bridge SimulationGFSW03 - Shape analysis and computational anatomy Stefan Sommer (Københavns Universitet (University of Copenhagen)). Seminar Room 1, Newton Institute. Thursday 16 November 2017, 14:00-14:45 How to deform and shake images?GFSW03 - Shape analysis and computational anatomy Alexis Arnaudon (Imperial College London). Seminar Room 1, Newton Institute. Thursday 16 November 2017, 11:30-12:15 Learning distributions of shape trajectories: a hierarchical model on a manifold of diffeomorphismsGFSW03 - Shape analysis and computational anatomy Alexandre Bône (INSERM; INRIA; Université Pierre & Marie Curie-Paris VI ). Seminar Room 1, Newton Institute. Thursday 16 November 2017, 11:00-11:30 Template shape estimation: correcting an asymptotic biasGFSW03 - Shape analysis and computational anatomy Nina Miolane (INRIA). Seminar Room 1, Newton Institute. Thursday 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 Laurent Younes (Johns Hopkins University). Seminar Room 1, Newton Institute. Thursday 16 November 2017, 09:00-09:45 Monotone properties of Barzilai-Borwein MethodVMV - Variational methods and effective algorithms for imaging and vision Ya-xiang Yuan (). Seminar Room 2, Newton Institute. Wednesday 15 November 2017, 15:00-16:00 The elastic metric for surfaces and its useGFSW03 - Shape analysis and computational anatomy Ian Jermyn (Durham University). Seminar Room 1, Newton Institute. Wednesday 15 November 2017, 11:30-12:15 Reconstructing leaf morphogenesis using two-dimensional shape analysisGFSW03 - Shape analysis and computational anatomy Arezki Boudaoud (). Seminar Room 1, Newton Institute. Wednesday 15 November 2017, 11:00-11:30 Bayesian analysis of object data using Top Space and Quotient Space modelsGFSW03 - Shape analysis and computational anatomy Ian Dryden (University of Nottingham). Seminar Room 1, Newton Institute. Wednesday 15 November 2017, 09:45-10:30 How organisms shape themselves: using geometric morphometrics for understanding evolution and developmentGFSW03 - Shape analysis and computational anatomy Chris Klingenberg (University of Manchester). Seminar Room 1, Newton Institute. Wednesday 15 November 2017, 09:00-09:45 Geometrical Growth Models for Computational AnatomyGFSW03 - Shape analysis and computational anatomy Irene Kaltenmark (Aix Marseille Université). Seminar Room 1, Newton Institute. Tuesday 14 November 2017, 16:00-16:45 Interaction of wave with a body floating on a wide polynyaSIP - Mathematics of sea ice phenomena Guo Xiong Wu (University College London; University College London). Seminar Room 2, Newton Institute. Tuesday 14 November 2017, 15:00-16:30 Shape analysis through a deformation priorGFSW03 - Shape analysis and computational anatomy Barbara Gris (KTH - Royal Institute of Technology ). Seminar Room 1, Newton Institute. Tuesday 14 November 2017, 14:45-15:30 Differential invariants for the actions of planar Lie groupsGFSW03 - Shape analysis and computational anatomy Stephen Marsland (Massey University). Seminar Room 1, Newton Institute. Tuesday 14 November 2017, 14:00-14:45 On loss of form in cancer growthGFSW03 - Shape analysis and computational anatomy Krastan Blagoev (National Science Foundation; Johns Hopkins University). Seminar Room 1, Newton Institute. Tuesday 14 November 2017, 11:30-12:15 Incompressible limit of a mechanical models for tissue growthGFSW03 - Shape analysis and computational anatomy Sophie Hecht (Imperial College London). Seminar Room 1, Newton Institute. Tuesday 14 November 2017, 11:00-11:30 Accelerated optimization on manifoldsGFSW03 - Shape analysis and computational anatomy Ganesh Sundaramoorthi (King Abdullah University of Science and Technology (KAUST)). Seminar Room 1, Newton Institute. Tuesday 14 November 2017, 09:45-10:30 Bridge Simulation and Metric Estimation on Lie Groups and Orbit SpacesGFSW03 - Shape analysis and computational anatomy Sarang Joshi (University of Utah). Seminar Room 1, Newton Institute. Tuesday 14 November 2017, 09:00-09:45 Towards a geometric variational discretization of compressible fluid dynamicsGFSW03 - Shape analysis and computational anatomy François Gay-Balmaz (CNRS - Ecole Normale Superieure Paris). Seminar Room 1, Newton Institute. Monday 13 November 2017, 16:00-16:45 Morphoelasticity and the Geometry of GrowthGFSW03 - Shape analysis and computational anatomy Alain Goriely (University of Oxford; University of Oxford). Seminar Room 1, Newton Institute. Monday 13 November 2017, 14:45-15:30 Riemannian Gradient Flows in Shape AnalysisGFSW03 - Shape analysis and computational anatomy Klas Modin (Chalmers University of Technology). Seminar Room 1, Newton Institute. Monday 13 November 2017, 14:00-14:45 tbaGFSW03 - Shape analysis and computational anatomy . Seminar Room 1, Newton Institute. Monday 13 November 2017, 11:30-12:15 An efficient kernel product for automatic differentiation libraries, with applications to measure transportGFSW03 - Shape analysis and computational anatomy Jean Feydy (École Normale Supérieure; ENS de Cachan). Seminar Room 1, Newton Institute. Monday 13 November 2017, 11:00-11:30 General Sobolev metrics on the manifold of all Riemannian metricsGFSW03 - Shape analysis and computational anatomy Peter Michor (Universität Wien; Universität Wien). Seminar Room 1, Newton Institute. Monday 13 November 2017, 09:45-10:30 Discontinuous Galerkin method for numerical simulation of ice flow impact on vertical cylinder offshore structureSIPW03 - Ice-structure interaction Vladislav Miryaha (Moscow Institute of Physics and Technology). Seminar Room 1, Newton Institute. Friday 10 November 2017, 15:00-15:30 Generation of wave motion in fluid with inhomogeneous ice coverSIPW03 - Ice-structure interaction Izolda Sturova (Lavrentyev Institute of Hydrodynamics). Seminar Room 1, Newton Institute. Friday 10 November 2017, 14:30-15:00 DEM modelling of wave-induced floe-floe (and floe-structure) collisionsSIPW03 - Ice-structure interaction Agnieszka Herman (University of Gdansk). Seminar Room 1, Newton Institute. Friday 10 November 2017, 13:30-14:30 Discrete Element Simulation of Ice-Structure InteractionSIPW03 - Ice-structure interaction Jukka Tuhkuri (Aalto University); Arttu Polojarvi (Aalto University). Seminar Room 1, Newton Institute. Friday 10 November 2017, 11:30-12:30 Determining global ice loads on offshore structuresSIPW03 - Ice-structure interaction Renate van Vliet (Shell Global Solutions; Delft University of Technology). Seminar Room 1, Newton Institute. Friday 10 November 2017, 10:00-11:00 Using DEM to model ice sheets and structuresSIPW03 - Ice-structure interaction Mark Hopkins (U.S. Army Research Laboratory). Seminar Room 1, Newton Institute. Friday 10 November 2017, 09:00-10:00 Modelling Brittle Failure of IceSIPW03 - Ice-structure interaction Kari Kolari (VTT Technical Research Centre of Finland). Seminar Room 1, Newton Institute. Thursday 09 November 2017, 16:00-17:00 Geometric control of active matterGFS - Growth form and self-organisation Francis Woodhouse (University of Cambridge). Seminar Room 2, Newton Institute. Thursday 09 November 2017, 15:00-16:30 Probabilistic aspects of multi-element systems failureSIPW03 - Ice-structure interaction Dmitry Onishchenko (Gazprom VNIIGAZ; Ishlinsky Institute for Problems in Mechanics RAS ). Seminar Room 1, Newton Institute. Thursday 09 November 2017, 14:30-15:30 Ice-induced vibrations in offshore structures: coupled dynamic ice-structure interactions over multiple scalesSIPW03 - Ice-structure interaction Rocky Taylor (Centre for Arctic Resource Development (CARD); Memorial University of Newfoundland). Seminar Room 1, Newton Institute. Thursday 09 November 2017, 13:30-14:30 Passive, nanoengineered anti-icing: An experimental perspectiveSIPW03 - Ice-structure interaction Manish Tiwari (University College London). Seminar Room 1, Newton Institute. Thursday 09 November 2017, 10:00-11:00 Impacts, ice growth and related modellingSIPW03 - Ice-structure interaction Frank Thomas Smith (University College London). Seminar Room 1, Newton Institute. Thursday 09 November 2017, 09:00-10:00 A convexity based method for approximation and interpolation of sampled functionsVMV - Variational methods and effective algorithms for imaging and vision Kewei Zhang (University of Nottingham). Seminar Room 1, Newton Institute. Wednesday 08 November 2017, 15:30-16:30 Correlation of local ice forces across the width of a structure during ice-structure interactionSIPW03 - Ice-structure interaction Devinder Sodhi (U.S. Army Research Laboratory). Seminar Room 1, Newton Institute. Wednesday 08 November 2017, 11:30-12:30 Effect of uncertainties in ice loading on design of Arctic installationsSIPW03 - Ice-structure interaction Kenneth Johannessen Eik (Statoil Research Centre). Seminar Room 1, Newton Institute. Wednesday 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 Andrew Palmer (National University of Singapore). Seminar Room 1, Newton Institute. Wednesday 08 November 2017, 09:00-10:00 Nonlinear numerical modeling of impact loads of ship sections and floating iceSIPW03 - Ice-structure interaction Kevin Maki (University of Michigan). Seminar Room 1, Newton Institute. Tuesday 07 November 2017, 16:00-17:00 Safer Operations in the Sea Ice-covered Oceans: The Tale of the Two ProjectsSIPW03 - Ice-structure interaction Yevgeny Aksenov (National Oceanography Centre, Southampton). Seminar Room 1, Newton Institute. Tuesday 07 November 2017, 14:30-15:30 Hydroelastic waves and their interaction with structuresSIPW03 - Ice-structure interaction Alexander Korobkin (University of East Anglia). Seminar Room 1, Newton Institute. Tuesday 07 November 2017, 13:30-14:30 Influence of broken ice on marine operations – identification of important processesSIPW03 - Ice-structure interaction Robert Bridges (Total E&P UK Limited). Seminar Room 1, Newton Institute. Tuesday 07 November 2017, 11:30-12:30 Shape Analysis — An Introduction to Its Ideas, Methods and QuestionsGFS - Growth form and self-organisation Martins Bruveris (Brunel University). Seminar Room 2, Newton Institute. Tuesday 07 November 2017, 11:00-12:00 Design and Assessment Methods for Ships in IceSIPW03 - Ice-structure interaction Claude Daley (Memorial University of Newfoundland). Seminar Room 1, Newton Institute. Tuesday 07 November 2017, 10:00-11:00 Theoretical modelling of ship-ice interactionSIPW03 - Ice-structure interaction Kaj Riska (Total E&P UK Limited; NTNU). Seminar Room 1, Newton Institute. Tuesday 07 November 2017, 09:00-10:00 Thermo-mechanical loads of sea ice on structuresSIPW03 - Ice-structure interaction Aleksey Marchenko (University Centre in Svalbard (UNIS)). Seminar Room 1, Newton Institute. Monday 06 November 2017, 16:00-17:00 Ice-induced vibrations of offshore structures: physics of the process, modelling and remaining challengesSIPW03 - Ice-structure interaction Andrei Metrikine (Technische Universiteit Delft; Norwegian University of Science and Technology); Hayo Hendrikse (Technische Universiteit Delft). Seminar Room 1, Newton Institute. Monday 06 November 2017, 14:30-15:30 Structure-property relationships for sea ice: Modeling and experimental validationSIPW03 - Ice-structure interaction David Cole (U.S. Army Research Laboratory). Seminar Room 1, Newton Institute. Monday 06 November 2017, 13:30-14:30 Ice-structure interaction in the Sakhalin-II (Sea of Okhotsk) and Kashagan (NE Caspian) projectSIPW03 - Ice-structure interaction Paul Verlaan (Shell Global Solutions). Seminar Room 1, Newton Institute. Monday 06 November 2017, 11:30-12:30 Friction of Sea IceSIPW03 - Ice-structure interaction Erland Schulson (Dartmouth College). Seminar Room 1, Newton Institute. Monday 06 November 2017, 10:00-11:00 The weighted p-Laplacian and semi-supervised learningVMVW02 - Generative models, parameter learning and sparsity Jeff Calder (University of Minnesota). Seminar Room 1, Newton Institute. Friday 03 November 2017, 14:50-15:40 Sparse Recovery Algorithms for 3D Imaging using Point Spread Function EngineeringVMVW02 - Generative models, parameter learning and sparsity Robert Plemmons (Wake Forest University). Seminar Room 1, Newton Institute. Friday 03 November 2017, 14:00-14:50 From spatial learning to machine learning: an unsupervised approach with applications to behavioral scienceVMVW02 - Generative models, parameter learning and sparsity Mihaela Pricop-jeckstadt (Technische Universität Dresden). Seminar Room 1, Newton Institute. Friday 03 November 2017, 12:00-12:50 A Nuclear-norm Model for Multi-Frame Super-resolution ReconstructionVMVW02 - Generative models, parameter learning and sparsity Raymond Chan (Chinese University of Hong Kong). Seminar Room 1, Newton Institute. Friday 03 November 2017, 11:10-12:00 Analysis and applications of structural-prior-based total variation regularization for inverse problemsVMVW02 - Generative models, parameter learning and sparsity Martin Holler (University of Graz). Seminar Room 1, Newton Institute. Friday 03 November 2017, 09:50-10:40 Alternating projections for phase retrieval with random sensing vectorsVMVW02 - Generative models, parameter learning and sparsity Irene Waldspurger (Université Paris-Dauphine; INRIA Paris - Rocquencourt). Seminar Room 1, Newton Institute. Friday 03 November 2017, 09:00-09:50 What do regularisers do?VMVW02 - Generative models, parameter learning and sparsity Tuomo Valkonen (University of Liverpool). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 17:20-18:10 Structured compressed sensing and recent theoretical advances on optimal samplingVMVW02 - Generative models, parameter learning and sparsity Claire Boyer (Université Pierre et Marie Curie Paris). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 16:30-17:20 Cell detection by functional inverse diffusion and group sparsityVMVW02 - Generative models, parameter learning and sparsity Pol del Aguila Pla (KTH - Royal Institute of Technology ). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 15:40-16:00 Bayesian analysis and computation for convex inverse problems: theory, methods, and algorithmsVMVW02 - Generative models, parameter learning and sparsity Marcelo Pereyra (Heriot-Watt University). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 14:50-15:40 Divide and Conquer: Patch-based Image Denoising, Restoration, and BeyondVMVW02 - Generative models, parameter learning and sparsity Mario Figueiredo (Universidade de Lisboa; Instituto Superior Técnico, Lisboa). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 14:00-14:50 Parametric representation in shape optimizationSIP - Mathematics of sea ice phenomena Beniamin Bogosel (CNRS (Centre national de la recherche scientifique); École Polytechnique). Seminar Room 2, Newton Institute. Thursday 02 November 2017, 13:00-14:15 Stochastic geometry for automatic object detection and trackingVMVW02 - Generative models, parameter learning and sparsity Josiane Zerubia (INRIA Sophia Antipolis). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 12:00-12:50 On computational barriers in data science and the paradoxes of deep learningVMVW02 - Generative models, parameter learning and sparsity Anders Hansen (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 11:10-12:00 Generating sampling patterns in MRIVMVW02 - Generative models, parameter learning and sparsity Pierre Weiss (Université de Toulouse). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 09:50-10:40 Krylov Subspace Methods for Sparse ReconstructionVMVW02 - Generative models, parameter learning and sparsity Silvia Gazzola (University of Bath). Seminar Room 1, Newton Institute. Thursday 02 November 2017, 09:00-09:50 Sparse Recovery by l0 PenaltyVMVW02 - Generative models, parameter learning and sparsity Bangti Jin (University College London). Seminar Room 1, Newton Institute. Wednesday 01 November 2017, 12:00-12:50 High-Dimensional Mixture Models For Unsupervised Image Denoising (HDMI)VMVW02 - Generative models, parameter learning and sparsity Julie Delon (Université Paris Descartes). Seminar Room 1, Newton Institute. Wednesday 01 November 2017, 11:10-12:00 Convolutional Neural Networks on GraphsVMVW02 - Generative models, parameter learning and sparsity Xavier Bresson (Nanyang Technological University). Seminar Room 1, Newton Institute. Wednesday 01 November 2017, 09:50-10:40 Below the Surface of the Non-Local Bayesian Image Denoising MethodVMVW02 - Generative models, parameter learning and sparsity Mila Nikolova (CNRS (Centre national de la recherche scientifique); ENS de Cachan). Seminar Room 1, Newton Institute. Wednesday 01 November 2017, 09:00-09:50 Learning iterative reconstruction for high resolution photoacoustic tomographyVMVW02 - Generative models, parameter learning and sparsity Andreas Hauptmann (University College London). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 17:20-18:10 Advancements in Hybrid Iterative Methods for Inverse ProblemsVMVW02 - Generative models, parameter learning and sparsity Julianne Chung (Virginia Polytechnic Institute and State University). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 16:30-17:20 Learned forward operators: Variational regularization for black-box modelsVMVW02 - Generative models, parameter learning and sparsity Jonas Adler (KTH - Royal Institute of Technology ). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 15:40-16:00 Breaking the Curse of Dimensionality with Convex Neural NetworksVMVW02 - Generative models, parameter learning and sparsity Francis Bach (INRIA Paris - Rocquencourt; ENS - Paris). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 14:50-15:40 The tensor graphical lasso (Teralasso)VMVW02 - Generative models, parameter learning and sparsity Alfred Hero (University of Michigan). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 14:00-14:50 Nonlinear Eigenanalysis of sparsity-promoting regularisation operatorsVMVW02 - Generative models, parameter learning and sparsity Martin Benning (University of Cambridge). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 12:00-12:50 Accelerated Free-Form Model Discovery of Interpretable Models using Small DataVMVW02 - Generative models, parameter learning and sparsity Lior Horesh (IBM Research). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 11:10-12:00 Task Oriented Reconstruction using Deep LearningVMVW02 - Generative models, parameter learning and sparsity Ozan Öktem (KTH - Royal Institute of Technology ; Karolinska Institute). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 09:50-10:40 Denoising Geometric Image FeaturesVMVW02 - Generative models, parameter learning and sparsity Stacey Levine (Duquesne University). Seminar Room 1, Newton Institute. Tuesday 31 October 2017, 09:00-09:50 Structured solutions to nonlinear systems of equationsVMVW02 - Generative models, parameter learning and sparsity Justin Romberg (Georgia Institute of Technology). Seminar Room 1, Newton Institute. Monday 30 October 2017, 17:20-18:10 Geometry and Topology of Neural Network OptimizationVMVW02 - Generative models, parameter learning and sparsity Joan Bruna (New York University; University of California, Berkeley). Seminar Room 1, Newton Institute. Monday 30 October 2017, 16:30-17:20 Enhancing fMRI Reconstruction by Means of the ICBTV-Regularisation Combined with Suitable Subsampling Strategies and Temporal SmoothingVMVW02 - Generative models, parameter learning and sparsity Eva-Maria Brinkmann (Westfalische Wilhelms-Universitat Munster; Westfalische Wilhelms-Universitat Munster). Seminar Room 1, Newton Institute. Monday 30 October 2017, 15:40-16:00 Optimal Approximation with Sparsely Connected Deep Neural NetworksVMVW02 - Generative models, parameter learning and sparsity Gitta Kutyniok (Technische Universität Berlin). Seminar Room 1, Newton Institute. Monday 30 October 2017, 14:50-15:40 PDE-based Algorithms for Convolution Neural NetworkVMVW02 - Generative models, parameter learning and sparsity Lars Ruthotto (Emory University). Seminar Room 1, Newton Institute. Monday 30 October 2017, 14:00-14:50 Cancer ID - From Spectral Segmentation to Deep LearningVMVW02 - Generative models, parameter learning and sparsity Christoph Brune (Universiteit Twente). Seminar Room 1, Newton Institute. Monday 30 October 2017, 12:00-12:50 tbaVMVW02 - Generative models, parameter learning and sparsity Eldad Haber (University of British Columbia). Seminar Room 1, Newton Institute. Monday 30 October 2017, 11:10-12:00 Spectral Computed TomographyVMVW02 - Generative models, parameter learning and sparsity James Nagy (Emory University). Seminar Room 1, Newton Institute. Monday 30 October 2017, 09:50-10:40 Denoising geometric image featuresVMV - Variational methods and effective algorithms for imaging and vision Stacey Levine (Duquesne University). Seminar Room 1, Newton Institute. Thursday 26 October 2017, 15:30-16:30 Graph Methods for Manifold-valued DataVMV - Variational methods and effective algorithms for imaging and vision Daniel Tenbrinck (Universität Münster). Seminar Room 2, Newton Institute. Friday 20 October 2017, 10:00-11:00 The Complexity of Motion in Medical Imaging: From Theory to PracticeTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Angelica I. Aviles-Rivero (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 16:40-17:00 Patient-specific Biomechanical Modelling in the Development of Cardiovascular DiseaseTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Yuan Huang (Centre for Mathematical Imaging in Healthcare). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 16:20-16:40 Using Machine Learning to Accelerate Treatment Workflows in Radiation OncologyTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Raj Jena (Cambridge University Hospitals ). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 15:45-16:20 IntroductionTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Carola-Bibiane Schönlieb (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 15:40-15:45 QuestionsTGMW48 - Developments in Healthcare Imaging - Connecting with Industry . Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 15:10-15:15 Functional Respiratory Imaging: The Story of a Growing ChildTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Wim Vos (FluidDa). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 14:35-15:10 From Analysis Method to Quantitative Imaging BiomarkersTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Sarah Lee (Independent Consultant). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 14:20-14:35 Routes to Market Introduction for a Promising Imaging BiomarkerTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Elizabeth Berry (Elizabeth Berry Ltd). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 14:05-14:20 IntroductionTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Fred Wilson (GlaxoSmithKline). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 14:00-14:05 MedIAN (Medical Image Analysis Network) - Collaborating Across DisciplinesTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Ben Glocker (Imperial College London). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 12:45-13:00 Collaborations on Imaging – The Medimmune’s Innovative WayTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Jerry Wu (MedImmune). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 12:35-12:45 Digital Innovation for Imaging AgentsTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Chris Foley (GE Healthcare). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 12:25-12:35 New Technology Can Transform Low-cost MicroscopyTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Richard Williams (ioLight). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 12:15-12:25 Intraoperative Molecular Imaging in Cancer SurgeryTGMW48 - Developments in Healthcare Imaging - Connecting with Industry David Tuch (Lightpoint Medical). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 12:05-12:15 Challenges for Machine Learning in Clinical Decision Support : Focus on StrokeTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Ian Poole (Toshiba Medical Visualisation Systems Europe Ltd). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 11:10-11:45 Statistical Framework for Modelling Inter-object Relationships in Multi Object Image AnalysisTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Surajit Ray (University of Glasgow). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 10:35-11:10 IntroductionTGMW48 - Developments in Healthcare Imaging - Connecting with Industry . Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 10:30-10:35 Welcome, Introduction & Update from the Centre for Mathematical Imaging in HealthcareTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Carola-Bibiane Schönlieb (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 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 2017SIP - Mathematics of sea ice phenomena David Schroeder (University of Reading). Seminar Room 2, Newton Institute. Tuesday 17 October 2017, 15:00-16:30 How competition for light and wind resistance shape tree formsGFS - Growth form and self-organisation Christophe Eloy (École centrale de Marseille; Institut de Recherche sur les Phénomènes Hors Equilibre). Seminar Room 2, Newton Institute. Thursday 12 October 2017, 15:00-16:30 Joint Motion Estimation and Image Reconstruction for Dynamic X-ray TomographyVMV - Variational methods and effective algorithms for imaging and vision Lena Frerking (Universität Münster). Seminar Room 1, Newton Institute. Thursday 12 October 2017, 11:00-12:00 Rothschild Lecture: On Growth and Form and Mathematics: Reading d'Arcy Thompson 100 Years OnGFS - Growth form and self-organisation Alain Goriely (University of Oxford). Seminar Room 1, Newton Institute. Tuesday 10 October 2017, 17:00-18:00 Learning Invariants and Representation Spaces of Shapes and FormsVMV - Variational methods and effective algorithms for imaging and vision Ron Kimmel (Technion - Israel Institute of Technology). Seminar Room 2, Newton Institute. Friday 06 October 2017, 15:30-16:30 On acoustic-gravity waves in arctic zones with elastic ice-sheetsSIPW02 - Ice-fluid interaction Usama Kadri (Cardiff University; Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Friday 06 October 2017, 14:15-15:00 Degrees of freedom in the marginal ice zone's wave--ice systemSIPW02 - Ice-fluid interaction Johannes E. M. Mosig (University of Otago). Seminar Room 1, Newton Institute. Friday 06 October 2017, 13:30-14:15 Experimental study on dead water resistance of ice floe in a two-layer fluidSIPW02 - Ice-fluid interaction Ying Gou (Dalian University of Technology). Seminar Room 1, Newton Institute. Friday 06 October 2017, 11:45-12:30 Fully dispersive nonlinear model equations for hydroelastic wavesSIPW02 - Ice-fluid interaction Henrik Kalisch (Universitetet i Bergen). Seminar Room 1, Newton Institute. Friday 06 October 2017, 11:00-11:45 Impact of supercooled droplets on nanoengineered surfacesSIPW02 - Ice-fluid interaction Manish Tiwari (University College London). Seminar Room 1, Newton Institute. Friday 06 October 2017, 09:45-10:30 Shear flow over patches of flexible surface and related near-surface interactionsSIPW02 - Ice-fluid interaction Frank Thomas Smith (University College London). Seminar Room 1, Newton Institute. Friday 06 October 2017, 09:00-09:45 Ship-ice-fluid interaction studies on ice resistance of shipsSIPW02 - Ice-fluid interaction Jorma Kämäräinen (Finnish Transport Safety Agency). Seminar Room 1, Newton Institute. Thursday 05 October 2017, 15:30-16:15 Dynamic pattern evolution in growing bacterial coloniesGFS - Growth form and self-organisation Jay Tang (Brown University). Seminar Room 2, Newton Institute. Thursday 05 October 2017, 15:00-16:30 Interactions between phase change and boundary layer structureSIPW02 - Ice-fluid interaction Alena Malyarenko (University of Otago). Seminar Room 1, Newton Institute. Thursday 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 Stephen Ackley (University of Texas at San Antonio). Seminar Room 1, Newton Institute. Thursday 05 October 2017, 13:30-14:15 Waves and moving loads along frozen channelsSIPW02 - Ice-fluid interaction Tatiana Khabakhpasheva (University of East Anglia; Lavrentyev Institute of Hydrodynamics). Seminar Room 1, Newton Institute. Thursday 05 October 2017, 11:45-12:30 Underwater noise under ice conditions: from the ice chorus to the environmental challengeSIPW02 - Ice-fluid interaction Thomas Folegot (Quiet-Oceans). Seminar Room 1, Newton Institute. Thursday 05 October 2017, 11:00-11:45 Variational existence and stability theory for hydroelastic solitary wavesSIPW02 - Ice-fluid interaction Mark Groves (Universität des Saarlandes ; Loughborough University ). Seminar Room 1, Newton Institute. Thursday 05 October 2017, 09:45-10:30 Time quasi-periodic gravity water waves in finite depthSIPW02 - Ice-fluid interaction Pietro Baldi (Università degli Studi di Napoli Federico II ). Seminar Room 1, Newton Institute. Thursday 05 October 2017, 09:00-09:45 Existence of quasipatterns, solutions of the Bénard-Rayleigh convectionSIP - Mathematics of sea ice phenomena Gerard Iooss (Université de Nice Sophia Antipolis; None). Seminar Room 1, Newton Institute. Wednesday 04 October 2017, 13:30-14:30 Impacts of ocean waves on the Polar Sea Ice and OceansSIPW02 - Ice-fluid interaction Yevgeny Aksenov (National Oceanography Centre, Southampton). Seminar Room 1, Newton Institute. Wednesday 04 October 2017, 11:45-12:30 A sea ice model with wave-ice interactions on a moving meshSIPW02 - Ice-fluid interaction Timothy Williams (Natural Environment Research Council (NERC)). Seminar Room 1, Newton Institute. Wednesday 04 October 2017, 11:00-11:45 Stability criteria for nonlinear waves in Hamiltonian and reversible systemsSIPW02 - Ice-fluid interaction Mariana Haragus (Université de Franche-Comté). Seminar Room 1, Newton Institute. Wednesday 04 October 2017, 09:45-10:30 Conformal geometry and hydroelastic wavesSIPW02 - Ice-fluid interaction Pavel Plotnikov (Lavrentyev Institute of Hydrodynamics; Novosibirsk State University). Seminar Room 1, Newton Institute. Wednesday 04 October 2017, 09:00-09:45 Wave patterns beneath an ice coverSIPW02 - Ice-fluid interaction Andrej Il’ichev (Steklov Mathematical Institute, Russian Academy of Sciences ). Seminar Room 1, Newton Institute. Tuesday 03 October 2017, 16:15-17:00 Asymmetric nonlinear flexural wavesSIPW02 - Ice-fluid interaction Jean-Marc Vanden-Broeck (University College London). Seminar Room 1, Newton Institute. Tuesday 03 October 2017, 15:30-16:15 Wave Propagation in Viscoelastic Materials over WaterSIPW02 - Ice-fluid interaction Hayley Shen (Clarkson University). Seminar Room 1, Newton Institute. Tuesday 03 October 2017, 14:15-15:00 In situ detection of fluid movement in Antarctic land-fast sea iceSIPW02 - Ice-fluid interaction Pat Langhorne (University of Otago). Seminar Room 1, Newton Institute. Tuesday 03 October 2017, 13:30-14:15 Numerical study of solitary wave attenuation in a fragmented ice sheetSIPW02 - Ice-fluid interaction Philippe Guyenne (University of Delaware). Seminar Room 1, Newton Institute. Tuesday 03 October 2017, 11:45-12:30 Computing Flexural-Gravity WavesSIPW02 - Ice-fluid interaction Olga Trichtchenko (University College London). Seminar Room 1, Newton Institute. Tuesday 03 October 2017, 11:00-11:45 title and abstract tbaGFS - Growth form and self-organisation . Seminar Room 2, Newton Institute. Tuesday 03 October 2017, 11:00-12:00 Nonlinear hydroelastic waves and related flowsSIPW02 - Ice-fluid interaction Emilian I Parau (University of East Anglia). Seminar Room 1, Newton Institute. Tuesday 03 October 2017, 09:45-10:30 Modelling water wave overwash of ice floesSIPW02 - Ice-fluid interaction Luke Bennetts (University of Adelaide). Seminar Room 1, Newton Institute. Tuesday 03 October 2017, 09:00-09:45 Damping of surface wave in MIZ of the Barents Sea: field observations and modelingSIPW02 - Ice-fluid interaction Aleksey Marchenko (Norwegian University of Science and Technology). Seminar Room 1, Newton Institute. Monday 02 October 2017, 16:15-17:00 Where ice is not: The liquid phase in the sea ice model CICESIPW02 - Ice-fluid interaction Elizabeth Hunke (Los Alamos National Laboratory). Seminar Room 1, Newton Institute. Monday 02 October 2017, 15:30-16:15 Dead water effect on drift of icebergsSIPW02 - Ice-fluid interaction John Grue (University of Oslo). Seminar Room 1, Newton Institute. Monday 02 October 2017, 14:15-15:00 A different perspective on wave-ice interaction researchSIPW02 - Ice-fluid interaction Vernon Squire (University of Otago). Seminar Room 1, Newton Institute. Monday 02 October 2017, 13:30-14:15 Modelling dynamics of the marginal ice zone, including combined collisional and EVP rheologySIPW02 - Ice-fluid interaction Stefanie Rynders (University of Southampton). Seminar Room 1, Newton Institute. Monday 02 October 2017, 11:45-12:30 Mathematical Challenges in Modelling Wave Scattering in the Marginal Ice ZoneSIPW02 - Ice-fluid interaction Mike Meylan (University of Newcastle, Australia). Seminar Room 1, Newton Institute. Monday 02 October 2017, 11:00-11:45 The Shape and Function of the Nasal CavityGFS - Growth form and self-organisation Michael Brenner (Harvard University). Seminar Room 2, Newton Institute. Monday 02 October 2017, 11:00-12:00 River Ice – Process, Theory, and Mathematical ModelingSIPW02 - Ice-fluid interaction Hung Tao Shen (Other). Seminar Room 1, Newton Institute. Monday 02 October 2017, 09:45-10:30 Bifurcation theory in the context of nonlinear steady water wavesSIP - Mathematics of sea ice phenomena Eugen Varvaruca (Universitatea Alexandru Ioan Cuza). Seminar Room 2, Newton Institute. Friday 29 September 2017, 14:00-16:00 Rothschild Lecture: Image Compression with Differential EquationsVMV - Variational methods and effective algorithms for imaging and vision Joachim Weickert (Universität des Saarlandes ). Seminar Room 1, Newton Institute. Thursday 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 Andrew Fitzgibbon (Microsoft Research). Seminar Room 1, Newton Institute. Wednesday 27 September 2017, 16:00-17:00 On the existence of weak solutions of the Perona-Malik equationVMV - Variational methods and effective algorithms for imaging and vision Kewei Zhang (University of Nottingham). Seminar Room 1, Newton Institute. Tuesday 26 September 2017, 15:00-16:00 Recent advances in granular rheology and possible applications to large scale sea ice dynamicsSIP - Mathematics of sea ice phenomena Nico Gray (University of Manchester). Seminar Room 2, Newton Institute. Tuesday 26 September 2017, 15:00-16:30 Forms and Patterns of Viscous and Elastic ThreadsGFS - Growth form and self-organisation Neil Ribe (CNRS (Centre national de la recherche scientifique); Université Paris-Sud 11 ; CNRS (Centre national de la recherche scientifique)). Seminar Room 2, Newton Institute. Tuesday 26 September 2017, 11:00-12:00 Panel Discussion and Wrap-UpOFBW35 - Future Developments in Climate Sea Ice Modelling Daniel Feltham (University of Reading). Seminar Room 1, Newton Institute. Monday 25 September 2017, 16:10-16:50 Questions and DiscussionOFBW35 - Future Developments in Climate Sea Ice Modelling . Seminar Room 1, Newton Institute. Monday 25 September 2017, 15:10-15:50 Modelling Approaches to Address Sea Ice ComplexityOFBW35 - Future Developments in Climate Sea Ice Modelling Elizabeth Hunke (Los Alamos National Laboratory). Seminar Room 1, Newton Institute. Monday 25 September 2017, 14:30-15:10 Lunch and PostersOFBW35 - Future Developments in Climate Sea Ice Modelling . Seminar Room 1, Newton Institute. Monday 25 September 2017, 13:00-14:30 Questions and DiscussionOFBW35 - Future Developments in Climate Sea Ice Modelling . Seminar Room 1, Newton Institute. Monday 25 September 2017, 12:20-13:00 What Sea Ice Physics is Missing from Models?OFBW35 - Future Developments in Climate Sea Ice Modelling Cecilia Bitz (University of Washington). Seminar Room 1, Newton Institute. Monday 25 September 2017, 11:40-12:20 Questions and DiscussionOFBW35 - Future Developments in Climate Sea Ice Modelling . Seminar Room 1, Newton Institute. Monday 25 September 2017, 10:40-11:20 What do Climate Models need Sea Ice for?OFBW35 - Future Developments in Climate Sea Ice Modelling Dirk Notz (Max-Planck-Institut für Meteorology). Seminar Room 1, Newton Institute. Monday 25 September 2017, 10:00-10:40 Introduction to Sea Ice Climate ModelsOFBW35 - Future Developments in Climate Sea Ice Modelling Daniel Feltham (University of Reading). Seminar Room 1, Newton Institute. Monday 25 September 2017, 09:40-10:00 Welcome & IntroductionOFBW35 - Future Developments in Climate Sea Ice Modelling Jane Leeks (Turing Gateway to Mathematics); David Abrahams (Isaac Newton Institute). Seminar Room 1, Newton Institute. Monday 25 September 2017, 09:30-09:40 Structure formation in magnetised plasmasGFSW01 - Form and deformation in solid and fluid mechanics Gunnar Hornig (University of Dundee). Seminar Room 1, Newton Institute. Friday 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 Lisa Fauci (Tulane University; Tulane University). Seminar Room 1, Newton Institute. Friday 22 September 2017, 14:10-14:50 Modelling brain and skull morphogenesisGFSW01 - Form and deformation in solid and fluid mechanics Alain Goriely (University of Oxford; University of Oxford). Seminar Room 1, Newton Institute. Friday 22 September 2017, 13:30-14:10 Quantum vortex dynamics by Seifert surface informationGFSW01 - Form and deformation in solid and fluid mechanics Renzo Ricca (University of Milan - Bicocca). Seminar Room 1, Newton Institute. Friday 22 September 2017, 11:30-12:10 Stochastic partial differential fluid equations as a diffusive limit of deterministic Lagrangian multi-time dynamicsGFSW01 - Form and deformation in solid and fluid mechanics Darryl Holm (Imperial College London). Seminar Room 1, Newton Institute. Friday 22 September 2017, 10:20-11:00 Helicity, Reconnection and Seifert SurfacesGFSW01 - Form and deformation in solid and fluid mechanics De Witt Sumners (Florida State University). Seminar Room 1, Newton Institute. Friday 22 September 2017, 09:40-10:20 Patterns of bacterial coloniesGFSW01 - Form and deformation in solid and fluid mechanics Martine Ben Amar (CNRS - Ecole Normale Superieure Paris). Seminar Room 1, Newton Institute. Friday 22 September 2017, 09:00-09:40 Defects in positional and orientational order on surfaces and their potential influence on shapeGFSW01 - Form and deformation in solid and fluid mechanics Axel Voigt (Technische Universität Dresden). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 15:10-15:30 Thin film models for active liquid crystalsGFSW01 - Form and deformation in solid and fluid mechanics Andreas Muench (University of Oxford; University of Oxford). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 14:50-15:10 Elasticity and fluid mechanics of lipid tethersGFSW01 - Form and deformation in solid and fluid mechanics Buddhapriya Chakrabarti (University of Sheffield; University of Sheffield). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 14:30-14:50 Dynamical remodelling of biological interfacesGFSW01 - Form and deformation in solid and fluid mechanics Marino Arroyo (Universitat Politècnica de Catalunya). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 14:10-14:30 Drinking and DivingGFSW01 - Form and deformation in solid and fluid mechanics Sunghwan (Sunny) Jung (Virginia Polytechnic Institute and State University). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 13:30-14:10 Mechanics and polarity in cell motilityGFSW01 - Form and deformation in solid and fluid mechanics Davide Ambrosi (Politecnico di Milano; Politecnico di Milano). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 12:10-12:30 A story in shellsGFSW01 - Form and deformation in solid and fluid mechanics Derek Moulton (University of Oxford). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 11:30-12:10 Coarse-graining of collective dynamics modelsGFSW01 - Form and deformation in solid and fluid mechanics Pierre Degond (Imperial College London). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 10:20-11:00 Fibonacci phyllotaxis in plants and algae, a biological convergence with a physical originGFSW01 - Form and deformation in solid and fluid mechanics Yves Couder (Laboratoire Matière et Systèmes Complexes). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 09:40-10:20 Flight of the smallest insectsGFSW01 - Form and deformation in solid and fluid mechanics Laura Miller (University of North Carolina ; University of North Carolina ). Seminar Room 1, Newton Institute. Thursday 21 September 2017, 09:00-09:40 Deformable bodies in anisotropic fluidsGFSW01 - Form and deformation in solid and fluid mechanics Saverio Spagnolie (University of Wisconsin-Madison). Seminar Room 1, Newton Institute. Wednesday 20 September 2017, 12:10-12:50 Fluid and solid mechanics in active cellular processesGFSW01 - Form and deformation in solid and fluid mechanics Michael Shelley (New York University; Simons Foundation). Seminar Room 1, Newton Institute. Wednesday 20 September 2017, 11:30-12:10 Unraveling hagfish slimeGFSW01 - Form and deformation in solid and fluid mechanics Jean-Luc Thiffeault (University of Wisconsin-Madison). Seminar Room 1, Newton Institute. Wednesday 20 September 2017, 10:20-11:00 Packing problems, phyllotaxis and Fibonacci numbersGFSW01 - Form and deformation in solid and fluid mechanics Denis Weaire (Trinity College Dublin); Adil Mughal (Aberystwyth University). Seminar Room 1, Newton Institute. Wednesday 20 September 2017, 09:40-10:20 Flexible tubes conveying fluid: geometric modeling, stability, and variational integratorsGFSW01 - Form and deformation in solid and fluid mechanics François Gay-Balmaz (CNRS - Ecole Normale Superieure Paris). Seminar Room 1, Newton Institute. Wednesday 20 September 2017, 09:00-09:40 Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained BouncingGFSW01 - Form and deformation in solid and fluid mechanics Scott Waitukaitis (Universiteit Leiden; FOM Institute AMOLF). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 15:10-15:30 Wave-induced collisions of thin floating disksSIP - Mathematics of sea ice phenomena Luke Bennetts (University of Adelaide). Seminar Room 2, Newton Institute. Tuesday 19 September 2017, 15:00-16:30 Swelling and Shaping of Soft StructuresGFSW01 - Form and deformation in solid and fluid mechanics Douglas Holmes (Boston University). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 14:50-15:10 The planar elastica, stress, and material stressGFSW01 - Form and deformation in solid and fluid mechanics James Hanna (Virginia Polytechnic Institute and State University). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 14:30-14:50 Fluid Mechanics of Soft Robots and ActuatorsGFSW01 - Form and deformation in solid and fluid mechanics Amir Gat (Technion - Israel Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 14:10-14:30 Simulations of Pulsating Soft CoralsGFSW01 - Form and deformation in solid and fluid mechanics Shilpa Khatri (University of California, Merced). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 13:30-14:10 Motility induced elongation of the vertebrate embryoGFSW01 - Form and deformation in solid and fluid mechanics Ido Regev (Ben-Gurion University). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 12:10-12:30 How the elephant grabs with its trunkGFSW01 - Form and deformation in solid and fluid mechanics David Hu (Georgia Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 11:30-12:10 Flow-mediated synchronization of swimmers and rotors at the micron scaleGFSW01 - Form and deformation in solid and fluid mechanics Eva Kanso (University of Southern California; New York University). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 10:20-11:00 Turing revisited: the chemo-mechanical bases of morphogenesis in soft living matterGFSW01 - Form and deformation in solid and fluid mechanics Pasquale Ciarletta (Politecnico di Milano; CNRS (Centre national de la recherche scientifique)). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 09:40-10:20 Indentations of plastic layersGFSW01 - Form and deformation in solid and fluid mechanics Neil Balmforth (University of British Columbia). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 09:00-09:40 Microtubule RingsGFSW01 - Form and deformation in solid and fluid mechanics Simon Pearce (University of Manchester). Seminar Room 1, Newton Institute. Monday 18 September 2017, 15:10-15:30 Form, flow, deformation, and transport in the embryonic lungGFSW01 - Form and deformation in solid and fluid mechanics Sharon Lubkin (North Carolina State University). Seminar Room 1, Newton Institute. Monday 18 September 2017, 14:50-15:10 The dynamics of a packed cell tissueGFSW01 - Form and deformation in solid and fluid mechanics Marina Ferreira (Imperial College London). Seminar Room 1, Newton Institute. Monday 18 September 2017, 14:30-14:50 The Stokes-flow parachute of the dandelion fruitGFSW01 - Form and deformation in solid and fluid mechanics Cathal Cummins (University of Edinburgh). Seminar Room 1, Newton Institute. Monday 18 September 2017, 14:10-14:30 The transverse arch of human footGFSW01 - Form and deformation in solid and fluid mechanics Shreyas Mandre (Brown University). Seminar Room 1, Newton Institute. Monday 18 September 2017, 13:30-14:10 Capturing gas in soft granular mediaGFSW01 - Form and deformation in solid and fluid mechanics Sungyon Lee (University of Minnesota). Seminar Room 1, Newton Institute. Monday 18 September 2017, 12:10-12:30 Some surprises in self-propulsion via self-deformation: snake scattering & supersmarticlesGFSW01 - Form and deformation in solid and fluid mechanics Daniel Goldman (Georgia Institute of Technology). Seminar Room 1, Newton Institute. Monday 18 September 2017, 11:30-12:10 Elastocapillarity: When surface tension deforms elastic solidsGFSW01 - Form and deformation in solid and fluid mechanics Jose Bico (ESPCI ParisTech ). Seminar Room 1, Newton Institute. Monday 18 September 2017, 10:20-11:00 On the robustness of morphogenesisGFSW01 - Form and deformation in solid and fluid mechanics Arezki Boudaoud (). Seminar Room 1, Newton Institute. Monday 18 September 2017, 09:40-10:20 New insight from CryoSat-2 sea ice thickness for sea ice modellingSIPW01 - Multi-scale modelling of ice characteristics and behaviour David Schroeder (University of Reading). Seminar Room 1, Newton Institute. Friday 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 systemSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ed Blockley (Met Office). Seminar Room 1, Newton Institute. Friday 15 September 2017, 16:40-17:00 Using Arctic ice mass balance buoys for model evaluationSIPW01 - Multi-scale modelling of ice characteristics and behaviour Alex West (Met Office). Seminar Room 1, Newton Institute. Friday 15 September 2017, 16:20-16:40 Arctic Sea Ice Thickness ChangeSIPW01 - Multi-scale modelling of ice characteristics and behaviour Christian Haas (Alfred-Wegener-Institut für Polar- und Meeresforschung (AWI); Universität Bremen ). Seminar Room 1, Newton Institute. Friday 15 September 2017, 16:00-16:20 Statistics of the sea ice thickness distributionSIPW01 - Multi-scale modelling of ice characteristics and behaviour Peter Wadhams (University of Cambridge). Seminar Room 1, Newton Institute. Friday 15 September 2017, 14:50-15:30 Challenges in estimating ocean surface stresses in sea ice covered Arctic and Antarctic regionsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Michel Tsamados (University College London). Seminar Room 1, Newton Institute. Friday 15 September 2017, 14:30-14:50 Atmospheric response to marginal-ice-zone drag parameterisationSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ian Renfrew (University of East Anglia). Seminar Room 1, Newton Institute. Friday 15 September 2017, 14:10-14:30 Integrating Observations and Models to Better Understand a Changing Arctic Sea Ice CoverSIPW01 - Multi-scale modelling of ice characteristics and behaviour Julienne Stroeve (National Snow and Ice Data Center; National Snow and Ice Data Center). Seminar Room 1, Newton Institute. Friday 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 Jamie Rae (Met Office). Seminar Room 1, Newton Institute. Friday 15 September 2017, 12:10-12:30 Investigating future changes in the volume budget of the Arctic sea ice in a coupled climate modelSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ann Keen (Met Office). Seminar Room 1, Newton Institute. Friday 15 September 2017, 11:50-12:10 Winter-to-summer transition of Arctic sea ice breakup and floe size distribution in the Beaufort SeaSIPW01 - Multi-scale modelling of ice characteristics and behaviour Phil Hwang (Scottish Association for Marine Science (SAMS)). Seminar Room 1, Newton Institute. Friday 15 September 2017, 11:30-11:50 Waves, ice and ocean in the future projections of the Arctic and Southern oceansSIPW01 - Multi-scale modelling of ice characteristics and behaviour Yevgeny Aksenov (National Oceanography Centre, Southampton). Seminar Room 1, Newton Institute. Friday 15 September 2017, 11:10-11:30 Impact of surface wave mixing on sea ice and mixed layer depthSIPW01 - Multi-scale modelling of ice characteristics and behaviour Stefanie Rynders (University of Southampton). Seminar Room 1, Newton Institute. Friday 15 September 2017, 10:20-10:40 Relationship between sea ice deformation and rheologySIPW01 - Multi-scale modelling of ice characteristics and behaviour Harold Heorton (University College London). Seminar Room 1, Newton Institute. Friday 15 September 2017, 10:00-10:20 Frazil-ice dynamics in mixed layers and sub-ice-shelf plumesSIPW01 - Multi-scale modelling of ice characteristics and behaviour David Rees Jones (University of Oxford). Seminar Room 1, Newton Institute. Friday 15 September 2017, 09:40-10:00 Using sea-ice deformation fields to constrain the mechanical strength parameters of geophysical sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour Bruno Tremblay (McGill University). Seminar Room 1, Newton Institute. Friday 15 September 2017, 09:00-09:40 Opening remarks, Danny FelthamSIPW01 - Multi-scale modelling of ice characteristics and behaviour . Seminar Room 1, Newton Institute. Friday 15 September 2017, 08:55-09:00 Brine rejection from sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour Grae Worster (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 16:00-17:00 Nonlinear stochastic time series analysis for sea ice and climateSIPW01 - Multi-scale modelling of ice characteristics and behaviour Woosok Moon (British Antarctic Survey; NORDITA). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 15:30-16:00 Ising model for melt ponds on Arctic sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour Yiping Ma (Northumbria University). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 14:30-15:00 Simple rules govern the patterns of Arctic sea ice melt pondsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Predrag Popovic (University of Chicago). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 14:00-14:30 About the wave-particle duality observed with a classical particle driven by its memory-endowed wave-fieldGFS - Growth form and self-organisation Yves Couder (Laboratoire Matière et Systèmes Complexes). Seminar Room 2, Newton Institute. Thursday 14 September 2017, 14:00-15:00 Different ice observation methods in marine operationsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Erik Almkvist (Viking Ice Concultancy). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 11:45-12:30 Sea ice research - needs and gapsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Robert Bridges (Total E&P UK Limited). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 11:00-11:45 Modeling Arctic melt pondsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Daniela Flocco (University of Reading). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 09:45-10:30 Models of multi-scale and multi-phase sea ice thermodynamicsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Andrew Wells (University of Oxford). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 09:00-09:45 Changes to sea ice thickness distribution due to Ice Shelf WaterSIPW01 - Multi-scale modelling of ice characteristics and behaviour Pat Langhorne (University of Otago). Seminar Room 1, Newton Institute. Wednesday 13 September 2017, 11:45-12:30 When is all the sea ice gone?SIPW01 - Multi-scale modelling of ice characteristics and behaviour Dirk Notz (Max-Planck-Institut für Meteorology). Seminar Room 1, Newton Institute. Wednesday 13 September 2017, 11:00-11:45 Modeling macro-porosity of ridged sea ice in basin-scale modelsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Andrew Roberts (Naval Postgraduate School). Seminar Room 1, Newton Institute. Wednesday 13 September 2017, 09:45-10:30 Sea ice stability and rapid retreatSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ian Eisenman (University of California, San Diego). Seminar Room 1, Newton Institute. Wednesday 13 September 2017, 09:00-09:45 Advection enhanced diffusion processesSIPW01 - Multi-scale modelling of ice characteristics and behaviour Noa Kraitzman (University of Utah). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 16:00-16:30 Flow-induced Coordinates for Transient Advection-Diffusion Equations with Multiple ScalesSIPW01 - Multi-scale modelling of ice characteristics and behaviour Konrad Simon (Universität Hamburg). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 15:30-16:00 Effective Rheology and Wave Propagation in the Marginal Ice ZoneSIPW01 - Multi-scale modelling of ice characteristics and behaviour Christian Samspon (University of Utah; University of Utah; UNC Chapel Hill and RIMS). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 14:30-15:00 A viscoelastic model for wave propagation in the marginal ice zoneSIPW01 - Multi-scale modelling of ice characteristics and behaviour Sukun Cheng (Clarkson University). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 14:00-14:30 Sensitivity of Arctic sea ice state to model parameter space, resolved processes and climate couplingSIPW01 - Multi-scale modelling of ice characteristics and behaviour Wieslaw Maslowski (Naval Postgraduate School). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 11:45-12:30 Sea ice model physics: in search of fidelitySIPW01 - Multi-scale modelling of ice characteristics and behaviour Daniel Feltham (University of Reading). Seminar Room 1, Newton Institute. Tuesday 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 Martin Vancoppenolle (CNRS (Centre national de la recherche scientifique); Université Pierre & Marie Curie-Paris VI ). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 09:45-10:30 Marginal Ice Zone Evolution due to Wave-Induced BreakingSIPW01 - Multi-scale modelling of ice characteristics and behaviour Vernon Squire (University of Otago). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 09:00-09:45 Rothschild Lecture: Large-scale sea ice modeling: societal needs and community developmentSIPW01 - Multi-scale modelling of ice characteristics and behaviour Elizabeth Hunke (Los Alamos National Laboratory). Seminar Room 1, Newton Institute. Monday 11 September 2017, 16:00-17:00 Filling the polar data gap with harmonic functionsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Courtenay Strong (University of Utah). Seminar Room 1, Newton Institute. Monday 11 September 2017, 15:30-16:00 Floe size and ice thickness distributionsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Christopher Horvat (Harvard University; Brown University). Seminar Room 1, Newton Institute. Monday 11 September 2017, 14:30-15:00 A new continuum rheological model for the deformation and drift of sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour Veronique Dansereau (CNRS (Centre national de la recherche scientifique)). Seminar Room 1, Newton Institute. Monday 11 September 2017, 14:00-14:30 Discrete-element models of sea ice dynamics and fractureSIPW01 - Multi-scale modelling of ice characteristics and behaviour Agnieszka Herman (University of Gdansk). Seminar Room 1, Newton Institute. Monday 11 September 2017, 11:45-12:30 Linking scales in the sea ice systemSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ken Golden (University of Utah). Seminar Room 1, Newton Institute. Monday 11 September 2017, 11:00-11:45 Small to big, quick to slow: The many scales of sea ice properties and processesSIPW01 - Multi-scale modelling of ice characteristics and behaviour Donald K. Perovich (Dartmouth College). Seminar Room 1, Newton Institute. Monday 11 September 2017, 09:45-10:30 Variational Methods to Image SegmentationVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Tammy Riklin raviv (Ben-Gurion University). Seminar Room 1, Newton Institute. Friday 08 September 2017, 16:10-17:00 Total Generalized Variation for Manifold-valued DataVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Martin Holler (University of Graz). Seminar Room 1, Newton Institute. Friday 08 September 2017, 14:50-15:40 Optimal Transport-Based Total Variation for Functional Lifting and Q-Ball ImagingVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Thomas Vogt (Universität zu Lübeck). Seminar Room 1, Newton Institute. Friday 08 September 2017, 14:00-14:50 Adaptive and Move Making Auxiliary Cuts for Binary Pairwise EnergiesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Olga Veksler (University of Western Ontario). Seminar Room 1, Newton Institute. Friday 08 September 2017, 12:00-12:50 Estimation of linear operators from scattered impulse responsesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Pierre Weiss (Université de Toulouse). Seminar Room 1, Newton Institute. Friday 08 September 2017, 11:10-12:00 Representer theorems for ill-posed inverse problems: Tikhonov vs. generalized total-variation regularizationVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Michael Unser (EPFL - Ecole Polytechnique Fédérale de Lausanne). Seminar Room 1, Newton Institute. Friday 08 September 2017, 09:50-10:40 Alternating proximal gradient descent for nonconvex regularised problems with multiconvex coupling termsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Mila Nikolova (CNRS (Centre national de la recherche scientifique); ENS de Cachan). Seminar Room 1, Newton Institute. Friday 08 September 2017, 09:00-09:50 Convex regularization of discrete-valued inverse problemsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Christian Clason (Universität Duisburg-Essen). Seminar Room 1, Newton Institute. Thursday 07 September 2017, 16:10-17:00 Deconstructing Tip Growth MorphogenesisGFS - Growth form and self-organisation Jacques Dumais (Adolfo Ibanez University). Seminar Room 2, Newton Institute. Thursday 07 September 2017, 15:00-16:00 Joint imaging and calibration using non-convex optimizationVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Audrey Repetti (Heriot-Watt University; Heriot-Watt University). Seminar Room 1, Newton Institute. Thursday 07 September 2017, 14:50-15:40 Sublabel-Accurate Relaxation of Nonconvex EnergiesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Michael Moeller (Universität Siegen). Seminar Room 1, Newton Institute. Thursday 07 September 2017, 14:00-14:50 Directional Regularization for Image ReconstructionVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Yiqiu Dong (Technical University of Denmark). Seminar Room 1, Newton Institute. Thursday 07 September 2017, 12:00-12:50 tbaVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Dimitris Metaxas (Rutgers, The State University of New Jersey; University of Toronto; National Technical University of Athens). Seminar Room 1, Newton Institute. Thursday 07 September 2017, 11:10-12:00 End-to-end learning of CNN features in in discrete optimization models for motion and stereoVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Thomas Pock (Graz University of Technology). Seminar Room 1, Newton Institute. Thursday 07 September 2017, 09:50-10:40 Fast Algorithms for Euler´s Elastica energy minimization and applicationsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Xue-Cheng Tai (Hong Kong Baptist University). Seminar Room 1, Newton Institute. Thursday 07 September 2017, 09:00-09:50 Convex Analysis in Hadamard SpacesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Gabriele Steidl (University of Kaiserslautern). Seminar Room 1, Newton Institute. Wednesday 06 September 2017, 16:10-17:00 Dissipation of wind waves by pancake and frazil ice in the autumn Beaufort SeaSIP - Mathematics of sea ice phenomena Erick Rogers (U.S. Naval Research Laboratory). Seminar Room 2, Newton Institute. Wednesday 06 September 2017, 15:00-16:30 Low dimensional manifold model for image processingVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Zuoqiang Shi (Tsinghua University). Seminar Room 1, Newton Institute. Wednesday 06 September 2017, 14:50-15:40 Sensitivity Analysis with Degeneracy: Mirror Stratifiable FunctionsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Jalal Fadili (Other). Seminar Room 1, Newton Institute. Wednesday 06 September 2017, 14:00-14:50 Efficient numerical Methods For Variational inpainting modelsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Sung Ha Kang (Georgia Institute of Technology). Seminar Room 1, Newton Institute. Wednesday 06 September 2017, 12:00-12:50 Valued Constraint Satisfaction ProblemsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Vladimir Kolmogorov (Institute of Science and Technology (IST Austria)). Seminar Room 1, Newton Institute. Wednesday 06 September 2017, 11:10-12:00 Automating stochastic gradient methods with adaptive batch sizesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Tom Goldstein (University of Maryland). Seminar Room 1, Newton Institute. Wednesday 06 September 2017, 09:50-10:40 Geodesic Methods for Interactive Image Segmentation using Finsler metricsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Laurent Cohen (CNRS & Université Paris-Dauphine ; CNRS & Université Paris-Dauphine ). Seminar Room 1, Newton Institute. Wednesday 06 September 2017, 09:00-09:50 Drinks Reception and NetworkingOFBW32 - Computational Challenges in Image Processing . Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 17:00-18:00 Open Discussion and QuestionsOFBW32 - Computational Challenges in Image Processing . Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 16:35-17:00 Imaging Whales from SpaceOFBW32 - Computational Challenges in Image Processing Peter Fretwell (British Antarctic Survey). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 16:10-16:35 Computational Challenges for Long Range ImagingOFBW32 - Computational Challenges in Image Processing Mark Bray (BAE Systems). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 15:45-16:10 Validating Machine Learning Models Visually with ZegamiOFBW32 - Computational Challenges in Image Processing Roger Noble (Zegami). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 15:20-15:45 Current topics on sea-ice research: Led by A KorobkinSIP - Mathematics of sea ice phenomena . Seminar Room 2, Newton Institute. Tuesday 05 September 2017, 15:00-16:30 Nonlinear TomographyOFBW32 - Computational Challenges in Image Processing Andrew Curtis (University of Edinburgh). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 14:25-15:00 Statistical Machine Learning and Optimisation Challenges for Brain Imaging at a Millisecond TimescaleOFBW32 - Computational Challenges in Image Processing Alexandre Gramfort (Université Paris-Saclay). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 13:50-14:25 Organiser IntroductionOFBW32 - Computational Challenges in Image Processing Antonin Chambolle (CNRS (Centre national de la recherche scientifique); École Polytechnique). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 13:40-13:50 Welcome and IntroductionOFBW32 - Computational Challenges in Image Processing Christie Marr (Isaac Newton Institute); Jane Leeks (Turing Gateway to Mathematics). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 13:30-13:40 Preconditioned and accelerated Douglas-Rachford algorithms for the solution of variational imaging problemsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Kristian Bredies (University of Graz). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 12:00-12:50 Tensor Data Analysis: Models and AlgorithmsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Michael Ng (Hong Kong Baptist University). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 11:10-12:00 Gyrotactic focussing by swimming micro-organisms in three-dimensional flowsGFS - Growth form and self-organisation Nicholas Hill (University of Glasgow). Seminar Room 2, Newton Institute. Tuesday 05 September 2017, 11:00-12:00 Fractional Order Derivatives Regularization: Models, Algorithms and ApplicationsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Ke Chen (University of Liverpool). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 09:50-10:40 Minimization of curvature dependent functional.VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Antonin Chambolle (CNRS (Centre national de la recherche scientifique); École Polytechnique). Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 09:00-09:50 Video colorization by a variational approachVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Jean-Francois Aujol (Université Bordeaux 1). Seminar Room 1, Newton Institute. Monday 04 September 2017, 16:10-17:00 Nonlinear spectral analysis - beyond the convex caseVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Guy Gilboa (Technion - Israel Institute of Technology). Seminar Room 1, Newton Institute. Monday 04 September 2017, 14:50-15:40 Nonlinear Spectral DecompositionVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Martin Burger (Universität Münster). Seminar Room 1, Newton Institute. Monday 04 September 2017, 14:00-14:50 On Overparametrization in Variational MethodsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Alfred Bruckstein (Technion - Israel Institute of Technology; Nanyang Technological University). Seminar Room 1, Newton Institute. Monday 04 September 2017, 12:00-12:50 Spectral Clustering meets Graphical ModelsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Yuri Boykov (University of Western Ontario; University of Western Ontario). Seminar Room 1, Newton Institute. Monday 04 September 2017, 11:10-12:00 Efficient and Stable Schemes for 2D Forward-and-Backward DiffusionVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Joachim Weickert (Universität des Saarlandes ). Seminar Room 1, Newton Institute. Monday 04 September 2017, 09:50-10:40 On (pre) dualization, dense embeddings of convex sets, and applications in image processingVMV - Variational methods and effective algorithms for imaging and vision Michael Hintermüller (Weierstrass Institute Berlin; Humboldt-Universität zu Berlin). Seminar Room 1, Newton Institute. Wednesday 30 August 2017, 16:00-17:00 Morphodynamics of cohesive objectsGFS - Growth form and self-organisation Emmanuel Villermaux (Aix Marseille Université; Institut de Recherche sur les Phénomènes Hors Equilibre). Seminar Room 2, Newton Institute. Wednesday 30 August 2017, 15:00-16:00 Shapes of Colloidal MembranesGFS - Growth form and self-organisation Thomas Powers (Brown University; Brown University). Seminar Room 2, Newton Institute. Tuesday 29 August 2017, 11:00-12:00 Three-Dimensional solitary water wavesNWW - Nonlinear water waves Erik Wahlén (Lund University). Seminar Room 2, Newton Institute. Wednesday 23 August 2017, 15:00-16:30 Fast computation of steady surface gravity wavesNWW - Nonlinear water waves Didier Clamond (Université de Nice Sophia Antipolis). Seminar Room 2, Newton Institute. Wednesday 23 August 2017, 14:00-15:00 Symplectic topology of K3 surfaces via mirror symmetrySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Ivan Smith (University of Cambridge). Seminar Room 1, Newton Institute. Friday 18 August 2017, 16:00-17:00 On the ADHM Seiberg–Witten equationsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Thomas Walpuski (Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Friday 18 August 2017, 14:30-15:30 Graded linearisations for linear algebraic group actionsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Frances Kirwan (University of Oxford). Seminar Room 1, Newton Institute. Friday 18 August 2017, 11:30-12:30 A polyfold lab reportSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Katrin Wehrheim (University of California, Berkeley; University of California, Berkeley). Seminar Room 1, Newton Institute. Friday 18 August 2017, 10:00-11:00 Existence of Lefschetz fibrations on Stein/Weinstein domainsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson John Pardon (Princeton University). Seminar Room 1, Newton Institute. Thursday 17 August 2017, 17:00-18:00 Constructing the virtual fundamental cycleSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Dusa McDuff (Barnard College). Seminar Room 1, Newton Institute. Thursday 17 August 2017, 15:30-16:30 Singularities of Hermitian-Yang-Mills connections and the Harder-Narasimhan-Seshadri filtrationSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Song Sun (Stony Brook University). Seminar Room 1, Newton Institute. Thursday 17 August 2017, 14:00-15:00 Graph Legendrians and SL2 local systemsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Emmy Murphy (Northwestern University). Seminar Room 1, Newton Institute. Thursday 17 August 2017, 11:30-12:30 An SU(3) variant of instanton homology for websSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Peter Kronheimer (Harvard University). Seminar Room 1, Newton Institute. Thursday 17 August 2017, 10:00-11:00 Expanding large global solutions of the compressible Euler equationsNWW - Nonlinear water waves M. Hadzic (University of London). Seminar Room 2, Newton Institute. Wednesday 16 August 2017, 16:00-16:50 Coherent Lagrangian Vortices in TurbulenceNWW - Nonlinear water waves George Haller (ETH Zürich). Seminar Room 2, Newton Institute. Wednesday 16 August 2017, 15:00-15:50 On traffic modeling and the Braess paradoxNWW - Nonlinear water waves Helge Holden (Norwegian University of Science and Technology). Seminar Room 2, Newton Institute. Wednesday 16 August 2017, 14:00-14:50 An approach to the four colour theorem via Donaldson- Floer theorySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Tomasz Mrowka (Massachusetts Institute of Technology; Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Wednesday 16 August 2017, 12:00-13:00 From Euler to PoincareSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Michael Atiyah (University of Edinburgh). Seminar Room 1, Newton Institute. Wednesday 16 August 2017, 10:30-11:30 Remarks on Nahm's equationsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Nigel Hitchin (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 16 August 2017, 09:00-10:00 Mathematical applications of little string theorySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Mina Aganagic (University of California, Berkeley). Seminar Room 1, Newton Institute. Tuesday 15 August 2017, 16:00-17:00 Computing knot Floer homologySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Peter Ozsvath (Princeton University). Seminar Room 1, Newton Institute. Tuesday 15 August 2017, 14:30-15:30 100 Problems around Scalar CurvatureSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Mikhail Gromov (IHES). Seminar Room 1, Newton Institute. Tuesday 15 August 2017, 11:30-12:30 Speculations about homological mirror symmetry for affine hypersurfacesSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Denis Auroux (University of California, Berkeley). Seminar Room 1, Newton Institute. Tuesday 15 August 2017, 10:00-11:00 Knot Floer homology and algebraic methodsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Zoltan Szabo (Princeton University). Seminar Room 1, Newton Institute. Monday 14 August 2017, 16:00-17:00 The Gopakumar-Vafa conjecture for symplectic manifoldsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Eleny Ionel (Stanford University). Seminar Room 1, Newton Institute. Monday 14 August 2017, 14:30-15:30 Atiyah Floer conjectureSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Kenji Fukaya (Stony Brook University). Seminar Room 1, Newton Institute. Monday 14 August 2017, 11:30-12:30 Fields of definition of Fukaya categories of Calabi-Yau hypersurfacesSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Paul Seidel (Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Monday 14 August 2017, 10:00-11:00 Vortex waves in deep water: Lagrange approachNWWW01 - Nonlinear water waves Anatoly Abrashkin (Higher School of Economics, Moscow). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 17:00-18:00 Experimental validations of various aspects of the wave-induced mean flow for surface gravity wave groupsNWWW01 - Nonlinear water waves Ton van den Bremer (University of Edinburgh). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 16:00-17:00 Hamiltonian models for the propagation of irrotational surface gravity waves over a variable bottomNWWW01 - Nonlinear water waves Rossen Ivanov (Dublin Institute of Technology). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 14:30-15:30 Prediction of the free-surface elevation for rotational water waves using the recovery of pressure at the bedNWWW01 - Nonlinear water waves David Henry (University College Cork). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 13:30-14:30 Upper bound on the slope of a steady water waveNWWW01 - Nonlinear water waves Walter Strauss (Brown University). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 11:30-12:30 Long time dynamics of some dispersive models arising from the study of water wavesNWWW01 - Nonlinear water waves Benjamin Harrop-griffiths (Courant Institute of Mathematical Sciences). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 10:00-11:00 Stability of traveling water waves with a point vortexNWWW01 - Nonlinear water waves Samuel Walsh (University of Missouri). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 09:00-10:00 Zonal flows and wave resonance. --- Rossby wave case ---NWWW01 - Nonlinear water waves Michio Yamada (Kyoto University). Seminar Room 1, Newton Institute. Wednesday 09 August 2017, 16:00-17:00 Rogue and Shock Waves within the Framework of Weakly Nonlinear Evolution Equations - Applicability and LimitationsNWWW01 - Nonlinear water waves Amin Chabchoub (Aalto University). Seminar Room 1, Newton Institute. Wednesday 09 August 2017, 14:30-15:30 Small-amplitude steady water waves on flows with counter-currents.NWWW01 - Nonlinear water waves Vladimir Kozlov (Linköpings Universitet). Seminar Room 1, Newton Institute. Wednesday 09 August 2017, 13:30-14:30 Two-component Camassa-Holm system and its reductionsNWWW01 - Nonlinear water waves Yoshimasa Matsuno (Yamaguchi University). Seminar Room 1, Newton Institute. Wednesday 09 August 2017, 11:30-12:30 Numerical computation of water waves with discontinuous vorticityNWWW01 - Nonlinear water waves Mayumi Shoji (Japan Women's University ). Seminar Room 1, Newton Institute. Wednesday 09 August 2017, 10:00-11:00 Isobe-Kakinuma model for water waves as a higher order shallow water approximationNWWW01 - Nonlinear water waves Tatsuo Iguchi (Keio University). Seminar Room 1, Newton Institute. Wednesday 09 August 2017, 09:00-10:00 Global bifurcation of steady gravity water waves with constant vorticityNWWW01 - Nonlinear water waves Eugen Varvaruca (Universitatea Alexandru Ioan Cuza; University of Reading). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 16:00-17:00 Harnessing wave-power in open seasNWWW01 - Nonlinear water waves Michael Stiassnie (Technion - Israel Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 14:30-15:30 Craik-Leibovich Equation, Distinguished Limits, Drifts, and Pseudo-DiffusionNWWW01 - Nonlinear water waves Vladimir Vladimirov (Sultan Qaboos University; University of York). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 13:30-14:30 On linear and nonlinear wave-ship interactionsNWWW01 - Nonlinear water waves Onno Bokhove (University of Leeds). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 11:30-12:30 Numerical study of solitary waves under continuous or fragmented ice platesNWWW01 - Nonlinear water waves Emilian I Parau (University of East Anglia). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 10:00-11:00 Nonlinear surface waves at finite depth with and without surface coverNWWW01 - Nonlinear water waves John Grue (University of Oslo). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 09:00-10:00 Capturing the flow structure beneath water wavesNWWW01 - Nonlinear water waves Andre Nachbin (IMPA - Instituto Nacional de Matemática Pura e Aplicada, Rio de Janeiro). Seminar Room 1, Newton Institute. Monday 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 Hisashi Okamoto (Gakushuin University). Seminar Room 1, Newton Institute. Monday 07 August 2017, 14:30-15:30 On long term regularity of water wave modelsNWWW01 - Nonlinear water waves Alexandru Ionescu (Princeton University). Seminar Room 1, Newton Institute. Monday 07 August 2017, 13:30-14:30 Conservation relations for two-dimensional wave-current interactionsNWWW01 - Nonlinear water waves Gareth Thomas (University College Cork). Seminar Room 1, Newton Institute. Monday 07 August 2017, 11:30-12:30 Physical oceanography: an applied mathematician's approachNWWW01 - Nonlinear water waves Robin Johnson (Newcastle University). Seminar Room 1, Newton Institute. Monday 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 Vladimir Voevodsky (Institute for Advanced Study, Princeton). Seminar Room 2, Newton Institute. Thursday 03 August 2017, 15:30-16:30 How do human mathematicians avoid big searches?BPR - Big proof William Timothy Gowers (University of Cambridge). Seminar Room 1, Newton Institute. Friday 28 July 2017, 13:30-14:30 A MathComp Library tourBPR - Big proof Georges Gonthier (INRIA Saclay - Île-de-France). Seminar Room 2, Newton Institute. Friday 28 July 2017, 11:00-12:00 Categorical structures for type theory in univalent foundations"BPR - Big proof Benedikt Ahrens (INRIA Rennes - Bretagne Atlantique). Seminar Room 2, Newton Institute. Thursday 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 Vladimir Voevodsky (Institute for Advanced Study, Princeton). Seminar Room 2, Newton Institute. Thursday 27 July 2017, 15:30-16:30 Automated theorem proving in first-order logic: from superposition to instantiationBPR - Big proof Konstantin Korovin (University of Manchester). Seminar Room 2, Newton Institute. Thursday 27 July 2017, 13:30-14:30 Parametric Groebner basis computations and eliminationBPR - Big proof Deepak Kapur (University of New Mexico). Seminar Room 2, Newton Institute. Thursday 27 July 2017, 11:00-12:00 Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof . Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 16:30-17:30 Modelling the way mathematics is actually doneBPR - Big proof Joe Corneli (University of Edinburgh; University of London). Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 15:30-16:30 An overview of the Flyspeck projectBPR - Big proof Thomas Hales (University of Pittsburgh). Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 14:30-15:30 Concise - a synthesis of types, grammars, semanticsBPR - Big proof Arnold Neumaier (Universität Wien). Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 11:00-12:00 Systems Based on Set TheoryBPR - Big proof Josef Urban (Czech Technical University); Mario Carneiro (Carnegie Mellon University; Ohio State University); Bohua Zhan (Massachusetts Institute of Technology). Seminar Room 2, Newton Institute. Tuesday 25 July 2017, 14:00-16:00 Building blocks towards modeling the physical world: analysis, geometry, computer arithmeticsBPR - Big proof Yves Bertot (INRIA Sophia Antipolis). Seminar Room 2, Newton Institute. Tuesday 25 July 2017, 11:00-12:00 Big Proof & EducationBPR - Big proof Jeremy Avigad (Carnegie Mellon University). Seminar Room 2, Newton Institute. Monday 24 July 2017, 15:30-17:30 Language and automation in mathematicsBPR - Big proof Natarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa). Seminar Room 2, Newton Institute. Monday 24 July 2017, 11:00-12:00 Reasoning by equivalence: the start of proof in elementary educationBPR - Big proof Chris Sangwin (University of Edinburgh; University of Edinburgh). Seminar Room 2, Newton Institute. Friday 21 July 2017, 13:30-14:30 Computer Algebra and Formal ProofBPR - Big proof James Davenport (University of Bath). Seminar Room 2, Newton Institute. Friday 21 July 2017, 11:00-12:00 Social proof: social session on the POPL experienceBPR - Big proof Ursula Martin (University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 16:30-17:30 Socialising proofBPR - Big proof Lorenzo Lane (University of Edinburgh; University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 16:00-16:30 Measuring Sample Discrepancy with DiffusionsSIN - Scalable inference; statistical, algorithmic, computational aspects Andrew Duncan (University of Sussex; The Alan Turing Institute). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 15:40-16:20 Go forth and multiply! Imperatives in mathematical proofsBPR - Big proof Fenner Tanswell (University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 15:30-16:00 Multi-scale algorithms for simple fluidsSIN - Scalable inference; statistical, algorithmic, computational aspects Anthony Maggs (City of Paris Industrial Physics and Chemistry Higher Educational Institution, (ESPCI)). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 15:00-15:40 Combining Machine Learning and Automated Reasoning: Some Training ExamplesBPR - Big proof Josef Urban (Czech Technical University). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 13:30-14:30 Sampling with non-reversible dynamicsSIN - Scalable inference; statistical, algorithmic, computational aspects Michela Ottobre (Heriot-Watt University). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 12:50-13:30 Event-chain algorithms: taming randomness in Monte Carlo methods through irreversibility, factorization and liftingSIN - Scalable inference; statistical, algorithmic, computational aspects Michel Manon (Orange Lab). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 12:10-12:50 Mining Human Proofs from Machine ProofsBPR - Big proof Paulo Oliva (Queen Mary University of London; Queen Mary University of London). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 11:00-12:00 How does breaking detailed balance accelerate convergence to equilibrium?SIN - Scalable inference; statistical, algorithmic, computational aspects Robert Jack (University of Bath). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 11:00-11:40 Piecewise deterministic Markov processes and efficiency gains through exact subsampling for MCMCSIN - Scalable inference; statistical, algorithmic, computational aspects Joris Bierkens (Delft University of Technology). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 10:20-11:00 A simple prover in the browserBPR - Big proof Edward Ayers (University of Cambridge). Seminar Room 2, Newton Institute. Monday 17 July 2017, 17:00-17:30 Auto2 prover in IsabelleBPR - Big proof Bohua Zhan (Massachusetts Institute of Technology). Seminar Room 2, Newton Institute. Monday 17 July 2017, 16:30-17:00 Evaluating winding numbers through Cauchy indices in Isabelle/HOLBPR - Big proof Wenda Li (University of Cambridge). Seminar Room 2, Newton Institute. Monday 17 July 2017, 16:00-16:30 SMTCoq, a plug-in for the trustworthy integration of SAT/SMT solvers into CoqBPR - Big proof Cesare Tinelli (University of Iowa). Seminar Room 2, Newton Institute. Monday 17 July 2017, 15:30-16:00 CDSAT: conflict-driven theory combinationBPR - Big proof Maria Paola Bonacina (Università degli Studi di Verona). Seminar Room 2, Newton Institute. Monday 17 July 2017, 11:00-12:00 Panel on future directions for Big ProofBPRW01 - Computer-aided mathematical proof William Timothy Gowers (University of Cambridge); Natarajan Shankar (); Patrick Ion (University of Michigan). Seminar Room 1, Newton Institute. Friday 14 July 2017, 16:00-17:00 Panel on future directions for Big ProofBPRW01 - Computer-aided mathematical proof William Timothy Gowers (University of Cambridge); Natarajan Shankar (); Patrick Ion (University of Michigan). Seminar Room 1, Newton Institute. Friday 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 Stephanie Dick (Harvard University). Seminar Room 1, Newton Institute. Friday 14 July 2017, 13:30-14:30 Proof Archeology: Historical Mathematics from an Interactive Theorem Proving StandpointBPRW01 - Computer-aided mathematical proof Jacques Fleuriot (University of Edinburgh). Seminar Room 1, Newton Institute. Friday 14 July 2017, 11:30-12:30 Lightweight and Heavyweight Methods for Integrating Mathematical LibrariesBPRW01 - Computer-aided mathematical proof Michael Kohlhase (Jacobs University Bremen). Seminar Room 1, Newton Institute. Friday 14 July 2017, 10:00-11:00 The role of explanation in mathematical researchBPRW01 - Computer-aided mathematical proof Alison Pease (University of Dundee). Seminar Room 1, Newton Institute. Friday 14 July 2017, 09:00-10:00 Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your ProofsBPRW01 - Computer-aided mathematical proof Katya Komendenskaya (Heriot-Watt University). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 16:00-17:00 Accessible Reasoning with Diagrams: Ontology DebuggingBPRW01 - Computer-aided mathematical proof Mateja Jamnik (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 14:30-15:30 Formal Verification of Financial Algorithms, Progress and ProspectsBPRW01 - Computer-aided mathematical proof Grant Passmore (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 11:30-12:30 Mining the Archive of Formal ProofsBPRW01 - Computer-aided mathematical proof Tobias Nipkow (Technischen Universität München). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 10:00-11:00 Scaffolds and frames: the MathComp algebra formal libraryBPRW01 - Computer-aided mathematical proof Georges Gonthier (INRIA Saclay - Île-de-France). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 09:00-10:00 Everything's Bigger in Texas: ``The Largest Math Proof Ever''BPRW01 - Computer-aided mathematical proof Marijn Heule (University of Texas at Austin). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 16:00-17:00 The social machine of mathematicsBPRW01 - Computer-aided mathematical proof Ursula Martin (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 14:30-15:30 Hammers and Model Finders, and BeyondBPRW01 - Computer-aided mathematical proof Jasmin Blanchette (INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 11:30-12:30 Metaprogramming with Dependent Type TheoryBPRW01 - Computer-aided mathematical proof Leonardo de Moura (Microsoft Research). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 10:00-11:00 Formally Verified Approximations of Definite IntegralsBPRW01 - Computer-aided mathematical proof Assia Mahboubi (INRIA Saclay - Île-de-France). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 09:00-10:00 Schemas and semantics for Higher Inductive TypesBPRW01 - Computer-aided mathematical proof Peter LeFanu Lumsdaine (Stockholm University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 16:00-17:00 Small ProofsBPRW01 - Computer-aided mathematical proof Dan Licata (Wesleyan University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 14:30-15:30 Homotopy Type Theory in LeanBPRW01 - Computer-aided mathematical proof Floris van Doorn (Carnegie Mellon University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 11:30-12:30 Logic in univalent type theoryBPRW01 - Computer-aided mathematical proof Martin Escardo (University of Birmingham). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 10:00-11:00 Impredicative encodings in HoTTBPRW01 - Computer-aided mathematical proof Steve Awodey (Carnegie Mellon University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 09:00-10:00 Mathematical Knowledge at ScaleBPRW01 - Computer-aided mathematical proof Stephen Watt (University of Waterloo). Seminar Room 1, Newton Institute. Monday 10 July 2017, 16:00-17:00 Proof Assistants: From Symbolic Logic To Real Mathematics?BPRW01 - Computer-aided mathematical proof Larry Paulson (University of Cambridge). Seminar Room 1, Newton Institute. Monday 10 July 2017, 14:30-15:30 UniMath - its present and its future.BPRW01 - Computer-aided mathematical proof Vladimir Voevodsky (Institute for Advanced Study, Princeton). Seminar Room 1, Newton Institute. Monday 10 July 2017, 11:30-12:30 Big ConjecturesBPRW01 - Computer-aided mathematical proof Thomas Hales (University of Pittsburgh). Seminar Room 1, Newton Institute. Monday 10 July 2017, 10:00-11:00 International Knowledge Management TrustBPR - Big proof Stephen Watt (University of Waterloo); Patrick Ion (University of Michigan). Seminar Room 1, Newton Institute. Sunday 09 July 2017, 14:00-17:00 An Industrially Useful ProverBPR - Big proof J Strother Moore (University of Texas at Austin; University of Edinburgh). Seminar Room 2, Newton Institute. Friday 07 July 2017, 13:30-14:30 Homotopy Type Theory in AgdaBPR - Big proof Dan Licata (Wesleyan University); Kuen-Bang Hou (Favonia) (Carnegie Mellon University). Seminar Room 2, Newton Institute. Friday 07 July 2017, 12:00-12:30 Inference in generative models using the Wasserstein distanceSINW01 - Scalable statistical inference Christian Robert (CNRS & Université Paris-Dauphine ). Seminar Room 1, Newton Institute. Friday 07 July 2017, 11:45-12:30 The Lean HoTT libraryBPR - Big proof Floris van Doorn (Carnegie Mellon University). Seminar Room 2, Newton Institute. Friday 07 July 2017, 11:30-12:00 Exact Sampling for Multivariate DiffusionsSINW01 - Scalable statistical inference Jose Blanchet (Columbia University; Stanford University). Seminar Room 1, Newton Institute. Friday 07 July 2017, 11:00-11:45 The HoTT library in CoqBPR - Big proof Bas Spitters (Aarhus Universitet). Seminar Room 2, Newton Institute. Friday 07 July 2017, 11:00-11:30 Overview of UnimathBPR - Big proof Benedikt Ahrens (INRIA Rennes - Bretagne Atlantique); Catherine LELAY (Institute for Advanced Study, Princeton). Seminar Room 2, Newton Institute. Friday 07 July 2017, 10:00-11:00 Bradley-Terry models for pair-comparison networks: Structure and scalabilitySINW01 - Scalable statistical inference David Firth (University of Warwick). Seminar Room 1, Newton Institute. Friday 07 July 2017, 09:45-10:30 Langevin MCMC: theory and methodsSINW01 - Scalable statistical inference Eric François Moulines (Télécom ParisTech). Seminar Room 1, Newton Institute. Friday 07 July 2017, 09:00-09:45 Interpretation of the Calculus of Constructions in dictosesBPR - Big proof Martin Hofmann (Ludwig-Maximilians-Universität München). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 16:30-17:30 The Discrete Bouncy Particle SamplerSINW01 - Scalable statistical inference Chris Sherlock (Lancaster University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 16:15-17:00 Scalable Monte Carlo inference for state-space modelsSINW01 - Scalable statistical inference Sinan Yildirim (Sabanci University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 15:30-16:15 Nominal applications of the classifying space of the finitary permutation groupBPR - Big proof Ulrik Buchholtz (Technische Universität Darmstadt). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 15:30-16:30 The Correlated Pseudo-Marginal MethodSINW01 - Scalable statistical inference Arnaud Doucet (University of Oxford). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 14:15-15:00 A Verified ODE Solver and Smale's 14th ProblemBPR - Big proof Fabian Immler (Technische Universität München). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 13:40-14:20 Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximationSINW01 - Scalable statistical inference Matti Vihola (University of Jyväskylä ). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 13:30-14:15 Type theory and higher categoriesBPR - Big proof Chris Kapulkin (University of Western Ontario). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 13:00-13:40 Community recovery in weighted stochastic block modelsSINW01 - Scalable statistical inference Po-Ling Loh (University of Wisconsin-Madison). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 11:45-12:30 Detecting radiological anomaliesSINW01 - Scalable statistical inference James Scott (University of Texas at Austin). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 11:00-11:45 Industrial Use of a Mechanical Theorem ProverBPR - Big proof J Strother Moore (University of Texas at Austin; University of Edinburgh). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 11:00-12:00 Mobile Apps and Machine Learning for Improving HealthcareSINW01 - Scalable statistical inference Katherine Heller (Duke University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 09:45-10:30 Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional dataSINW01 - Scalable statistical inference Helen Zhang (University of Arizona). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 09:00-09:45 Towards Encrypted Inference for Arbitrary ModelsSINW01 - Scalable statistical inference Louis Aslett (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 16:15-17:00 Fast Bayesian Boolean Matrix FactorisationSINW01 - Scalable statistical inference Chris Holmes (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 15:30-16:15 Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof . Seminar Room 2, Newton Institute. Wednesday 05 July 2017, 15:30-17:30 Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect modelsSINW01 - Scalable statistical inference Gareth Roberts (University of Warwick). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 14:15-15:00 Exact Bayesian Inference for Big Data: Single- and Multi-Core ApproachesSINW01 - Scalable statistical inference Murray Pollock (University of Warwick). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 13:30-14:15 Semi-Automatic Asymptotics in Isabelle/HOLBPR - Big proof Manuel Eberl (Technische Universität München). Seminar Room 2, Newton Institute. Wednesday 05 July 2017, 13:30-14:30 On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methodsSINW01 - Scalable statistical inference Christophe Andrieu (University of Bristol). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 11:45-12:30 Kinetic energy choice in Hamiltonian/hybrid Monte CarloSINW01 - Scalable statistical inference Sam Livingstone (University of Bristol). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 11:00-11:45 Validating approximate Bayesian computation on posterior convergenceSINW01 - Scalable statistical inference Wentao Li (Lancaster University). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 09:45-10:30 Asymptotics of Approximate Bayesian ComputationSINW01 - Scalable statistical inference Paul Fearnhead (Lancaster University). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 09:00-09:45 Category theory and functional programming for scalable statistical modelling and computational inferenceSINW01 - Scalable statistical inference Darren Wilkinson (Newcastle University). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 16:15-17:00 Transferability: as easy as ABC?SINW01 - Scalable statistical inference Kerrie Mengersen (Queensland University of Technology). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 15:30-16:15 Big Proof and Education (coordinated by Jeremy Avigad)BPR - Big proof . Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 15:30-17:30 Designing efficient composite likelihoodsSINW01 - Scalable statistical inference Cristiano Varin (Università Cà Foscari di Venezia). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 14:15-15:00 Coresets for scalable Bayesian logistic regressionSINW01 - Scalable statistical inference Tamara Broderick (Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 13:30-14:15 Classical Analysis in Lean & IsabelleBPR - Big proof Johannes Hölzl (Carnegie Mellon University). Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 13:00-14:00 tbaSINW01 - Scalable statistical inference Jun Liu (Harvard University; Harvard University). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 11:45-12:30 Comparing Consensus Monte Carlo Strategies for Distributed Bayesian ComputationSINW01 - Scalable statistical inference Steven Scott (Google). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 11:00-11:45 Computational Higher-Dimensional Type TheoryBPR - Big proof Kuen-Bang Hou (Favonia) (Carnegie Mellon University). Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 10:30-11:30 Unbiased approximations of products of expectationsSINW01 - Scalable statistical inference Anthony Lee (University of Warwick). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 09:45-10:30 Variational, Hamiltonian and Symplectic Perspectives on AccelerationSINW01 - Scalable statistical inference Michael Jordan (University of California, Berkeley). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 09:00-09:45 Inference AlgorithmsBPR - Big proof Natarajan Shankar (SRI International). Seminar Room 2, Newton Institute. Monday 03 July 2017, 16:30-17:30 Scalable statistical inference with INLASINW01 - Scalable statistical inference Havard Rue (Norwegian University of Science and Technology). Seminar Room 1, Newton Institute. Monday 03 July 2017, 16:15-17:00 Inference with approximate likelihoodsSINW01 - Scalable statistical inference Helen Ogden (University of Southampton). Seminar Room 1, Newton Institute. Monday 03 July 2017, 15:30-16:15 Proof Automation - Automation in Isabelle's AnalysisBPR - Big proof Johannes Hölzl (Carnegie Mellon University). Seminar Room 2, Newton Institute. Monday 03 July 2017, 15:30-16:30 Monte Carlo without rejectionSINW01 - Scalable statistical inference Alexandre Bouchard (University of British Columbia). Seminar Room 1, Newton Institute. Monday 03 July 2017, 14:15-15:00 Data compression with statistical guaranteesSINW01 - Scalable statistical inference Sylvia Richardson (University of Cambridge). Seminar Room 1, Newton Institute. Monday 03 July 2017, 13:30-14:15 Synthetic topology in Homotopy Type Theory for probabilistic programmingBPR - Big proof Bas Spitters (Aarhus Universitet). Seminar Room 2, Newton Institute. Monday 03 July 2017, 11:00-12:00 Left-orderability and 3-manifold groups: Rothschild LectureHTLW04 - Quantum topology and categorified representation theory Cameron Gordon (University of Texas at Austin). Seminar Room 1, Newton Institute. Friday 30 June 2017, 15:00-16:00 A tutorial introduction to AgdaBPR - Big proof Andreas Abel (Göteborgs Universitet). Seminar Room 2, Newton Institute. Friday 30 June 2017, 11:00-12:00 A tutorial introduction to the PVS proof assistantBPR - Big proof Natarajan Shankar (SRI International). Seminar Room 2, Newton Institute. Friday 30 June 2017, 10:00-11:00 Quantum Annular Link Homology via Trace FunctorHTLW04 - Quantum topology and categorified representation theory Anna Beliakova (Universität Zürich). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 16:00-17:00 HoTT research seminar (Coquand & Rijke)BPR - Big proof Andrew Pitts (University of Cambridge). Seminar Room 2, Newton Institute. Thursday 29 June 2017, 15:30-17:30 Towards a categorical boson-fermion correspondenceHTLW04 - Quantum topology and categorified representation theory Yian Tian (Tsinghua University). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 14:30-15:30 Some webs and q-Howe dualities in types BCDHTLW04 - Quantum topology and categorified representation theory Daniel Tubbenhauer (Universität Bonn). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 13:30-14:30 Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ringHTLW04 - Quantum topology and categorified representation theory Radmila Sazdanovic (North Carolina State University). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 11:30-12:30 The Lean Theorem ProverBPR - Big proof Jeremy Avigad (Carnegie Mellon University). Seminar Room 2, Newton Institute. Thursday 29 June 2017, 11:00-12:00 2-Verma modules and the Khovanov-Rozansky link homologiesHTLW04 - Quantum topology and categorified representation theory Pedro Vaz (Université Catholique de Louvain ). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 10:00-11:00 Categorical diagonalizationHTLW04 - Quantum topology and categorified representation theory Matthew Hogancamp (University of Southern California). Seminar Room 1, Newton Institute. Wednesday 28 June 2017, 11:30-12:30 Effectivity and Complexity Results in Hilbert's 17th problem Marie-Françoise Roy Université de Rennes 1, FranceBPR - Big proof Marie-Françoise Roy (Université de Rennes 1; Université de Rennes 1). Seminar Room 2, Newton Institute. Wednesday 28 June 2017, 11:00-12:00 Categorified knot invariants and algebraic geometryHTLW04 - Quantum topology and categorified representation theory Andrei Negut (Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Wednesday 28 June 2017, 10:00-11:00 On colored link homologiesHTLW04 - Quantum topology and categorified representation theory Paul Wedrich (Imperial College London). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 16:00-17:00 Representation theory and the Coulomb branchHTLW04 - Quantum topology and categorified representation theory Ben Webster (University of Virginia). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 14:30-15:30 Using Agda to Explore Path-Oriented Models of Type TheoryBPR - Big proof Andrew Pitts (University of Cambridge). Seminar Room 2, Newton Institute. Tuesday 27 June 2017, 13:30-14:30 An Upsilon-like invariant from Khovanov-Rozansky homologyHTLW04 - Quantum topology and categorified representation theory Lukas Lewark (Universität Bern). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 13:30-14:30 Introduction to p-dg 2-representation theoryHTLW04 - Quantum topology and categorified representation theory Vanessa Miemietz (University of East Anglia). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 11:30-12:30 Univalent type theory and modular formalisation of mathematicsBPR - Big proof Thierry Coquand (Göteborgs Universitet). Seminar Room 2, Newton Institute. Tuesday 27 June 2017, 11:00-12:00 How to categorify the ring of integers localized at twoHTLW04 - Quantum topology and categorified representation theory Mikhail Khovanov (Columbia University). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 10:00-11:00 Around Chebyshev's polynomial and the skein algebra of the torusHTLW04 - Quantum topology and categorified representation theory Hoel Queffelec (CNRS (Centre national de la recherche scientifique); Université de Montpellier). Seminar Room 1, Newton Institute. Monday 26 June 2017, 16:00-17:00 Traces, current algebras, and link homologiesHTLW04 - Quantum topology and categorified representation theory David Rose (University of North Carolina ). Seminar Room 1, Newton Institute. Monday 26 June 2017, 14:30-15:30 Hall algebras and Fukaya categoriesHTLW04 - Quantum topology and categorified representation theory Peter Samuelson (University of Edinburgh). Seminar Room 1, Newton Institute. Monday 26 June 2017, 13:30-14:30 Lattices and Homological AlgebraHTLW04 - Quantum topology and categorified representation theory Zsuzsanna Dancso (University of Sydney). Seminar Room 1, Newton Institute. Monday 26 June 2017, 11:30-12:30 The Big Proof Agenda for Mechanizing Mathematical DiscourseBPR - Big proof Natarajan Shankar (SRI International). Seminar Room 2, Newton Institute. Monday 26 June 2017, 11:00-12:00 Non semisimple TQFTs from quantum sl(2)HTLW04 - Quantum topology and categorified representation theory Christian Blanchet (Université Denis Diderot). Seminar Room 1, Newton Institute. Monday 26 June 2017, 10:00-11:00 The borders of Outer spaceNPCW05 - Group actions and cohomology in non-positive curvature Karen Vogtmann (University of Warwick; Cornell University). Seminar Room 1, Newton Institute. Friday 23 June 2017, 14:30-15:30 Topology of ends of nonpositively curved manifoldsNPCW05 - Group actions and cohomology in non-positive curvature Grigori Avramidi (Universität Münster). Seminar Room 1, Newton Institute. Friday 23 June 2017, 13:30-14:30 Free-by-cyclic groups and treesNPCW05 - Group actions and cohomology in non-positive curvature Christopher Leininger (University of Illinois at Chicago). Seminar Room 1, Newton Institute. Friday 23 June 2017, 11:30-12:30 Action dimension and L^2 CohomologyNPCW05 - Group actions and cohomology in non-positive curvature Kevin Schreve (University of Michigan). Seminar Room 1, Newton Institute. Friday 23 June 2017, 10:00-11:00 The dynamics of classifying geometric structuresNPCW05 - Group actions and cohomology in non-positive curvature Bill Goldman (University of Maryland). Seminar Room 1, Newton Institute. Friday 23 June 2017, 09:00-10:00 Extending group actions on metric spacesNPCW05 - Group actions and cohomology in non-positive curvature Denis Osin (Vanderbilt University). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 16:00-17:00 Hyperbolic groups with boundary an n-dimensional Sierpinski spaceNPCW05 - Group actions and cohomology in non-positive curvature Jean-Francois Lafont (Ohio State University). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 14:30-15:30 Vanishing simplicial volume for certain affine manifoldsNPCW05 - Group actions and cohomology in non-positive curvature Michelle Bucher (Université de Genève). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 11:30-12:30 Please see above for contact details for this list. |
Other listsARClub Talks CUED Speech Group Seminars Wer ist in Deutschland willkommen? Data & Stata do ... - Mendeley Data https://data.mendeley.com/datasets?... Traduire cette page 8 nov. 2016 - N Boudemagh. N Boudemagh. Contribution: PhD, network ASSET MANAGEMENT. 07 Nov 2016 in: Smart TransportationOther talksQuantifying the effect of interactions in many-body systems Analysis of Nonlinear Equations in the Power Grid Welcome and Introduction Prof. Matt Higgins - Title to be Confirmed Revolution and the Cult of the Leader Solar Energy, Skills Development and Employment Opportunities in India |