COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
All CMS events
Add to your list(s)
Send you e-mail reminders
Further detail
All events at the Centre for Mathematical Sciences. This list is used as a source for events displayed on the DAMTP website at http://www.damtp.cam.ac.uk/. What lists provides data to what service If you have a question about this list, please contact: Chris Mortimer; John Sutton; D. Finucane; Julie Bazin; Eva Myers; Owen Dunn; Alex Boggis; Dr. Frank Lee; Tom O'Shea. If you have a question about a specific talk, click on that talk to find its organiser. 130 upcoming talks and 14285 talks in the archive: show all (slow!). 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 Compactly Supported Shearlets: Theory and ApplicationsPLEASE NOTE THE CHANGE TO START TIME. THIS LECTURE WILL NOW START AT 14.00 Professor Dr Gitta Kutyniok, Einstein-Professorin, Technische Universität Berlin. MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Tuesday 19 September 2017, 14:00-15:00 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 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 Revolutionizing Medicine through Machine Learning and Artificial IntelligencePLEASE NOTE: THE CHANGE TO START TIME FOR THIS LECTURE HAS REVERTED TO THE ORIGINAL TIME OF 3PM FOLLOWED BY REFRESHMENTS IN CENTRAL CORE AT 4PM Professor Mihaela van der Schaar, University of Oxford and Alan Turing Institute. MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 14 September 2017, 15:00-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 British Algebraic Geometry meeting (BrAG)Various speakers. Wednesday 13 September 2017, 09:00-13:15 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 Biological and bio-inspired locomotion at small scales.Refreshments will be available after the Seminar in Central Core at 16.00 hrs Professor Antonio DeSimone - SISSA International School for Advanced Studies, Trieste, Italy. MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Monday 11 September 2017, 15:00-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 Acoustic radiation force and its biomedical applicationsProfessor Lev Ostrovsky, University of Colarado, Boulder and University of North Carolina. MR5, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Monday 11 September 2017, 11:00-12:00 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 Statistics Clinic Summer 2017 - IISpeaker to be confirmed. Centre for Mathematical Sciences, Meeting Room 4 (centre building, basement). Wednesday 23 August 2017, 16:30-18: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 Distribution of gyrotactic cells in complex three-dimensional flowLi Zeng. MR11, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Wednesday 16 August 2017, 13:00-14:00 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 Ultrafilters, ultraproducts and ultracategoriesRichard Garner, Macquarie University, Sydney, Australia. MR5, Centre for Mathematical Sciences. Thursday 10 August 2017, 14:15-15:15 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 Millennium Mathematics Project (http://maths.org) Y12 Experience Cambridge DayMathematics Faculty and Cambridge Admissions Office. Centre for Mathematical Sciences. Thursday 20 July 2017, 10:15-16:15 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 Statistics Clinic Summer 2017 - ISpeaker to be confirmed. Centre for Mathematical Sciences, Meeting Room 12 (centre building, basement). Wednesday 12 July 2017, 16:30-18: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 The Laplacian on some finitely ramified self-conformal circle packing fractals and Weyl's asymptotics for its eigenvaluesNaotaka Kajino (Kobe University, Japan). MR12, CMS, Wilberforce Road, Cambridge, CB3 0WB. Tuesday 04 July 2017, 16:15-17:15 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 HEP phenomenology joint Cavendish-DAMTP seminar MSSM: muon g-2, dark matter and cosmologyMatthew Talia (University of Sydney). Tuesday 27 June 2017, 15:00-16:30 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 Isaac Newton Institute Seminar Series Non semisimple TQFTs from quantum sl(2)HTLW04 - Quantum topology and categorified representation theory Christian Blanchet (Université Denis Diderot). Seminar Room 1, Newton Institute. Monday 26 June 2017, 10:00-11:00 Train tracks, curves and efficient positionRonja Kuhne (Warwick). MR13. Friday 23 June 2017, 15:00-16:00 Isaac Newton Institute Seminar Series The borders of Outer spaceNPCW05 - Group actions and cohomology in non-positive curvature Karen Vogtmann (University of Warwick; Cornell University). Seminar Room 1, Newton Institute. Friday 23 June 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Topology of ends of nonpositively curved manifoldsNPCW05 - Group actions and cohomology in non-positive curvature Grigori Avramidi (Universität Münster). Seminar Room 1, Newton Institute. Friday 23 June 2017, 13:30-14:30 Isaac Newton Institute Seminar Series Free-by-cyclic groups and treesNPCW05 - Group actions and cohomology in non-positive curvature Christopher Leininger (University of Illinois at Chicago). Seminar Room 1, Newton Institute. Friday 23 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Action dimension and L^2 CohomologyNPCW05 - Group actions and cohomology in non-positive curvature Kevin Schreve (University of Michigan). Seminar Room 1, Newton Institute. Friday 23 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series The dynamics of classifying geometric structuresNPCW05 - Group actions and cohomology in non-positive curvature Bill Goldman (University of Maryland). Seminar Room 1, Newton Institute. Friday 23 June 2017, 09:00-10:00 Isaac Newton Institute Seminar Series Extending group actions on metric spacesNPCW05 - Group actions and cohomology in non-positive curvature Denis Osin (Vanderbilt University). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Hyperbolic groups with boundary an n-dimensional Sierpinski spaceNPCW05 - Group actions and cohomology in non-positive curvature Jean-Francois Lafont (Ohio State University). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 14:30-15:30 An alternative proof of the Shannon-McMillan theorem for ergodic quantum lattice systemsYoshiko Ogata, Tokyo. MR4, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 22 June 2017, 14:15-15:15 Isaac Newton Institute Seminar Series Vanishing simplicial volume for certain affine manifoldsNPCW05 - Group actions and cohomology in non-positive curvature Michelle Bucher (Université de Genève). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series L2-torsion of free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature Matt Clay (University of Arkansas). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series tbaNPCW05 - Group actions and cohomology in non-positive curvature Vladimir Markovic (CALTECH (California Institute of Technology)). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 09:00-10:00 Isaac Newton Institute Seminar Series Surface subgroups of graphs of free groupsNPCW05 - Group actions and cohomology in non-positive curvature Henry Wilton (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 21 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series The boundary of hyperbolic free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature Yael Algom Kfir (University of Haifa). Seminar Room 1, Newton Institute. Wednesday 21 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Generalized Bestvina-Brady groups and their applicationsNPCW05 - Group actions and cohomology in non-positive curvature Ian Leary (University of Southampton). Seminar Room 1, Newton Institute. Wednesday 21 June 2017, 09:00-10:00 Isaac Newton Institute Seminar Series The evolution of L2-Betti numbersNPCW05 - Group actions and cohomology in non-positive curvature Roman Sauer (Karlsruhe Institute of Technology (KIT)). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 16:00-17:00 Conformal and projective compactifications in GRRod Gover (Auckland NZ). MR11. Tuesday 20 June 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Group actions on C*-algebras and obstruction theoryOAS - Operator algebras: subfactors and their applications Masaki Izumi (Kyoto University). Seminar Room 2, Newton Institute. Tuesday 20 June 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Effective quasimorphisms on right-angled Artin groupsNPCW05 - Group actions and cohomology in non-positive curvature Jing Tao (University of Oklahoma). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Groups acting on trees: representation theory and operator algebrasOAS - Operator algebras: subfactors and their applications Sven Raum (EPFL - Ecole Polytechnique Fédérale de Lausanne). Seminar Room 2, Newton Institute. Tuesday 20 June 2017, 13:30-14:30 Isaac Newton Institute Seminar Series Polynomial invariants of graph maps and applications to Out(Fn) and Mod(Sgn)NPCW05 - Group actions and cohomology in non-positive curvature Eriko Hironaka (American Mathematical Society; Florida State University). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Universal L2-torsion for free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature Dawid Kielak (Universität Bielefeld ). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Kaehler groups and CAT(0) cubic complexesNPCW05 - Group actions and cohomology in non-positive curvature Thomas Delzant (Université Louis Pasteur). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 09:00-10:00 Isaac Newton Institute Seminar Series Geodesic currents and counting problemsNPCW05 - Group actions and cohomology in non-positive curvature Kasra Rafi (University of Toronto). Seminar Room 1, Newton Institute. Monday 19 June 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Around a big mapping class groupNPCW05 - Group actions and cohomology in non-positive curvature Juliette Bavard (University of Chicago). Seminar Room 1, Newton Institute. Monday 19 June 2017, 14:30-15:30 Isaac Newton Institute Seminar Series The uniform boundary condition and simplicial volumesNPCW05 - Group actions and cohomology in non-positive curvature Clara Löh (Universität Regensburg). Seminar Room 1, Newton Institute. Monday 19 June 2017, 13:30-14:30 Isaac Newton Institute Seminar Series Bounded cohomology and combinatorial volume formsNPCW05 - Group actions and cohomology in non-positive curvature Roberto Frigerio (Università di Pisa). Seminar Room 1, Newton Institute. Monday 19 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Compactifications of spaces of maximal representations and non archimedean geometryNPCW05 - Group actions and cohomology in non-positive curvature Marc Burger (ETH Zürich). Seminar Room 1, Newton Institute. Monday 19 June 2017, 10:00-11:00 Decoding from Pooled Data: Information-Theoretic bounds and a Message-Passing AlgorithmAhmed El Alaoui (UC Berkeley). MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.. Friday 16 June 2017, 16:00-17:00 HEP phenomenology joint Cavendish-DAMTP seminar Z’ physics at the LHCElena Accomando (University of Southampton). Seminar Room B, Rutherford Building, Cavendish Laboratory. Friday 16 June 2017, 16:00-17:30 Isaac Newton Institute Seminar Series The truth about finite group orbifoldsOASW03 - Subfactors, K-theory and conformal field theory Terry Gannon (University of Alberta). Seminar Room 1, Newton Institute. Friday 16 June 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Conformal nets, VOAs and their representationsOASW03 - Subfactors, K-theory and conformal field theory Sebastiano Carpi (Università degli Studi Gabriele d'Annunzio). Seminar Room 1, Newton Institute. Friday 16 June 2017, 13:30-14:30 Isaac Newton Institute Seminar Series What to expect from logarithmic conformal field theoryOASW03 - Subfactors, K-theory and conformal field theory Simon Wood (Cardiff University). Seminar Room 1, Newton Institute. Friday 16 June 2017, 11:30-12:30 Woolly Owl (Oxford/Cambridge)18th Oxford/Cambridge Applied Mathematics Meeting. MR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Friday 16 June 2017, 11:00-17:00 Isaac Newton Institute Seminar Series On the Classification of holomorphic vertex operator algebras of central charge 24OASW03 - Subfactors, K-theory and conformal field theory Ching Hung Lam (Academia Sinica). Seminar Room 1, Newton Institute. Friday 16 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series On questions around reconstruction programOASW03 - Subfactors, K-theory and conformal field theory Feng Xu (). Seminar Room 1, Newton Institute. Friday 16 June 2017, 09:00-10:00 Isaac Newton Institute Seminar Series Affine centralizer algebrasOASW03 - Subfactors, K-theory and conformal field theory Lilit Martirosyan (Max-Planck-Institut für Mathematik, Bonn). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 16:00-17:00 Applied and Computational Analysis Computer-assisted proofs for dynamical systemsMaxime Breden (ENS Paris-Saclay & Université Laval). Thursday 15 June 2017, 15:00-16:00 Isaac Newton Institute Seminar Series Bicommutant categoriesOASW03 - Subfactors, K-theory and conformal field theory Andre Henriques (University of Oxford; Universiteit Utrecht). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 14:30-15:30 Isaac Newton Institute Seminar Series The string group and vertex algebrasOASW03 - Subfactors, K-theory and conformal field theory Christian Voigt (University of Glasgow). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 13:30-14:30 Quantum Fields and Strings Seminars Towards a string field theory for supergravityRon Reid-Edwards - Hull. Potter Room (first floor, Pav. B). Thursday 15 June 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Induced C*-hulls for *-algebrasOASW03 - Subfactors, K-theory and conformal field theory Ralf Meyer (Georg-August-Universität Göttingen). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Loop groups and noncommutative geometryOASW03 - Subfactors, K-theory and conformal field theory Robin Hillier (). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Conformal Field Theory, Operator algebras and symmetric Fuchsian equationsOASW03 - Subfactors, K-theory and conformal field theory Antony Wassermann (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 09:00-10:00 Algebra and Representation Theory Seminar Action of automorphisms on irreducible characters of symplectic groupsJay Taylor (Arizona). MR12. Wednesday 14 June 2017, 16:30-17:30 Cambridge Analysts' Knowledge Exchange (C.A.K.E.) Physical Perspectives on Modern ComputationSamuel Power (University of Cambridge). MR14, Centre for Mathematical Sciences. Wednesday 14 June 2017, 16:00-17:00 Seemingly Unrelated Regression models for mixed-type data with an application to "fine-mapping" in geneticsJoint CMIH-CCIMI seminar. Note unusual time. Leonardo Bottolo (MRC Biostatistics Unit & ATI fellow). MR12 Centre for Mathematical Sciences. Wednesday 14 June 2017, 13:30-14:30 Isaac Newton Institute Seminar Series Knots and links from the Thompson groupsNPC - Non-positive curvature group actions and cohomology Vaughan Jones (Vanderbilt University; University of California, Berkeley; University of Auckland). Seminar Room 1, Newton Institute. Wednesday 14 June 2017, 13:00-14:00 Phage migration along bacterial flagella: A model for the nut-and-bolt mechanismPanayiota Katsamba (University of Cambridge). MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Wednesday 14 June 2017, 12:30-13:30 Isaac Newton Institute Seminar Series Line bundles over noncommutative spacesOASW03 - Subfactors, K-theory and conformal field theory Giovanni Landi (Università degli Studi di Trieste ). Seminar Room 1, Newton Institute. Wednesday 14 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series An application of T-duality to K-theoryOASW03 - Subfactors, K-theory and conformal field theory Pedram Hekmati (IMPA - Instituto Nacional de Matemática Pura e Aplicada, Rio de Janeiro; University of Auckland). Seminar Room 1, Newton Institute. Wednesday 14 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Kramer-Wannier and electro-magnetic duality in field theoryOASW03 - Subfactors, K-theory and conformal field theory Constantin Teleman (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 14 June 2017, 09:00-10:00 Isaac Newton Institute Seminar Series The Quantum Sine-Gordon model in perturbative AQFTOASW03 - Subfactors, K-theory and conformal field theory Kasia Rejner (University of York). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Yang-Baxter representations of the infinite symmetric groupOASW03 - Subfactors, K-theory and conformal field theory Gandalf Lechner (Cardiff University). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Baxterising using conserved currentsOASW03 - Subfactors, K-theory and conformal field theory Paul Fendley (University of Oxford). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 13:30-14:30 Informal Lunch Seminars in AFD Exploring the shear dynamo modelRobert Teed (DAMTP). MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Tuesday 13 June 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Associative algebras and conformal field theoriesOASW03 - Subfactors, K-theory and conformal field theory Hubert Saleur (University of Southern California). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Strong property (T), subexponential growth of derivatives and invariant metricsNPC - Non-positive curvature group actions and cohomology David Fisher (Indiana University; Indiana University). Seminar Room 2, Newton Institute. Tuesday 13 June 2017, 11:00-12:00 Isaac Newton Institute Seminar Series Synergy on quon languageOASW03 - Subfactors, K-theory and conformal field theory Zhengwei Liu (). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Subfactors with infinite representation theoryOASW03 - Subfactors, K-theory and conformal field theory Dietmar Bisch (Vanderbilt University). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 09:00-10:00 Geometric Analysis and Partial Differential Equations seminar Non-Newtonian fluids: applications of Orlicz spaces in the theory of nonlinear PDEAneta Wroblewska. Monday 12 June 2017, 16:00-17:00 Planet formation and evolution: origin of the diversity of planetary systemsAlessandro Morbidelli (Nice). MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Monday 12 June 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Rothschild Lecture: Classification of von Neumann algebrasOASW03 - Subfactors, K-theory and conformal field theory Stefaan Vaes (KU Leuven). Seminar Room 1, Newton Institute. Monday 12 June 2017, 16:00-17:00 Geometric Analysis and Partial Differential Equations seminar Moments estimates for the discrete coagulation-fragmentation equations with diffusionMaxime Breden, ENS Paris-Saclay & Université Laval. Monday 12 June 2017, 15:10-16:10 Isaac Newton Institute Seminar Series Discussion about the Landauer principle (and bound)OASW03 - Subfactors, K-theory and conformal field theory Roberto Longo (Università degli Studi di Roma Tor Vergata). Seminar Room 1, Newton Institute. Monday 12 June 2017, 14:30-15:30 Geometric Analysis and Partial Differential Equations seminar Variational constructions of minimal surfacesDaniel Ketover (Princeton). Monday 12 June 2017, 14:00-15:00 Isaac Newton Institute Seminar Series The relative Drinfeld commutant and alpha-inductionOASW03 - Subfactors, K-theory and conformal field theory Yasu Kawahigashi (University of Tokyo). Seminar Room 1, Newton Institute. Monday 12 June 2017, 13:30-14:30 Non-linear structure formation in non-standard cosmological modelsKazuya Koyama (Portsmouth). CMS, Pav. B, CTC Common Room (B1.19) [Potter Room]. Monday 12 June 2017, 13:00-14:00 Isaac Newton Institute Seminar Series On Picture LanguageOASW03 - Subfactors, K-theory and conformal field theory Arthur Jaffe (Harvard University). Seminar Room 1, Newton Institute. Monday 12 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Phase transitions in the semicontinuous limit of a quantum spin chainOASW03 - Subfactors, K-theory and conformal field theory Vaughan Jones (Vanderbilt University; University of California, Berkeley). Seminar Room 1, Newton Institute. Monday 12 June 2017, 10:00-11:00 Riemann problems for nonlinear dispersive PDEMichael Shearer (North Carolina State University). MR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Friday 09 June 2017, 16:00-17:00 HEP phenomenology joint Cavendish-DAMTP seminar Stellar cooling bounds on new light particles: including plasma effectsEdward Hardy (ICTP Trieste). Friday 09 June 2017, 16:00-17:30 Variable clustering: optimal bounds and a convex approachNicolas Verzelen (INRA). MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.. Friday 09 June 2017, 15:00-16:00 Geometric Group Theory (GGT) Seminar A Conjecture from 1986 about splittings of groups: its statement, potential generalizations, and Martin Dunwoody's proofPeter Kropholler (University of Southampton). Friday 09 June 2017, 13:45-15:00 Isaac Newton Institute Seminar Series Khovanov homology and knot Floer homology for pointed linksHTL - Homology theories in low dimensional topology Adam Levine (Princeton University). Seminar Room 2, Newton Institute. Friday 09 June 2017, 13:30-14:30 The Conformal BMS GroupSasha Haco. Pavilion B Potter Room (B1.19). Friday 09 June 2017, 13:00-14:00 Complex dynamics and elliptic curvesLaura DeMarco (Northwestern University). Thursday 08 June 2017, 17:00-18:00 Isaac Newton Institute Seminar Series Morse Structures on Open BooksHTL - Homology theories in low dimensional topology Joan Licata (Australian National University). Seminar Room 2, Newton Institute. Thursday 08 June 2017, 15:15-16:15 Isaac Newton Institute Seminar Series Introduction to continuous fields of C*-algebras and their topological invariants (Part 3)OAS - Operator algebras: subfactors and their applications Marius Dadarlat (Purdue University; Purdue University). Seminar Room 2, Newton Institute. Thursday 08 June 2017, 14:00-15:00 Moderate and Large Deviation Analysis for C-Q ChannelsMin-Hsiu Hsieh. MR11, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 08 June 2017, 14:00-15:00 Quantum Fields and Strings Seminars Aspects of Berry phase in QFTVasileios Niarchos - Durham. Potter Room (first floor, Pav. B). Thursday 08 June 2017, 13:00-14:00 Swirling a glass: wine vs. beerFrédéric Moisy (University Paris-Sud). MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 08 June 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Pimsner legacyOAS - Operator algebras: subfactors and their applications Emmanuel Germain (Université de Caen Basse-Normandie). Seminar Room 2, Newton Institute. Thursday 08 June 2017, 12:45-13:45 Statistics Clinic Easter Term 2017 - IVSpeaker to be confirmed. Centre for Mathematical Sciences, Meeting Room 14 (centre building, basement). Wednesday 07 June 2017, 16:30-18:00 Algebra and Representation Theory Seminar Amenability, cellular automata and group-graded ringsPeter Kropholler (Southampton). MR12. Wednesday 07 June 2017, 16:30-17:30 Cambridge Analysts' Knowledge Exchange (C.A.K.E.) On embeddings of finite subsets of lpJames Kilbane. MR14, Centre for Mathematical Sciences. Wednesday 07 June 2017, 16:00-17:00 On the long time stability of travelling wave for the discrete nonlinear Schroedinger equationsErwan Faou (Inria). MR14 Centre for Mathematical Sciences. Wednesday 07 June 2017, 14:00-15:00 The Structure of Extreme Level Sets in Branching Brownian MotionLisa Hartung (NYU). MR12, CMS, Wilberforce Road, Cambridge, CB3 0WB. Tuesday 06 June 2017, 16:15-17:15 Reduction of dynatomic curvesHolly Krieger (University of Cambridge). MR13. Tuesday 06 June 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Introduction to continuous fields of C*-algebras and their topological invariants (Part 2)OAS - Operator algebras: subfactors and their applications Marius Dadarlat (Purdue University; Purdue University). Seminar Room 2, Newton Institute. Tuesday 06 June 2017, 14:00-15:00 Informal Lunch Seminars in AFD Planetesimal dynamics and growth in tight binary star systemsKedron Silsbee (Princeton). MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Tuesday 06 June 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Bivariant and Dynamical Versions of the Cuntz SemigroupOAS - Operator algebras: subfactors and their applications Joachim Zacharias (University of Glasgow). Seminar Room 2, Newton Institute. Tuesday 06 June 2017, 12:45-13:45 The new phase space complexity of old globular clustersAnna Lisa Varri (Edinburgh). MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Monday 05 June 2017, 16:00-17:00 Geometric Analysis and Partial Differential Equations seminar Fractional diffusion limit of a linear kinetic transport equation in a bounded domainPedro Aceves Sanchez, Imperial College. Monday 05 June 2017, 15:10-16:10 Seeing beyond the visible: Segmentation of medical images using deep neural networksMike Hayball and Kuba Nalepa (Cambridge Computed Imaging). MR13, Centre for Mathematical Sciences. Monday 05 June 2017, 14:00-15:00 Title to be confirmedJordi Miralda Escude (ICREA Barcelona). CMS, Pav. B, CTC Common Room (B1.19) [Potter Room]. Monday 05 June 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Introduction to continuous fields of C*-algebras and their topological invariants (Part 1)OAS - Operator algebras: subfactors and their applications Marius Dadarlat (Purdue University; Purdue University). Seminar Room 2, Newton Institute. Friday 02 June 2017, 16:00-17:00 Microstructure imaging with MRI, data-driven disease progression modelling, and other topics at UCL-CMICJoint CMIH-CCIMI seminar. Danny Alexander, UCL. MR13 Centre for Mathematical Sciences. Friday 02 June 2017, 16:00-17:00 Contact-line motion with mass transferMatt Saxton (DAMTP). MR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Friday 02 June 2017, 16:00-17:00 HEP phenomenology joint Cavendish-DAMTP seminar Jet Production at High Energy CollidersJennifer Smillie (University of Edinburgh). Seminar Room B, Rutherford Building, Cavendish Laboratory. Friday 02 June 2017, 16:00-17:30 Topological Incarnations of the Arf invariantDanica Kosanovic (MPIM Bonn). MR5. Friday 02 June 2017, 15:00-16:00 Applied and Computational Analysis Many-body localization: How quantum dynamics wins against thermodynamicsUlrich Schneider (Cavendish Laboratory, Cambridge). Friday 02 June 2017, 15:00-16:00 Isaac Newton Institute Seminar Series How to compute torus link homologyHTL - Homology theories in low dimensional topology Matthew Hogancamp (University of Southern California). Seminar Room 2, Newton Institute. Thursday 01 June 2017, 15:15-16:15 Applied and Computational Analysis Stabilizing unstable flows by coarse mesh observables and actuators - a pavement to data assimilationEdriss Titi (Weizmann Institite & Texas A&M University). Thursday 01 June 2017, 15:00-16:00 Elusive problems in extremal graph theoryDaniel Kráľ (University of Warwick). MR12. Thursday 01 June 2017, 14:30-15:30 Quantum Fields and Strings Seminars Title to be confirmedPaul Townsend - DAMTP. Potter Room (first floor, Pav. B). Thursday 01 June 2017, 13:00-14:00 Flapping Dynamics of Elastica at Low Reynolds NumberGabriele De Canio (University of Cambridge). MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 01 June 2017, 13:00-14:00 Algebra and Representation Theory Seminar Expanders, Beauville surfaces and buildingsAlina Vdovina (Newcastle). MR12. Wednesday 31 May 2017, 16:30-17:30 Cambridge Analysts' Knowledge Exchange (C.A.K.E.) Local nearest neighbour classification with applications to semi-supervised learningThomas Berrett (University of Cambridge). MR14, Centre for Mathematical Sciences. Wednesday 31 May 2017, 16:00-17:00 The Modularity/Automorphy of Calabi–Yau Varieties of CM typeNoriko Yui, Queens University.. Wednesday 31 May 2017, 14:15-15:15 Exceptional orthogonal polynomialsNote late change of room! David Gomez-Ullate (ICMAT and Universidad Complutense de Madrid). Wednesday 31 May 2017, 14:00-15:00 Reflection Positivity: Something Old and Something NewArthur Jaffe (Harvard, visiting INI). MR11. Tuesday 30 May 2017, 16:00-17:00 A class number formula for Picard modular surfacesShrenik Shah (Columbia University). MR13. Tuesday 30 May 2017, 15:30-16:30 Magnitude homologyTom Leinster (University of Edinburgh). MR5, Centre for Mathematical Sciences. Tuesday 30 May 2017, 14:15-15:15 Pseudorepresentations and the Eisenstein idealCarl Wang Erickson (Imperial College). MR13. Tuesday 30 May 2017, 14:00-15:00 Isaac Newton Institute Seminar Series Moebius Geometry of Boundaries''NPC - Non-positive curvature group actions and cohomology Viktor Schroeder (University of Zurich and ETH Zurich). Seminar Room 1, Newton Institute. Tuesday 30 May 2017, 14:00-16:00 Informal Lunch Seminars in AFD Tidally forced Magnetic-Coriolis waves and tidal dissipationYufeng Lin. MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Tuesday 30 May 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Are geodesic metric spaces determined by their Morse boundaries?NPC - Non-positive curvature group actions and cohomology Ruth Charney (Brandeis University). Seminar Room 2, Newton Institute. Tuesday 30 May 2017, 11:00-12:00 Isaac Newton Institute Seminar Series Buildings, surfaces and quaternionsNPC - Non-positive curvature group actions and cohomology Alina Vdovina (Newcastle University). Seminar Room 2, Newton Institute. Tuesday 30 May 2017, 10:00-11:00 CCIMI special lecture: Mathematics Enters the PictureBOOKING REQUIRED - https://www.eventbrite.co.uk/e/mathematics-enters-the-picture-tickets-34031599430 Massimo Fornasier (TUM - Technische Universität München). MR3 Centre for Mathematical Sciences. Friday 26 May 2017, 17:00-18:00 Computationally Efficient Nonparametric TestingGuang Cheng (Purdue). MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.. Friday 26 May 2017, 16:00-17:00 Mean flows and large-scale vortices in rotating convectionCéline Guervilly (Newcastle University). MR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Friday 26 May 2017, 16:00-17:00 HEP phenomenology joint Cavendish-DAMTP seminar Searches for light BSM higgs bosons and constraints on BSM modelsClaire Shepherd (Rutherford Lab.). Friday 26 May 2017, 16:00-17:30 Lagrangian branes and symplectic methods in generalised complex geometryCharlotte Kirchhoff-Lukat (DAMTP). MR13. Friday 26 May 2017, 15:00-16:00 Learning and Sparse Control of Multiagent SystemsMassimo Fornasier (TUM - Technische Universität München). MR4, Centre for Mathematical Sciences. Friday 26 May 2017, 14:00-15:00 Isaac Newton Institute Seminar Series PETs, pseudogroup actions, and renormalisationNPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Friday 26 May 2017, 10:00-12:00 Isaac Newton Institute Seminar Series Dimensionality Reduction Techniques in Medical Data AnalysisTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Joan Lasenby (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 16:15-17:00 Isaac Newton Institute Seminar Series Large Data Limits for Graphical ModelsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Matthew Thorpe (Carnegie Mellon University). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 15:35-16:15 Isaac Newton Institute Seminar Series Something about the Khovanov spaceHTL - Homology theories in low dimensional topology Andrew Lobb (University of Durham). Seminar Room 2, Newton Institute. Thursday 25 May 2017, 15:15-16:15 Isaac Newton Institute Seminar Series High Dimensional Changepoint Estimation via Sparse ProjectionTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Tengyao Wang (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 14:35-15:15 All-photonic quantum networksKoji Azuma, NTT Basic Research Laboratories. MR11, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 25 May 2017, 14:15-15:15 Isaac Newton Institute Seminar Series H^3 and twisted K-theory for compact Lie groupsOAS - Operator algebras: subfactors and their applications Jonathan Rosenberg (University of Maryland). Seminar Room 2, Newton Institute. Thursday 25 May 2017, 14:00-15:00 Isaac Newton Institute Seminar Series Geometric Methods for the Approximation of High-Dimensional Data Sets and High-Dimensional Dynamical SystemsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Mauro Maggioni (Johns Hopkins University). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 13:50-14:35 Quantum Fields and Strings Seminars Emergent structure from spin models on cubic graphs ensemblesMike Peardon. Potter Room (first floor, Pav. B). Thursday 25 May 2017, 13:00-14:00 The near and far of capillary raftsLyndon Koens (University of Cambridge). MR11, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 25 May 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Your Browser Can Prove Your LemmasTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Edward Ayers (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:45-12:50 Isaac Newton Institute Seminar Series Novel Uses of Shipping Data in Commodity MarketsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Andrew Celsus (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:40-12:45 Isaac Newton Institute Seminar Series Nonparametric Estimation of Diffusions in the Low-Frequency SettingTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Sven Wang (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:35-12:40 Isaac Newton Institute Seminar Series Reconstruction Methods in Transmission Electron TomographyTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Robert Tovey (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:30-12:35 Isaac Newton Institute Seminar Series Learning a Sampling Pattern for MRITGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Ferdia Sherry (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:25-12:30 Isaac Newton Institute Seminar Series Approaches to Sampling and Inference for Bayesian NonparametricsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Sam Power (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:20-12:25 Isaac Newton Institute Seminar Series Photoacoustic Tomography with Total Variation RegularisationTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Erlend Riis (Cambridge Centre for Analysis). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:15-12:20 Isaac Newton Institute Seminar Series Quantum Entropies Through Convex OptimisationTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Eric Hanson (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:10-12:15 Isaac Newton Institute Seminar Series Sparse Principal Component Analysis via Random ProjectionsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Milana Gataric (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:05-12:10 Isaac Newton Institute Seminar Series Introduction to Elevator PitchesTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Carola-Bibiane Schönlieb (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:00-12:05 Isaac Newton Institute Seminar Series Surface Approximations and Geometric EnergiesTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Simon Masnou (Université Claude Bernard Lyon 1). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 10:55-11:40 Isaac Newton Institute Seminar Series Using Novel Data Sources to Model Commodity MarketsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Chris Longworth (Cantab Capital Partners). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 10:10-10:55 Isaac Newton Institute Seminar Series Welcome and Introduction, Update from CCIMITGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Carola-Bibiane Schönlieb (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 10:00-10:10 Statistics Clinic Easter Term 2017 - IIISpeaker to be confirmed. Centre for Mathematical Sciences, Meeting Room 5 (centre building, basement). Wednesday 24 May 2017, 16:30-18:00 Algebra and Representation Theory Seminar Generalizations of self-reciprocal polynomialsSandro Mattarei (Lincoln). MR12. Wednesday 24 May 2017, 16:30-17:30 How to replace random walk representations in models that don't have one?Erwin Bolthausen (Zurich). MR3, CMS, Wilberforce Road, Cambridge, CB3 0WB. Wednesday 24 May 2017, 16:15-17:15 Differential Geometry and Topology Seminar Symmetries in monotone Lagrangian Floer theoryJack Smith, Cambridge. MR13. Wednesday 24 May 2017, 16:00-17:00 Birational geometry of exceptional sets in Manin's conjectureSho Tanimoto (Copenhagen). Wednesday 24 May 2017, 14:15-15:15 Isaac Newton Institute Seminar Series The pentagram map and discrete integrable systemsNPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Wednesday 24 May 2017, 14:00-16:00 Andrew Chamblin Memorial Lectures Exploring the Universe with Gravitational Waves: LIGO and BeyondProfessor Kip Thorne. Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Tuesday 23 May 2017, 17:00-18:00 Integrable systems associated to submanifolds in GrassmaniansBoris Kruglikov (Tromso, visiting DAMTP). MR11. Tuesday 23 May 2017, 16:00-17:00 The Weak Leopoldt Conjecture for adjoint representationsPatrick Allen (University of Illinois at Urbana-Champaign). MR13. Tuesday 23 May 2017, 14:30-15:30 List objects with algebraic structurePhilip Saville (University of Cambridge). MR5, Centre for Mathematical Sciences. Tuesday 23 May 2017, 14:15-15:15 Isaac Newton Institute Seminar Series Nilpotent Lie groups: Fourier inversion and prime idealsOAS - Operator algebras: subfactors and their applications Ying-Fen Lin (Queen's University Belfast). Seminar Room 2, Newton Institute. Tuesday 23 May 2017, 14:00-15:00 Experimental Medicine Imaging in Pharmaceutical Research - GSK clinical imaging overview and opportunities for collaborationNote unusual day Marius de Groot (GSK). MR11 Centre for Mathematical Sciences. Tuesday 23 May 2017, 14:00-15:00 Quantum Fields and Strings Seminars Supersymmetry and CPT anomalyPaul K. Townsend. Potter Room (first floor, Pav. B). Tuesday 23 May 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Uniformly recurrent subgroups and rigidity of non-free minimal actionsNPC - Non-positive curvature group actions and cohomology Nicolas Matte Bon (ETH Zürich). Seminar Room 2, Newton Institute. Tuesday 23 May 2017, 11:00-12:00 Isaac Newton Institute Seminar Series Affine actions, cohomology and hyperbolicityNPC - Non-positive curvature group actions and cohomology Erik Guentner (University of Hawaii). Seminar Room 2, Newton Institute. Tuesday 23 May 2017, 10:00-11:00 The effect of rotation on the dynamo threshold at the low Pm limitVassilios Dallas (Leeds). MR14, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Monday 22 May 2017, 16:00-17:00 Do the laws of nature vary across the universe?John Webb (UNSW). CMS, Pav. B, CTC Common Room (B1.19) [Potter Room]. Monday 22 May 2017, 13:00-14:00 Morphology and Mechanics of Cellular Matter: from Tilings to TissuesSascha Hilgenfeldt (University of Illinois). MR13, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Monday 22 May 2017, 13:00-14:00 North British Functional Analysis (NBFAS) Coarse embeddability of the Hilbert space into Banach spaces and Metric interpretation of asymptotic properties of Banach spacesGilles Lancien (Université Bourgogne Franche Comté, Besançon, France) . Saturday 20 May 2017, 09:30-12:00 Robust ranking, constrained ranking and rank aggregation via eigenvector and semidefinite programming synchronizationMihai Cucuringu (Oxford). MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.. Friday 19 May 2017, 16:00-17:00 HEP phenomenology joint Cavendish-DAMTP seminar Fractal based observables to probe jet substructure of quarks and gluonsJoseph Davighi, DAMTP, Cambridge. Friday 19 May 2017, 16:00-17:30 Isaac Newton Institute Seminar Series Thurston's Shapes of PolyhedraNPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Friday 19 May 2017, 15:45-17:15 Heegaard Floer and Embedded Contact homology, an introductionTom Brown (DPMMS). MR13. Friday 19 May 2017, 15:00-16:00 North British Functional Analysis (NBFAS) Standard subspacesRoberto Longo (Università degli Studi di Roma Tor Vergata). Friday 19 May 2017, 15:00-17:30 Isaac Newton Institute Seminar Series Combinatorial Tangle Floer homologyHTL - Homology theories in low dimensional topology Vera Vertesi (University of Strasbourg; CNRS (Centre national de la recherche scientifique)). Seminar Room 2, Newton Institute. Friday 19 May 2017, 13:30-14:30 2nd year PhD student talksTBC. MR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Friday 19 May 2017, 13:30-17:00 Astrophysics with the first gravitational-wave events: from supernova asymmetries to multiple black-hole generationsDavide Gerosa. Pavilion B Potter Room (B1.19). Friday 19 May 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Categories of curved complexes for marked surfacesHTL - Homology theories in low dimensional topology Claudius Zibrowius (University of Cambridge). Seminar Room 2, Newton Institute. Thursday 18 May 2017, 15:15-16:15 Energy methods for the geodesic X-ray transformMikko Salo (University of Jyväskylä). MR9 Centre for Mathematical Sciences. Thursday 18 May 2017, 15:00-16:00 Minimising the Number of TrianglesKatherine Staden (University of Warwick). MR12. Thursday 18 May 2017, 14:30-15:30 Absolutely Maximally Entangled States In Quantum Error Correction and HolographyPawel Mazurek, University of Gdansk. MR4, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 18 May 2017, 14:15-15:15 Isaac Newton Institute Seminar Series L^2-Betti numbers of universal quantum groupsOAS - Operator algebras: subfactors and their applications David Kyed (University of Southern Denmark ). Seminar Room 2, Newton Institute. Thursday 18 May 2017, 14:00-15:00 Quantum Fields and Strings Seminars Exceptional field theory and half-maximal consistent truncationsEmanuel Malek - Munich. Potter Room (first floor, Pav. B). Thursday 18 May 2017, 13:00-14:00 Twirling and tilting: Bacteria tumble-to-travel transitionEmily Riley (University of Cambridge). MR11, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Thursday 18 May 2017, 13:00-14:00 Algebra and Representation Theory Seminar RoCK blocksMichael Livesey (Manchester). MR12. Wednesday 17 May 2017, 16:30-17:30 Differential Geometry and Topology Seminar Homological Stability of Moduli Spaces of High Dimensional ManifoldsNina Friedrich, Cambridge. MR13. Wednesday 17 May 2017, 16:00-17:00 Cambridge Analysts' Knowledge Exchange (C.A.K.E.) A Concentration Inequality based methodology for Sparse Covariance EstimationAdam Kashlak (University of Cambridge). MR14, Centre for Mathematical Sciences. Wednesday 17 May 2017, 16:00-17:00 Orbital degeneracy loci and applicationsSara Filippini (Cambridge). Wednesday 17 May 2017, 14:15-15:15 Isaac Newton Institute Seminar Series Iterated barycentric subdivision and steerable semigroups of SL_n(R)NPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Wednesday 17 May 2017, 14:00-16:00 A macroscopic limit for an ecology model.Gaël Raoul (Ecole polytechnique). MR4, Centre for Mathematical Sciences. Wednesday 17 May 2017, 14:00-15:00 Streaming and Sorting: Manipulating fluid and microparticles with oscillating interfacesSascha Hilgenfeldt (University of Illinois). MR11, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Wednesday 17 May 2017, 13:00-14:00 Please see above for contact details for this list. |
Other listsPathology Seminars CRIA SciBarOther talksGenetic and Epigenetic Control of Parental Care Truth and artists’ intention Cambridge-Lausanne Workshop 2018 - Day 2 TBD To be confirmed An inheritance of loss: private debt to public charity in princely Mysore |