COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
INI info aggregator
Add to your list(s)
Send you e-mail reminders
Further detail
If you have a question about this list, please contact: Gareth Marlow; Mustapha Amrani; mr349. If you have a question about a specific talk, click on that talk to find its organiser. 66 upcoming talks and 7753 talks in the archive: show all (slow!). Isaac Newton Institute Seminar Series Panel Discussion SessionTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Gabriel Paternain (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Using Data to Improve Decision Making in a Complex WorldTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Rob Armstrong (Tesco). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 15:00-15:35 Isaac Newton Institute Seminar Series Sequential Decision-Making under Uncertainty: Bandit OptimisationTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Quentin Berthet (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 14:25-15:00 Isaac Newton Institute Seminar Series Modelling Volatility Surfaces - Dimension Reduction Techniques to Extract Structure from Option Price DataTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Samuel Jones (Cantab Capital Partners). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 13:50-14:25 Isaac Newton Institute Seminar Series Calculating for Pleasure – Modelling and Maths in Ice Cream Research at UnileverTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Peter Schuetz (Unilever R&D). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 12:20-12:50 Isaac Newton Institute Seminar Series Measurement Traceability and New Measurement ModalitiesTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Alistair Forbes (National Physical Laboratory). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 11:50-12:20 Isaac Newton Institute Seminar Series Analysis of Nonlinear Equations in the Power GridTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Krishnamurthy Dvijotham (Google DeepMind Technologies Limited). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 10:55-11:30 Isaac Newton Institute Seminar Series Polynomial Optimisation and Semidefinite ProgrammingTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Hamza Fawzi (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 10:20-10:55 Isaac Newton Institute Seminar Series Welcome and Introduction - Update from Cantab Capital Institute for the Mathematics of InformationTGMW49 - Cantab Capital Institute for the Mathematics of Information – Connecting with Industry Matthew Killeya (Cantab Capital Partners); Carola-Bibiane Schönlieb (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 22 November 2017, 10:00-10:20 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series tbaGFSW03 - Shape analysis and computational anatomy . Seminar Room 1, Newton Institute. Monday 13 November 2017, 11:30-12:15 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Friction of Sea IceSIPW03 - Ice-structure interaction Erland Schulson (Dartmouth College). Seminar Room 1, Newton Institute. Monday 06 November 2017, 10:00-11:00 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series QuestionsTGMW48 - Developments in Healthcare Imaging - Connecting with Industry . Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 15:10-15:15 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series IntroductionTGMW48 - Developments in Healthcare Imaging - Connecting with Industry Fred Wilson (GlaxoSmithKline). Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 14:00-14:05 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series IntroductionTGMW48 - Developments in Healthcare Imaging - Connecting with Industry . Seminar Room 1, Newton Institute. Wednesday 18 October 2017, 10:30-10:35 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series title and abstract tbaGFS - Growth form and self-organisation . Seminar Room 2, Newton Institute. Tuesday 03 October 2017, 11:00-12:00 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Questions and DiscussionOFBW35 - Future Developments in Climate Sea Ice Modelling . Seminar Room 1, Newton Institute. Monday 25 September 2017, 15:10-15:50 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Lunch and PostersOFBW35 - Future Developments in Climate Sea Ice Modelling . Seminar Room 1, Newton Institute. Monday 25 September 2017, 13:00-14:30 Isaac Newton Institute Seminar Series Questions and DiscussionOFBW35 - Future Developments in Climate Sea Ice Modelling . Seminar Room 1, Newton Institute. Monday 25 September 2017, 12:20-13:00 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Questions and DiscussionOFBW35 - Future Developments in Climate Sea Ice Modelling . Seminar Room 1, Newton Institute. Monday 25 September 2017, 10:40-11:20 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Drinks Reception and NetworkingOFBW32 - Computational Challenges in Image Processing . Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 17:00-18:00 Isaac Newton Institute Seminar Series Open Discussion and QuestionsOFBW32 - Computational Challenges in Image Processing . Seminar Room 1, Newton Institute. Tuesday 05 September 2017, 16:35-17:00 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof . Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 16:30-17:30 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Big Proof & EducationBPR - Big proof Jeremy Avigad (Carnegie Mellon University). Seminar Room 2, Newton Institute. Monday 24 July 2017, 15:30-17:30 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Small ProofsBPRW01 - Computer-aided mathematical proof Dan Licata (Wesleyan University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 14:30-15:30 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Big ConjecturesBPRW01 - Computer-aided mathematical proof Thomas Hales (University of Pittsburgh). Seminar Room 1, Newton Institute. Monday 10 July 2017, 10:00-11:00 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series The HoTT library in CoqBPR - Big proof Bas Spitters (Aarhus Universitet). Seminar Room 2, Newton Institute. Friday 07 July 2017, 11:00-11:30 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof . Seminar Room 2, Newton Institute. Wednesday 05 July 2017, 15:30-17:30 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Big Proof and Education (coordinated by Jeremy Avigad)BPR - Big proof . Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 15:30-17:30 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series tbaSINW01 - Scalable statistical inference Jun Liu (Harvard University; Harvard University). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 11:45-12:30 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series Inference AlgorithmsBPR - Big proof Natarajan Shankar (SRI International). Seminar Room 2, Newton Institute. Monday 03 July 2017, 16:30-17:30 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series The Lean Theorem ProverBPR - Big proof Jeremy Avigad (Carnegie Mellon University). Seminar Room 2, Newton Institute. Thursday 29 June 2017, 11:00-12:00 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Isaac Newton Institute Seminar Series 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 Please see above for contact details for this list. |
Other listsMRC Biostatistics Unit Seminars Henry Martyn Lectures Immigration in GermanyOther talksFunctional dissection of 3'UTR and RNA cis-regulatory elements by CRISPR-Cas9 genome engineering Before the big bang of the Square Kilometre Array (SKA): 250 years of astronomy in South Africa Foster Talk: Science Magazine's "Breakthrough of the Year' 2016 Solar Energy, Skills Development and Employment Opportunities in India Expected Returns and Risk in the Stock Market Towards Durable Hydrophobicity and Omniphobicity |