COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
Featured lists
Add to your list(s)
Send you e-mail reminders
Further detail
Featured lists is a list of lists managed by the talks.cam editorial team, for inclusion on the front page of talks.cam. If you’d like your list showcased here, then please read How do I get my list or talk included on the Featured Lists or Featured Talks listings?. Please do not contact the list managers, thanks. If you have a question about this list, please contact: Talks.cam. If you have a question about a specific talk, click on that talk to find its organiser. 247 upcoming talks and 25128 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 Isaac Newton Institute Seminar Series Simulations of Pulsating Soft CoralsGFSW01 - Form and deformation in solid and fluid mechanics Shilpa Khatri (University of California, Merced). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 13:30-14:10 Isaac Newton Institute Seminar Series Motility induced elongation of the vertebrate embryoGFSW01 - Form and deformation in solid and fluid mechanics Ido Regev (Ben-Gurion University). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 12:10-12:30 Isaac Newton Institute Seminar Series How the elephant grabs with its trunkGFSW01 - Form and deformation in solid and fluid mechanics David Hu (Georgia Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 11:30-12:10 Isaac Newton Institute Seminar Series Flow-mediated synchronization of swimmers and rotors at the micron scaleGFSW01 - Form and deformation in solid and fluid mechanics Eva Kanso (University of Southern California; New York University). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 10:20-11:00 Isaac Newton Institute Seminar Series Turing revisited: the chemo-mechanical bases of morphogenesis in soft living matterGFSW01 - Form and deformation in solid and fluid mechanics Pasquale Ciarletta (Politecnico di Milano; CNRS (Centre national de la recherche scientifique)). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 09:40-10:20 Isaac Newton Institute Seminar Series Indentations of plastic layersGFSW01 - Form and deformation in solid and fluid mechanics Neil Balmforth (University of British Columbia). Seminar Room 1, Newton Institute. Tuesday 19 September 2017, 09:00-09:40 Isaac Newton Institute Seminar Series Microtubule RingsGFSW01 - Form and deformation in solid and fluid mechanics Simon Pearce (University of Manchester). Seminar Room 1, Newton Institute. Monday 18 September 2017, 15:10-15:30 Isaac Newton Institute Seminar Series Form, flow, deformation, and transport in the embryonic lungGFSW01 - Form and deformation in solid and fluid mechanics Sharon Lubkin (North Carolina State University). Seminar Room 1, Newton Institute. Monday 18 September 2017, 14:50-15:10 Isaac Newton Institute Seminar Series The dynamics of a packed cell tissueGFSW01 - Form and deformation in solid and fluid mechanics Marina Ferreira (Imperial College London). Seminar Room 1, Newton Institute. Monday 18 September 2017, 14:30-14:50 Isaac Newton Institute Seminar Series The Stokes-flow parachute of the dandelion fruitGFSW01 - Form and deformation in solid and fluid mechanics Cathal Cummins (University of Edinburgh). Seminar Room 1, Newton Institute. Monday 18 September 2017, 14:10-14:30 Isaac Newton Institute Seminar Series The transverse arch of human footGFSW01 - Form and deformation in solid and fluid mechanics Shreyas Mandre (Brown University). Seminar Room 1, Newton Institute. Monday 18 September 2017, 13:30-14:10 Isaac Newton Institute Seminar Series Capturing gas in soft granular mediaGFSW01 - Form and deformation in solid and fluid mechanics Sungyon Lee (University of Minnesota). Seminar Room 1, Newton Institute. Monday 18 September 2017, 12:10-12:30 Isaac Newton Institute Seminar Series Some surprises in self-propulsion via self-deformation: snake scattering & supersmarticlesGFSW01 - Form and deformation in solid and fluid mechanics Daniel Goldman (Georgia Institute of Technology). Seminar Room 1, Newton Institute. Monday 18 September 2017, 11:30-12:10 Isaac Newton Institute Seminar Series Elastocapillarity: When surface tension deforms elastic solidsGFSW01 - Form and deformation in solid and fluid mechanics Jose Bico (ESPCI ParisTech ). Seminar Room 1, Newton Institute. Monday 18 September 2017, 10:20-11:00 Isaac Newton Institute Seminar Series On the robustness of morphogenesisGFSW01 - Form and deformation in solid and fluid mechanics Arezki Boudaoud (). Seminar Room 1, Newton Institute. Monday 18 September 2017, 09:40-10:20 Isaac Newton Institute Seminar Series New insight from CryoSat-2 sea ice thickness for sea ice modellingSIPW01 - Multi-scale modelling of ice characteristics and behaviour David Schroeder (University of Reading). Seminar Room 1, Newton Institute. Friday 15 September 2017, 17:00-17:20 Isaac Newton Institute Seminar Series Impact of initialising sea ice forecasts using CryoSat-2 thickness observations for seasonal sea ice prediction with the Met Office GloSea systemSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ed Blockley (Met Office). Seminar Room 1, Newton Institute. Friday 15 September 2017, 16:40-17:00 Isaac Newton Institute Seminar Series Using Arctic ice mass balance buoys for model evaluationSIPW01 - Multi-scale modelling of ice characteristics and behaviour Alex West (Met Office). Seminar Room 1, Newton Institute. Friday 15 September 2017, 16:20-16:40 Isaac Newton Institute Seminar Series Arctic Sea Ice Thickness ChangeSIPW01 - Multi-scale modelling of ice characteristics and behaviour Christian Haas (Alfred-Wegener-Institut für Polar- und Meeresforschung (AWI); Universität Bremen ). Seminar Room 1, Newton Institute. Friday 15 September 2017, 16:00-16:20 Isaac Newton Institute Seminar Series Statistics of the sea ice thickness distributionSIPW01 - Multi-scale modelling of ice characteristics and behaviour Peter Wadhams (University of Cambridge). Seminar Room 1, Newton Institute. Friday 15 September 2017, 14:50-15:30 Isaac Newton Institute Seminar Series Challenges in estimating ocean surface stresses in sea ice covered Arctic and Antarctic regionsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Michel Tsamados (University College London). Seminar Room 1, Newton Institute. Friday 15 September 2017, 14:30-14:50 Isaac Newton Institute Seminar Series Atmospheric response to marginal-ice-zone drag parameterisationSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ian Renfrew (University of East Anglia). Seminar Room 1, Newton Institute. Friday 15 September 2017, 14:10-14:30 Isaac Newton Institute Seminar Series Integrating Observations and Models to Better Understand a Changing Arctic Sea Ice CoverSIPW01 - Multi-scale modelling of ice characteristics and behaviour Julienne Stroeve (National Snow and Ice Data Center; National Snow and Ice Data Center). Seminar Room 1, Newton Institute. Friday 15 September 2017, 13:30-14:10 Isaac Newton Institute Seminar Series How much should we believe correlations between Arctic cyclones and sea ice extent?SIPW01 - Multi-scale modelling of ice characteristics and behaviour Jamie Rae (Met Office). Seminar Room 1, Newton Institute. Friday 15 September 2017, 12:10-12:30 Isaac Newton Institute Seminar Series Investigating future changes in the volume budget of the Arctic sea ice in a coupled climate modelSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ann Keen (Met Office). Seminar Room 1, Newton Institute. Friday 15 September 2017, 11:50-12:10 Isaac Newton Institute Seminar Series Winter-to-summer transition of Arctic sea ice breakup and floe size distribution in the Beaufort SeaSIPW01 - Multi-scale modelling of ice characteristics and behaviour Phil Hwang (Scottish Association for Marine Science (SAMS)). Seminar Room 1, Newton Institute. Friday 15 September 2017, 11:30-11:50 Isaac Newton Institute Seminar Series Waves, ice and ocean in the future projections of the Arctic and Southern oceansSIPW01 - Multi-scale modelling of ice characteristics and behaviour Yevgeny Aksenov (National Oceanography Centre, Southampton). Seminar Room 1, Newton Institute. Friday 15 September 2017, 11:10-11:30 Isaac Newton Institute Seminar Series Impact of surface wave mixing on sea ice and mixed layer depthSIPW01 - Multi-scale modelling of ice characteristics and behaviour Stefanie Rynders (University of Southampton). Seminar Room 1, Newton Institute. Friday 15 September 2017, 10:20-10:40 Isaac Newton Institute Seminar Series Relationship between sea ice deformation and rheologySIPW01 - Multi-scale modelling of ice characteristics and behaviour Harold Heorton (University College London). Seminar Room 1, Newton Institute. Friday 15 September 2017, 10:00-10:20 Isaac Newton Institute Seminar Series Frazil-ice dynamics in mixed layers and sub-ice-shelf plumesSIPW01 - Multi-scale modelling of ice characteristics and behaviour David Rees Jones (University of Oxford). Seminar Room 1, Newton Institute. Friday 15 September 2017, 09:40-10:00 Isaac Newton Institute Seminar Series Using sea-ice deformation fields to constrain the mechanical strength parameters of geophysical sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour Bruno Tremblay (McGill University). Seminar Room 1, Newton Institute. Friday 15 September 2017, 09:00-09:40 Isaac Newton Institute Seminar Series Opening remarks, Danny FelthamSIPW01 - Multi-scale modelling of ice characteristics and behaviour . Seminar Room 1, Newton Institute. Friday 15 September 2017, 08:55-09:00 Isaac Newton Institute Seminar Series Brine rejection from sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour Grae Worster (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Nonlinear stochastic time series analysis for sea ice and climateSIPW01 - Multi-scale modelling of ice characteristics and behaviour Woosok Moon (British Antarctic Survey; NORDITA). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 15:30-16:00 Isaac Newton Institute Seminar Series Ising model for melt ponds on Arctic sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour Yiping Ma (Northumbria University). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 14:30-15:00 Isaac Newton Institute Seminar Series Simple rules govern the patterns of Arctic sea ice melt pondsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Predrag Popovic (University of Chicago). Seminar Room 1, Newton Institute. Thursday 14 September 2017, 14:00-14:30 Isaac Newton Institute Seminar Series About the wave-particle duality observed with a classical particle driven by its memory-endowed wave-fieldGFS - Growth form and self-organisation Yves Couder (Laboratoire Matière et Systèmes Complexes). Seminar Room 2, Newton Institute. Thursday 14 September 2017, 14:00-15:00 Biological Chemistry Research Interest Group Learning and Applying Nature's Biosynthetic LogicProf. Bradley S. Moore, Scripps Institution of Oceanography, San Diego. Unilever Lecture Theatre, Department of Chemistry. Thursday 14 September 2017, 14:00-16: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 Unbiased Estimation of the Eigenvalues of Large Implicit MatricesProfessor Ryan Adams, Princeton. CBL Room BE-438, Department of Engineering. Thursday 14 September 2017, 11:00-12:00 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 Chemical Engineering and Biotechnology occasional seminars New understanding of collective modes and thermodynamics of the liquid stateDr Kostya Trachenko (Queen Mary University of London). Lecture Theatre 3, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Thursday 14 September 2017, 11:00-12:00 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 Chemistry Departmental-wide lectures Photosynthetic water oxidation - the substrates viewFor more information, please contact Dr. Erwin Reisner (reisner@ch.cam.ac.uk) Prof. Johannes Messinger, Department of Chemistry, Umeå University, Sweden. Todd-Hamied meeting room, Department of Chemistry. Wednesday 13 September 2017, 13:00-14:00 Isaac Newton Institute Seminar Series Changes to sea ice thickness distribution due to Ice Shelf WaterSIPW01 - Multi-scale modelling of ice characteristics and behaviour Pat Langhorne (University of Otago). Seminar Room 1, Newton Institute. Wednesday 13 September 2017, 11:45-12:30 Isaac Newton Institute Seminar Series When is all the sea ice gone?SIPW01 - Multi-scale modelling of ice characteristics and behaviour Dirk Notz (Max-Planck-Institut für Meteorology). Seminar Room 1, Newton Institute. Wednesday 13 September 2017, 11:00-11:45 Isaac Newton Institute Seminar Series Modeling macro-porosity of ridged sea ice in basin-scale modelsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Andrew Roberts (Naval Postgraduate School). Seminar Room 1, Newton Institute. Wednesday 13 September 2017, 09:45-10:30 Isaac Newton Institute Seminar Series Sea ice stability and rapid retreatSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ian Eisenman (University of California, San Diego). Seminar Room 1, Newton Institute. Wednesday 13 September 2017, 09:00-09:45 Isaac Newton Institute Seminar Series Advection enhanced diffusion processesSIPW01 - Multi-scale modelling of ice characteristics and behaviour Noa Kraitzman (University of Utah). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 16:00-16:30 Isaac Newton Institute Seminar Series Flow-induced Coordinates for Transient Advection-Diffusion Equations with Multiple ScalesSIPW01 - Multi-scale modelling of ice characteristics and behaviour Konrad Simon (Universität Hamburg). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 15:30-16:00 Isaac Newton Institute Seminar Series Effective Rheology and Wave Propagation in the Marginal Ice ZoneSIPW01 - Multi-scale modelling of ice characteristics and behaviour Christian Samspon (University of Utah; University of Utah; UNC Chapel Hill and RIMS). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 14:30-15:00 Isaac Newton Institute Seminar Series A viscoelastic model for wave propagation in the marginal ice zoneSIPW01 - Multi-scale modelling of ice characteristics and behaviour Sukun Cheng (Clarkson University). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 14:00-14:30 Isaac Newton Institute Seminar Series Sensitivity of Arctic sea ice state to model parameter space, resolved processes and climate couplingSIPW01 - Multi-scale modelling of ice characteristics and behaviour Wieslaw Maslowski (Naval Postgraduate School). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 11:45-12:30 Isaac Newton Institute Seminar Series Sea ice model physics: in search of fidelitySIPW01 - Multi-scale modelling of ice characteristics and behaviour Daniel Feltham (University of Reading). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 11:00-11:45 The Grammar Variational Autoencoder & Counterfactual FairnessDr Matt Kusner. CBL Room BE-438, Department of Engineering. Tuesday 12 September 2017, 11:00-12:00 Isaac Newton Institute Seminar Series A compilation of research and thoughts on the future of sea ice models.SIPW01 - Multi-scale modelling of ice characteristics and behaviour Martin Vancoppenolle (CNRS (Centre national de la recherche scientifique); Université Pierre & Marie Curie-Paris VI ). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 09:45-10:30 Isaac Newton Institute Seminar Series Marginal Ice Zone Evolution due to Wave-Induced BreakingSIPW01 - Multi-scale modelling of ice characteristics and behaviour Vernon Squire (University of Otago). Seminar Room 1, Newton Institute. Tuesday 12 September 2017, 09:00-09:45 Isaac Newton Institute Seminar Series Rothschild Lecture: Large-scale sea ice modeling: societal needs and community developmentSIPW01 - Multi-scale modelling of ice characteristics and behaviour Elizabeth Hunke (Los Alamos National Laboratory). Seminar Room 1, Newton Institute. Monday 11 September 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Filling the polar data gap with harmonic functionsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Courtenay Strong (University of Utah). Seminar Room 1, Newton Institute. Monday 11 September 2017, 15:30-16:00 Isaac Newton Institute Seminar Series Floe size and ice thickness distributionsSIPW01 - Multi-scale modelling of ice characteristics and behaviour Christopher Horvat (Harvard University; Brown University). Seminar Room 1, Newton Institute. Monday 11 September 2017, 14:30-15:00 Isaac Newton Institute Seminar Series A new continuum rheological model for the deformation and drift of sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour Veronique Dansereau (CNRS (Centre national de la recherche scientifique)). Seminar Room 1, Newton Institute. Monday 11 September 2017, 14:00-14:30 Theoretical, Modelling and Informatics - Chemistry Research Interest Group First Principles Monte Carlo Simulations of Phase, Sorption, and Reaction EquilibriaProfessor Ilja Siepmann, University of Minnesota. Department of Chemistry, Cambridge, Unilever lecture theatre. Monday 11 September 2017, 14:00-15:00 Isaac Newton Institute Seminar Series Discrete-element models of sea ice dynamics and fractureSIPW01 - Multi-scale modelling of ice characteristics and behaviour Agnieszka Herman (University of Gdansk). Seminar Room 1, Newton Institute. Monday 11 September 2017, 11:45-12:30 Isaac Newton Institute Seminar Series Linking scales in the sea ice systemSIPW01 - Multi-scale modelling of ice characteristics and behaviour Ken Golden (University of Utah). Seminar Room 1, Newton Institute. Monday 11 September 2017, 11:00-11:45 Isaac Newton Institute Seminar Series Small to big, quick to slow: The many scales of sea ice properties and processesSIPW01 - Multi-scale modelling of ice characteristics and behaviour Donald K. Perovich (Dartmouth College). Seminar Room 1, Newton Institute. Monday 11 September 2017, 09:45-10:30 Isaac Newton Institute Seminar Series Variational Methods to Image SegmentationVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms Tammy Riklin raviv (Ben-Gurion University). Seminar Room 1, Newton Institute. Friday 08 September 2017, 16:10-17:00 Behaviour, Ecology & Evolution Seminar Series Big Data Meets Geo-Computation: Combining Research Reproducibility and Processing Efficiency in High-performance ComputingPLEASE NOTE SPECIAL DAY, TIME, AND LOCATION Giuseppe Amatulli (Yale University). Rayleigh room, Maxwell Centre, JJ Thomson Ave, Cambridge CB3 0HE. Friday 08 September 2017, 15:00-16: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 Microsoft Research Cambridge, public talks Manifest Sharing with Session TypesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Stephanie Balzer, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 08 September 2017, 11:00-12:00 Accelerating computation of SVM and DNN by binary approximationHironobu Fujiyoshi (Chubu University) . CBL Room BE-438, Department of Engineering. Friday 08 September 2017, 11:00-12:00 Towards User-Friendly Image Inpainting: Learning-to-Rank based Image Quality Assessment for Image InpaintingMariko Isogawa (NTT Media Intelligence Laboratories) . CBL Room BE-438, Department of Engineering. Friday 08 September 2017, 11:00-12:00 Deep learning for autonomous drivingTakayoshi Yamashita (Chubu University) . CBL Room BE-438, Department of Engineering. Friday 08 September 2017, 11:00-12:00 Pedagogy, Language, Arts & Culture in Education (PLACE) Group Seminars An Exchange about Doctoral Study and Didactic ResearchJohan Ohman and the Graduate School, Orebro University. Faculty of Education, 184 Hills Road, Cambridge, CB2 8PQ, DMB, Room GS5. Friday 08 September 2017, 10:00-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 Chemical Engineering and Biotechnology occasional seminars Methane Leakage and the Greenhouse Gas Footprint of Natural GasProf. David Mays, University of Colorado, Denver. Lecture Theatre 3, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Thursday 07 September 2017, 14:30-15:30 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 Chemistry Departmental-wide lectures Manufacturing of designed nanomaterialsIf you would like more information regarding Dr. Torrente's talk, please contact Dr. Erwin Reisner (reisner@ch.cam.ac.uk) Dr. Laura Torrente Murciano, Department of Chemical Engineering and Biotechnology, University of Cambridge. Todd-Hamied meeting room, Department of Chemistry. Wednesday 06 September 2017, 14:00-15:00 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 Chemical Engineering and Biotechnology occasional seminars Emergent Many-body Interactions in Amorphous SolidsYoav Pollack, The Weizmann Institute of Science. Lecture Theatre 1, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Wednesday 06 September 2017, 11:00-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 Behaviour, Ecology & Evolution Seminar Series Bringing Partula up to date: from Captain Cook to the 2017 search for lost snails.Dr. Justin Gerlach. Part II Lecture Theatre, Department of Zoology , Downing Street, CB2 3EJ. Tuesday 05 September 2017, 13:00-14:00 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 Biological Chemistry Research Interest Group Protein Folding, Evolution and Interactions SymposiumRegistration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration Keynote Speakers: Professor Sir Alan Fersht and Professor Dame Carol Robinson. Tuesday 05 September 2017, 09:00-18:00 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 Towards a whole brain model of perceptual learningThe host for this talk is Professor Zoë Kourtzi, Department of Psychology Dr Aaron Seitz, University of California, Riverside. Nick Mackintosh Seminar Room, second floor, Department of Psychology, Downing Site, Cambridge. Monday 04 September 2017, 13:00-14:00 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 “Translational control of axonal mRNAs can accelerate regeneration”Jeff Twiss, Department of Biological Sciences, University of South Carolina. Clifford Allbutt Building Lecture Theatre. Monday 04 September 2017, 12:00-13:00 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 Biological Chemistry Research Interest Group Protein Folding, Evolution and Interactions SymposiumRegistration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration Keynote Speakers: Professor Sir Alan Fersht and Professor Dame Carol Robinson. Monday 04 September 2017, 09:00-18:00 Biological Chemistry Research Interest Group Protein Folding, Evolution and Interactions SymposiumRegistration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration Keynote Speakers: Professor Sir Alan Fersht and Professor Dame Carol Robinson. Sunday 03 September 2017, 16:00-18:00 Chemical Engineering and Biotechnology occasional seminars The Global Warming ScepticThis is an informal summer seminar on a topic of general interest Dr Eric Rees. Lecture Theatre 3, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Thursday 31 August 2017, 15:00-16:00 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 Frontiers in Artificial Intelligence Series Coin Betting for Backprop without Learning Rates and More Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Francesco Orabona, Stony Brook University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 24 August 2017, 13:00-14: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 Electronic Structure Discussion Group Electron doping of samarium nickelate from first principlesMichele Kotiuga (Rutgers University). TCM Seminar Room, Cavendish Laboratory. Tuesday 22 August 2017, 14:15-15:15 Materials Chemistry Research Interest Group Cyclic Peptides: Building Blocks for Supramolecular DesignsProfessor Juan R. Granja - University of Santiago de Compostela . Pfizer Lecture Theatre, Department of Chemistry, Lensfield Road, Cambridge. Tuesday 22 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 Chemical Engineering and Biotechnology occasional seminars The ‘Easy’ and ‘Hard’ Problems of ConsciousnessThis is an informal summer seminar on a topic of general interest Dr Eric Rees. Lecture Theatre 3, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Thursday 17 August 2017, 15:00-16:00 Isaac Newton Institute Seminar Series Singularities of Hermitian-Yang-Mills connections and the Harder-Narasimhan-Seshadri filtrationSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Song Sun (Stony Brook University). Seminar Room 1, Newton Institute. Thursday 17 August 2017, 14:00-15:00 Isaac Newton Institute Seminar Series Graph Legendrians and SL2 local systemsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Emmy Murphy (Northwestern University). Seminar Room 1, Newton Institute. Thursday 17 August 2017, 11:30-12:30 Isaac Newton Institute Seminar Series An SU(3) variant of instanton homology for websSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Peter Kronheimer (Harvard University). Seminar Room 1, Newton Institute. Thursday 17 August 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Expanding large global solutions of the compressible Euler equationsNWW - Nonlinear water waves M. Hadzic (University of London). Seminar Room 2, Newton Institute. Wednesday 16 August 2017, 16:00-16:50 Isaac Newton Institute Seminar Series Coherent Lagrangian Vortices in TurbulenceNWW - Nonlinear water waves George Haller (ETH Zürich). Seminar Room 2, Newton Institute. Wednesday 16 August 2017, 15:00-15:50 Isaac Newton Institute Seminar Series On traffic modeling and the Braess paradoxNWW - Nonlinear water waves Helge Holden (Norwegian University of Science and Technology). Seminar Room 2, Newton Institute. Wednesday 16 August 2017, 14:00-14:50 Isaac Newton Institute Seminar Series An approach to the four colour theorem via Donaldson- Floer theorySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Tomasz Mrowka (Massachusetts Institute of Technology; Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Wednesday 16 August 2017, 12:00-13:00 Isaac Newton Institute Seminar Series From Euler to PoincareSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Michael Atiyah (University of Edinburgh). Seminar Room 1, Newton Institute. Wednesday 16 August 2017, 10:30-11:30 Isaac Newton Institute Seminar Series Remarks on Nahm's equationsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Nigel Hitchin (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 16 August 2017, 09:00-10:00 Isaac Newton Institute Seminar Series Mathematical applications of little string theorySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Mina Aganagic (University of California, Berkeley). Seminar Room 1, Newton Institute. Tuesday 15 August 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Computing knot Floer homologySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Peter Ozsvath (Princeton University). Seminar Room 1, Newton Institute. Tuesday 15 August 2017, 14:30-15:30 Materials Chemistry Research Interest Group Networks, resilience and complexityProfessor Gabriel Cwilich, Yeshiva University, New York, USA. Unilever Lecture Theatre, Unilever Centre, Department of Chemistry. Tuesday 15 August 2017, 14:00-15:00 Isaac Newton Institute Seminar Series 100 Problems around Scalar CurvatureSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Mikhail Gromov (IHES). Seminar Room 1, Newton Institute. Tuesday 15 August 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Speculations about homological mirror symmetry for affine hypersurfacesSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Denis Auroux (University of California, Berkeley). Seminar Room 1, Newton Institute. Tuesday 15 August 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Knot Floer homology and algebraic methodsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Zoltan Szabo (Princeton University). Seminar Room 1, Newton Institute. Monday 14 August 2017, 16:00-17:00 Isaac Newton Institute Seminar Series The Gopakumar-Vafa conjecture for symplectic manifoldsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Eleny Ionel (Stanford University). Seminar Room 1, Newton Institute. Monday 14 August 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Atiyah Floer conjectureSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Kenji Fukaya (Stony Brook University). Seminar Room 1, Newton Institute. Monday 14 August 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Fields of definition of Fukaya categories of Calabi-Yau hypersurfacesSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson Paul Seidel (Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Monday 14 August 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Vortex waves in deep water: Lagrange approachNWWW01 - Nonlinear water waves Anatoly Abrashkin (Higher School of Economics, Moscow). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 17:00-18:00 Isaac Newton Institute Seminar Series Experimental validations of various aspects of the wave-induced mean flow for surface gravity wave groupsNWWW01 - Nonlinear water waves Ton van den Bremer (University of Edinburgh). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Hamiltonian models for the propagation of irrotational surface gravity waves over a variable bottomNWWW01 - Nonlinear water waves Rossen Ivanov (Dublin Institute of Technology). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Prediction of the free-surface elevation for rotational water waves using the recovery of pressure at the bedNWWW01 - Nonlinear water waves David Henry (University College Cork). Seminar Room 1, Newton Institute. Thursday 10 August 2017, 13:30-14:30 Frontiers in Artificial Intelligence Series How Can NLP Help Cure Cancer? Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Regina Barzilay Massachusetts Institute of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 August 2017, 13:00-14:00 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 Engineering Department Bio and Micromechanics Seminars Defect tolerance and design principles for bio-inspired fibrillar dry-adhesivesMattia Bacca, Assistant Professor, Mechanical Engineering Department, The University of British Colombia, Vancouver. Friday 04 August 2017, 14:00-15: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 Chemical Engineering and Biotechnology occasional seminars Common Sense Reduced to MathematicsThis is an informal summer seminar on a topic of general interest Dr Eric Rees. Lecture Theatre 3, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Thursday 03 August 2017, 15:00-16:00 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 Cambridge Psychometrics Centre Seminars The 2017 Flynn Lecture: Male and Female IQ- A balance sheetProfessor James Flynn, Department of Politics, University of Orago. Lecture Room, Department of Psychology, Downing Site, Cambridge. Thursday 27 July 2017, 15:30-17:00 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 Evolution and Development Seminar Series Evolution of limb and fin regenerationAssociate Professor Igor Schneider (Federal University of Pará). Part II Lecture Theatre, Department of Zoology. Wednesday 26 July 2017, 13:00-14:00 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 Engineering Department Dynamics and Vibration Tea Time Talks Railway induced ground vibrations: hybrid predictions combining experimental measurements and numerical modelsDr Kirsty Kuo, . Trinity College - room B2 Great Court. Friday 21 July 2017, 16:30-17:30 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 Understanding Black-box Predictions via Influence FunctionsPang Wei Koh, Stanford University. CBL Room BE-438, Department of Engineering. Thursday 20 July 2017, 14:00-15:00 British Antarctic Survey - Polar Oceans seminar series Ice-ocean interaction at the Totten GlacierIf external to BAS, please email the organiser in advance to gain access to the building Alessandro Silvano, University of Tasmania. British Antarctic Survey, Innovation Centre, Seminar Room 2. Wednesday 19 July 2017, 11:00-12:00 Isaac Newton Institute Seminar Series Social proof: social session on the POPL experienceBPR - Big proof Ursula Martin (University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 16:30-17:30 Isaac Newton Institute Seminar Series Socialising proofBPR - Big proof Lorenzo Lane (University of Edinburgh; University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 16:00-16:30 Isaac Newton Institute Seminar Series Measuring Sample Discrepancy with DiffusionsSIN - Scalable inference; statistical, algorithmic, computational aspects Andrew Duncan (University of Sussex; The Alan Turing Institute). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 15:40-16:20 Isaac Newton Institute Seminar Series Go forth and multiply! Imperatives in mathematical proofsBPR - Big proof Fenner Tanswell (University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 15:30-16:00 Isaac Newton Institute Seminar Series Multi-scale algorithms for simple fluidsSIN - Scalable inference; statistical, algorithmic, computational aspects Anthony Maggs (City of Paris Industrial Physics and Chemistry Higher Educational Institution, (ESPCI)). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 15:00-15:40 Isaac Newton Institute Seminar Series Combining Machine Learning and Automated Reasoning: Some Training ExamplesBPR - Big proof Josef Urban (Czech Technical University). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 13:30-14:30 Isaac Newton Institute Seminar Series Sampling with non-reversible dynamicsSIN - Scalable inference; statistical, algorithmic, computational aspects Michela Ottobre (Heriot-Watt University). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 12:50-13:30 Isaac Newton Institute Seminar Series Event-chain algorithms: taming randomness in Monte Carlo methods through irreversibility, factorization and liftingSIN - Scalable inference; statistical, algorithmic, computational aspects Michel Manon (Orange Lab). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 12:10-12:50 Isaac Newton Institute Seminar Series Mining Human Proofs from Machine ProofsBPR - Big proof Paulo Oliva (Queen Mary University of London; Queen Mary University of London). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 11:00-12:00 Isaac Newton Institute Seminar Series How does breaking detailed balance accelerate convergence to equilibrium?SIN - Scalable inference; statistical, algorithmic, computational aspects Robert Jack (University of Bath). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 11:00-11:40 Isaac Newton Institute Seminar Series Piecewise deterministic Markov processes and efficiency gains through exact subsampling for MCMCSIN - Scalable inference; statistical, algorithmic, computational aspects Joris Bierkens (Delft University of Technology). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 10:20-11:00 Isaac Newton Institute Seminar Series A simple prover in the browserBPR - Big proof Edward Ayers (University of Cambridge). Seminar Room 2, Newton Institute. Monday 17 July 2017, 17:00-17:30 Isaac Newton Institute Seminar Series Auto2 prover in IsabelleBPR - Big proof Bohua Zhan (Massachusetts Institute of Technology). Seminar Room 2, Newton Institute. Monday 17 July 2017, 16:30-17:00 Isaac Newton Institute Seminar Series Evaluating winding numbers through Cauchy indices in Isabelle/HOLBPR - Big proof Wenda Li (University of Cambridge). Seminar Room 2, Newton Institute. Monday 17 July 2017, 16:00-16:30 Isaac Newton Institute Seminar Series SMTCoq, a plug-in for the trustworthy integration of SAT/SMT solvers into CoqBPR - Big proof Cesare Tinelli (University of Iowa). Seminar Room 2, Newton Institute. Monday 17 July 2017, 15:30-16:00 Engineering Department Bio and Micromechanics Seminars 3D Bioprinting of Vascularized TissuesMark Skyler-Scott, Harvard University. Monday 17 July 2017, 14:00-15:00 British Antarctic Survey - Polar Oceans seminar series Quantification of Kelvin wave-induced subsurface warming along the West Antarctic PeninsulaDavid Webb, Climate Change Research Centre (CCRC), UNSW, Australia. British Antarctic Survey, Innovation Centre, Seminar Room 2. Monday 17 July 2017, 14:00-15: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 Pedagogy, Language, Arts & Culture in Education (PLACE) Group Seminars Children in Distress: past precedents and current experienceSir Tim Brighouse, Dr Carl Emery (University of Manchester), Dr Carrie Herbert MBE (Red Balloon Learner Centre Group), Caroline Peet (Queens’ Federation) and Alison Roy (Child and Adolescent Psychotherapist). Faculty of Education, 184 Hills Road, Cambridge, CB2 8PQ, DMB, Room GS5. Saturday 15 July 2017, 14: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, 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 Biological Chemistry Research Interest Group Rational Metallodrug Development: Novel Pharmacophores and Mode of Action InvestigationsChristian G Hartinger, University of Auckland, New Zealand. Unilever Lecture Theatre, Department of Chemistry. Friday 14 July 2017, 14:00-16:00 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 Engineering Department Structures Research Seminars Optimization and risk assessment of tall reinforced concrete buildingsProf M T R Jayasinghe (Thishan Jayasinghe), Department of Civil Engineering of University of Moratuwa, Sri Lanka. Cambridge University Engineering Department, Dyson Building Teaching Room. Thursday 13 July 2017, 14:00-15:00 Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series University High Performance Hub for Informatics Q&Ahttp://www.neuroscience.cam.ac.uk/directory/profile.php?js369 Professor John Suckling, Department of Psychiatry, University of Cambridge. Seminar Room, Herchel Smith Building, Forvie Site.. Thursday 13 July 2017, 12:30-13:30 Biological Chemistry Research Interest Group Sulfur Chemistry for Biology and the EnvironmentDr Justin Chalker. Wolfson Lecture Theatre, Department of Chemistry. Thursday 13 July 2017, 12:00-13:00 Isaac Newton Institute Seminar Series Formal Verification of Financial Algorithms, Progress and ProspectsBPRW01 - Computer-aided mathematical proof Grant Passmore (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Mining the Archive of Formal ProofsBPRW01 - Computer-aided mathematical proof Tobias Nipkow (Technischen Universität München). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Scaffolds and frames: the MathComp algebra formal libraryBPRW01 - Computer-aided mathematical proof Georges Gonthier (INRIA Saclay - Île-de-France). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 09:00-10:00 Isaac Newton Institute Seminar Series Everything's Bigger in Texas: ``The Largest Math Proof Ever''BPRW01 - Computer-aided mathematical proof Marijn Heule (University of Texas at Austin). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 16:00-17:00 Isaac Newton Institute Seminar Series The social machine of mathematicsBPRW01 - Computer-aided mathematical proof Ursula Martin (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Hammers and Model Finders, and BeyondBPRW01 - Computer-aided mathematical proof Jasmin Blanchette (INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 11:30-12:30 Weighing the past against the present: computational approaches to understand learning and uncertainty autismDr Rebecca Lawson, Research Associate, Imaging Neuroscience, Institute of Neurology, Faculty of Brain Sciences, University College London. Large Meeting Room (groundfloor), Douglas House, 18B, Trumpington Road. Wednesday 12 July 2017, 10:30-11: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 Computational Neuroscience Journal ClubTimothy O'Leary (Control Group). 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 Synthetic Chemistry Research Interest Group Applications of the (4+3) cycloaddition of Epoxy Enolsilanes to the synthesis of cortistatin A and himandrineProfessor Pauline Chiu, Hong Kong University. Unilever Lecture Theatre, Department of Chemistry, Lensfield Road, University of Cambridge, CB2 1EW. Monday 10 July 2017, 16:00-17: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 Chemical Engineering and Biotechnology occasional seminars Fibre based laser technology - taking basic research into application and forming a multi million pound businessProf Grudinin, founder and CEO of Fianium. Lecture Theatre 1, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Friday 07 July 2017, 11:30-12:30 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 The roles of exciton and molecular diffusion in real-time sensingDr. Paul Shaw, University of Queensland. Rayleigh seminar room, 2nd floor, Maxwell Building, Cavendish laboratory. Thursday 06 July 2017, 14:30-15: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 Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series From neuroscience to ultra-brief treatments for anxiety disordersDr Andrea Reinecke, Senior Research Fellow, Department of Psychiatry, University of Oxford. Seminar Room, Herchel Smith Building, Forvie Site.. Thursday 06 July 2017, 12:30-13:30 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 A simple neural network module for relational reasoningDavid Barrett, DeepMind. CBL Room BE-438, Department of Engineering. Thursday 06 July 2017, 11:00-12:00 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 Soundscape ecology: what sound can tell us about ecological functioningIf external to BAS, please email the organiser in advance to gain access to the building Rachel Buxton, Colorado State University. British Antarctic Survey, Room 330B. Thursday 06 July 2017, 10:00-11: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 Wednesday Lunch Time Seminar Series Localist models are compatible with information measures, sparseness indices and complementary learning systems in the brainDr Mike Page, University of Hertfordshire. Lecture Theatre, MRC Cognition and Brain Sciences Unit, Chaucer Road. Wednesday 05 July 2017, 12:30-13:30 “Innate Immunity in Injury and Disease in the Nervous System”Professor Shlomo Rotshenker,The Hebrew University of Jerusalem. Brain Repair Centre, Forvie Site, Robinson Way. Wednesday 05 July 2017, 12:00-13:00 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 Insights from oxytocin administration and fMRI studies in high functioning youth with ASDIlanit Gordon, Senior Lecturer at Bar Ilan University, Department of Psychology and Gonda Brain Research Center. Large Meeting Room (groundfloor), Douglas House, 18B, Trumpington Road. Wednesday 05 July 2017, 10:30-11:30 Isaac Newton Institute Seminar Series Validating approximate Bayesian computation on posterior convergenceSINW01 - Scalable statistical inference Wentao Li (Lancaster University). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 09:45-10:30 Isaac Newton Institute Seminar Series Asymptotics of Approximate Bayesian ComputationSINW01 - Scalable statistical inference Paul Fearnhead (Lancaster University). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 09:00-09:45 Isaac Newton Institute Seminar Series Category theory and functional programming for scalable statistical modelling and computational inferenceSINW01 - Scalable statistical inference Darren Wilkinson (Newcastle University). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 16:15-17:00 Isaac Newton Institute Seminar Series Transferability: as easy as ABC?SINW01 - Scalable statistical inference Kerrie Mengersen (Queensland University of Technology). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 15:30-16:15 Isaac Newton Institute Seminar Series Big Proof and Education (coordinated by Jeremy Avigad)BPR - Big proof . Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 15:30-17:30 TBDProfessor Frank Wuerthner, University of Wurzburg. Rayleigh seminar room, 2nd floor, Maxwell Building, Cavendish laboratory. Tuesday 04 July 2017, 14:30-15: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 British Antarctic Survey - Polar Oceans seminar series The bottom-intensification of mixing causes large, almost cancelling, abyssal upwelling and downwellingIf external to BAS, please email Dr Andrew Meijers (andmei@bas.ac.uk) in advance to gain access to the building Trevor McDougall, School of Mathematics and Statistics, University of New South Wales. British Antarctic Survey, Innovation Centre, Conference Theatre. Monday 03 July 2017, 14:00-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 Exploring complexity in seabird foraging behaviourIf external to BAS, please email the organiser in advance to gain access to the building Xavier Meyer, BAS . British Antarctic Survey, Innovation Centre, Seminar Room 1. Monday 03 July 2017, 11:00-12:00 Future technology: machine learning using memristors networksFrancesco Caravelli (LANL). CBL Room BE-438, Department of Engineering. Monday 03 July 2017, 11:00-12:00 Future technology: machine learning using memristors networksFrancesco Caravelli (LANL). CBL Room BE-438, Department of Engineering. 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 Materials Chemistry Research Interest Group Correlation between reflected and transmitted light in scattering mediaDr. Jacopo Bertolotti, University of Exeter. Pfizer Lecture Theatre, Department of Chemistry, Lensfield Road, Cambridge. Thursday 29 June 2017, 15:30-16:30 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 Chemical Engineering and Biotechnology occasional seminars Modified starch polymers and blends for packaging, industrial and biomedical applicationsProfessor Pete Halley - Head of the Chemical Engineering Dept, Queensland University, Australia. Lecture Theatre 1, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Thursday 29 June 2017, 15:30-16: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 OSQP: An Operator Splitting Solver for Quadratic ProgramsBartolomeo Stellato, University of Oxford. Cambridge University Engineering Department, LR3. Thursday 29 June 2017, 14:00-15:00 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 A year in the life of the minutiae in a changing Arctic OceanIf external to BAS, please email the organiser in advance to gain access to the building Bryan Wilson, University of Bergen. British Antarctic Survey, Innovation Centre, Seminar Room 1. Wednesday 28 June 2017, 13:00-14: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 Computational Neuroscience Journal ClubDhruva Raman (Control Group). 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 Theoretical, Modelling and Informatics - Chemistry Research Interest Group Alternative Approaches to Chemical Risk Assessment: Assays, Databases, ModelsDr Richard Judson is a research chemist at the US EPA's National Center for Computational Toxicology. His research involves the development of databases and computer models to predict toxicological effects across a wide variety of chemicals. Dr Richard Judson, EPA National Centre for Computational Toxicology. Department of Chemistry, Cambridge, Todd Hamied Room. Monday 26 June 2017, 14:00-15:00 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 Investigating the residual visual pathways following damage to primary visual cortexDr Holly Bridge (FMRIB Centre, John Radcliffe Hospital, Oxford). Kenneth Craik Room, Craik-Marshall Building, Downing Site. Monday 26 June 2017, 13:00-14:00 Ecology and diversity of Southern Ocean pelagic amphipodsIf external to BAS, please email the organiser in advance to gain access to the building Charlotte Havermans, University of Bremen. British Antarctic Survey, Innovation Centre, Seminar Room 1. Monday 26 June 2017, 13:00-14:00 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 British Antarctic Survey - Polar Oceans seminar series Southern Ocean coccolithophore biogeography – controlling factors and implications for global biogeochemical cyclesIf external to BAS, please email the organiser in advance to gain access to the building Cara Nissen, ETH Zurich . British Antarctic Survey, Innovation Centre, Seminar Room 2. Monday 26 June 2017, 11:00-12:00 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 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 Engineering Department Bio and Micromechanics Seminars 4-bar mechanisms in nature: their function and potential for biomimicryProf Stuart Burgess, University of Bristol. Teaching Room JDB, Department of Engineering. Friday 23 June 2017, 14:00-15:00 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 Theoretical Chemistry Informal Seminars Unlocking new potentials: Incorporating atomic-level anisotropy and improved radial dependencies into simple intermolecular force fieldsMary Van Vleet, University of Wisconsin-Madison. Unilever Lecture Theatre, Department of Chemistry. Friday 23 June 2017, 12:00-12:40 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 Building Stones of Cambridge: Geology walking tour.Tickets £5. Limited numbers. Please contact John O'Toole to book. Dr Nigel Woodcock, Department of Earth Sciences, Cambridge. Meet in front of the Round Church, Bridge Street, Cambridge, CB2 1UB. Thursday 22 June 2017, 18:30-21: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 Cerebellar evolution and function: a neuroethological perspectiveProfessor John Montgomery (University of Auckland). Hodgkin Huxley Seminar Room, Physiology Building, Downing Site. Thursday 22 June 2017, 16:00-17:00 Building a sense of direction – from perception to cognitionKate Jeffrey (UCL). Lecture Theatre, MRC Cognition and Brain Sciences Unit, Chaucer Road. Thursday 22 June 2017, 15:30-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 ARE WE ALONE SEARCHING FOR LIFE IN THE UNIVERSEDr S. Pete Worden, Chair of the Breakthrough Initiatives of the Breakthrough Prize Foundation. Small Lecture Theatre, Bragg Building, Room 133, Cavendish Laboratory, Department of Physics. Thursday 22 June 2017, 14:30-15:30 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 Chemistry Departmental-wide lectures Perspectives in Chemistry: From Supramolecular Chemistry towards Adaptive ChemistryProfessor Jean-Marie Lehn. Wolfson Lecture Theatre, Department of Chemistry. Thursday 22 June 2017, 11:00-12:00 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 "Postdoc Masterclass" for All Life Scientists Comparative genomics to understand the roots of antibiotic resistance in bacteria: find ways to address itProf. Stephen D. Bentley: Pathogen Genomics, Wellcome Trust Sanger Institute, Dr. Florent Lassalle: Department of Infectious Disease Epidemiology, Imperial College London, Dr. Marco Galardini: EMBL-EBI, Wellcome Genome Campus. Wednesday 21 June 2017, 18:30-20:00 Signal Processing and Communications Lab Seminars Biological Systems as Communication NetworksProf. Urbashi Mitra, University of Southern California. Engineering Department - Lecture Room - LR6. Wednesday 21 June 2017, 14:00-15:00 The euphausiid exception in the oxygen minimum zone (OMZ)If external to BAS, please email the organiser in advance to gain access to the building Dr. Jaime Farber-Lorda (Centro de Investigación Cientifica, Ensenada, Mexico) . British Antarctic Survey, Innovation Centre, Seminar Room 1. Wednesday 21 June 2017, 14:00-15:00 Wednesday Lunch Time Seminar Series How does recent linguistic experience result in a retuning of lexical-semantic representations?Becky Gilbert (Cognition and Brain Sciences Unit). Lecture Theatre, MRC Cognition and Brain Sciences Unit, Chaucer Road. Wednesday 21 June 2017, 12:30-13:30 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 Chemical Engineering and Biotechnology occasional seminars Time series forecasting touching on evolutionary numerical optimizationProf Ponnuthurai Nagaratnam Suganthan, Nanyang Technological University. Lecture Theatre 1, Department of Chemical Engineering and Biotechnology, West Cambridge Site. Wednesday 21 June 2017, 11:00-12:00 The impact of personal relevance and person perception on social cognitionDr Paola Ricciardelli, 1) Associate Professor, Dept. of Psychology, University of Milano - Bicocca, Italy; 2) Milan Centre for Neuroscience, Italy. Large Meeting Room (groundfloor), Douglas House, 18B, Trumpington Road. Wednesday 21 June 2017, 10:30-11: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 Pedagogy, Language, Arts & Culture in Education (PLACE) Group Seminars Characters in Comics: Some Medium-Specific QualitiesDr Kai Mikkonen (University of Helsinki). Faculty of Education, 184 Hills Road, Cambridge, CB2 8PQ, DMB, Room GS5. Tuesday 20 June 2017, 17:00-18:30 Cambridge Neuroscience Seminars Ion Channels as Targets for CNS DiseaseProf. Derek Bowie,Department of Pharmacology and Therapeutics McGill University. Department of Pharmacology Lecture Theatre, Tennis Court Road. Tuesday 20 June 2017, 16:00-17: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 LHCb: a general purpose detector in the forward regionXabier Cid Vidal (Santiago). Tuesday 20 June 2017, 15:00-16: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 Antarctic krill: Life is all about balance in a high CO2 worldIf external to BAS, please email the organiser in advance to gain access to the building Jessica Ericson, University of Tasmania. British Antarctic Survey, Room 307. Tuesday 20 June 2017, 13:30-14:00 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 Using fisheries samples to investigate seasonal and regional variation in Antarctic krill lipidsIf external to BAS, please email the organiser in advance to gain access to the building Nicole Hellessey, University of Tasmania. British Antarctic Survey, Room 307. Tuesday 20 June 2017, 13:00-13:30 "In Vivo Glia-to-Neuron Conversion For Brain Repair"If you would like to meeti with Professor Chen please contact Nicole on nh481@cam.ac.uk to arrange a time before or after the seminar Gong Chen,Professor and Verne M. Willaman Chair in Life Sciences, Pennsylvania State University. Brain Repair Centre, Forvie Site, Robinson Way. Tuesday 20 June 2017, 12:00-13:00 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 Cambridge Society for the Application of Research (CSAR) Mutational processes in the human genomeDr Serena Nik-Zainal, Wellcome Trust Intermediate Clinical Fellow & CDF Group Leader, Cancer Genome Project, Sanger Institute. . Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS . Monday 19 June 2017, 19:30-21: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 The 2016 K-axis Voyage: A Salpa thompsoni goldmineIf external to BAS, please email the organiser in advance to gain access to the building Paige Kelly, Australian Antarctic Division. British Antarctic Survey, Innovation Centre, Seminar Room 1. Monday 19 June 2017, 11:00-12:00 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 Cambridge Natural History Society Annual Conversazione: Cambridge’s oldest celebration of citizen science!.. Saturday 17 June 2017, 10:00-17:00 Wolfson College Science Society talks Are Animals Musical?Johns Hopkins Peabody Institute. Friday 16 June 2017, 17:45-19:10 How to read and write mechanical information in DNA moleculesprof. dr. Helmut Schiessel, University of Leiden. Small Lecture Theatre, Cavendish Laboratory. 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 Engineering Department Structures Research Seminars Learning from bamboo: Plant-mimetic design toward less-material & high-stiffness structureDr Motohiro Sato, Associate Professor, Faculty of Engineering, Hokkaido University. Cambridge University Engineering Department, Oatley meeting room 1. Friday 16 June 2017, 16:00-17:00 Engineering Department Dynamics and Vibration Tea Time Talks Easter Term Poster Session. Cambridge University Engineering Department, LR4. Friday 16 June 2017, 15:00-17:00 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 Semiconductor Physics Group Seminars New studies on the g-factors of 1D holes on GaAs quantum point contactsKarina Hudson, University of New South Wales. Mott Seminar Room (Mott Building Room 531), Cavendish Laboratory. Friday 16 June 2017, 14:15-15:15 Engineering Department Mechanics Colloquia Research Seminars Engineered growth factor microenvironments for regenerative medicineProf Manuel Salmeron-Sanchez, Chair of Biomedical Engineering, Glasgow University. Oatley Seminar Room, Department of Engineering. Friday 16 June 2017, 14:00-15:00 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 Cambridge Natural History Society Annual Conversazione: Cambridge’s oldest celebration of citizen science!.. Friday 16 June 2017, 13:00-18:00 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 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 The emergence of pluripotency and germline specification in non-rodent mammalsProfessor Ramiro Alberio (University of Nottingham). Hodgkin Huxley Seminar Room, Physiology Building, Downing Site. Thursday 15 June 2017, 16:00-17:00 The typical and atypical development of the human social brainMark Johnson (UoC). Lecture Theatre, MRC Cognition and Brain Sciences Unit, Chaucer Road. Thursday 15 June 2017, 15:30-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 Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series Stimulant treatment and the developing brain in ADHDDr Lizanne Schweren, Research Associate, Developmental Psychiatry Section, Department of Psychiatry, University of Cambridge. Seminar Room, Herchel Smith Building, Forvie Site.. Thursday 15 June 2017, 12:30-13:30 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 Pedagogy, Language, Arts & Culture in Education (PLACE) Group Seminars The influence of fairy tale on contemporary Australian fantasy fiction for young peopleSophie Masson. MAB 104, Homerton College, Hills Road, Cambridge, CB2 8PH. Wednesday 14 June 2017, 17:00-18:30 Evolution and Development Seminar Series Time and space in insect segmentationErik Clark (University of Cambridge). Part II Lecture Theatre, Department of Zoology. Wednesday 14 June 2017, 13:00-14:00 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 Wednesday Lunch Time Seminar Series Healthy neurocognitive aging with big data: A multivariate dive into Biobank (N=500,000)Rogier Kievit (Cognition and Brain Sciences Unit). Lecture Theatre, MRC Cognition and Brain Sciences Unit, Chaucer Road. 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 motifNet: Deep learning for system identification of regulatory networksVincent Fortuin (ETH). Wednesday 14 June 2017, 11:30-12:15 Neural network models of free recall and spatial navigationStefano Recanatesi (Weizmann Institute). Wednesday 14 June 2017, 10:45-11: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 Inferring decision rules from evidence, choice, and reaction timesYul Kang (Columbia University). Wednesday 14 June 2017, 10:00-10:45 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 Wolfson College Humanities Society talks Art and Architecture in Nazi GermanyProfessor Sir Richard Evans, FBA (President of Wolfson College and Provost of Gresham College, London). Tuesday 13 June 2017, 17:45-19:15 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 Short Baseline Neutrino (SBN) program at FermilabWesley Ketchum (FNAL and University of Bern) . Tuesday 13 June 2017, 15:00-16: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 Excitable behaviorsRodolphe Sepulchre (University of Cambridge). Cambridge University Engineering Department, LR6. Tuesday 13 June 2017, 14:00-15:00 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 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 Theoretical, Modelling and Informatics - Chemistry Research Interest Group Theory RIG Informal SymposiumFredrik Svensson, Laura Mitchell & Brian Ng. Department of Chemistry, Cambridge, Unilever lecture theatre. Monday 12 June 2017, 16:00-19: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 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 Centre for Atmospheric Science seminars, Chemistry Dept. What has the Antarctic ozone hole to do with biological evolution?Prof Michael Edgeworth McIntyre (University of Cambridge). Pfizer Lecture Theatre, Department of Chemistry. Monday 12 June 2017, 14:15-15:15 Semiconductor Physics Group Seminars Bose-Einstein condensation of semiconductor excitons: 50 years later, at last!Prof. Francois Dubin, Institut des NanoSciences de Paris. Mott Seminar Room (Mott Building Room 531), Cavendish Laboratory. Monday 12 June 2017, 14:15-15:15 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 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 Wolfson College Science Society talks Music, Rhythm and Developmental Dyslexia.Dr Sheila Flanagan, Centre for Neuroscience in Education. Friday 09 June 2017, 17:45-19:10 Engineering Department Dynamics and Vibration Tea Time Talks Vibration performance of London's Millennium footbridgeProfessor David Newland and Dr James Talbot, CUED. Cambridge University Engineering Department, JDB Seminar room. 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 Engineering Department Structures Research Seminars The development of design standards for the construction sector: Why do they matter and why should you care about them?Steve Denton. Cambridge University Engineering Department, LR6. Friday 09 June 2017, 15:00-16:00 Engineering Department Bio and Micromechanics Seminars Cellulose Photonics: from nature to applicationsDr Silvia Vignolini, Department of Chemistry, Cambridge. Oatley Seminar Room, Department of Engineering. Friday 09 June 2017, 14:00-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 Developmental Biology Seminar Series A battle for mitochondrial DNA transmissionHansong Ma, The Gurdon Institute, Cambridge. Biffen Lecture Theatre, Genetics, Department of. Friday 09 June 2017, 13:15-13:55 Complex dynamics and elliptic curvesLaura DeMarco (Northwestern University). Thursday 08 June 2017, 17:00-18:00 Pedagogy, Language, Arts & Culture in Education (PLACE) Group Seminars Mastering the time in music performance (and elsewhere): Reconnecting with the past, feeling the future and enjoying the presentDr László Stachó, Liszt Academy of Music, Budapest & Faculty of Music, University of Szeged. Faculty of Education, 184 Hills Road, Cambridge, CB2 8PQ, DMB, Room GS5. Thursday 08 June 2017, 16:00-17:30 Neuroimaging of the emergence of cognition in infants and its clinical applicationsRhodri Cusack (Trinity College, Dublin). Lecture Theatre, MRC Cognition and Brain Sciences Unit, Chaucer Road. Thursday 08 June 2017, 15:30-17: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 Magnetic moments in superconductors: From Yu-Shiba-Rusinov states, to topological superconductors and frustrated magnetismProf. Jens Paaske, University of Copenhagen. TCM Seminar Room, Cavendish Laboratory. Thursday 08 June 2017, 14:15-15: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 Chemical Engineering and Biotechnology occasional seminars 3D printed Porous Media - Disrupting the Packed Bed ParadigmProf. Conan Fee, Head of School of Product Design, University of Canterbury, NZ). Lecture Theatre 1, Department of Chemical Engineering and Biotechnology, West Cambridge Site. 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 Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series Exploring psychotic experiences in ‘non-need for care’ populations: Findings from the UNIQUE studyDr Emmanuelle Peters, Reader in Clinical Psychology, King’s College, London. Seminar Room, Herchel Smith Building, Forvie Site.. Thursday 08 June 2017, 12:30-13:30 "Postdoc Masterclass" for All Life Scientists Epigenomics: When high-throughput sequencing met epigeneticsMelanie Eckersley-Maslin and Christel Krueger (Babraham Institute). Wednesday 07 June 2017, 18:30-20:00 Microsoft Research Cambridge, public talks AI and Healthcare Open Evening at Microsoft ResearchChristopher Bishop. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 07 June 2017, 17:30-19:30 "Dark Matter (at the LHC and other experiments)"caterina.doglioni@hep.lu.se. Pippard Lecture Theatre, Cavendish Laboratory. 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 Wednesday Lunch Time Seminar Series Developmental unilateral neglect/ Mechanisms of working memory updatingLaura Forde and Shraddha Kaur (Cognition and Brain Sciences Unit). Lecture Theatre, MRC Cognition and Brain Sciences Unit, Chaucer Road. Wednesday 07 June 2017, 12:30-13:30 British Antarctic Survey - Polar Oceans seminar series Examining mechanisms for submesoscale eddy generation using observations in the North AtlanticIf external to BAS, please email the organiser in advance to gain access to the building Dr Christian Buckingham (British Antarctic Survey). British Antarctic Survey, Innovation Centre, Seminar Room 2. Wednesday 07 June 2017, 11:00-12:00 The story of the infinity principles: a link between autism and a person's potentialRhys Jenkins. Large Meeting Room (groundfloor), Douglas House, 18B, Trumpington Road. Wednesday 07 June 2017, 10:30-11:30 Physical Chemistry Research Interest Group Disorder by DesignProf. Andrew Goodwin, University of Oxford. Tuesday 06 June 2017, 16:00-17:00 The LHCb Upgrade and Flavour Physics ProspectsJohannes Albrecht (Technical University of Dortmund). Tuesday 06 June 2017, 15:00-16:00 Vibrational coherence spectroscopy applied to biomimetic molecular photoswitchesDr. Jeremie Leonard, University of Strasbourg. Rayleigh seminar room, 2nd floor, Maxwell Building, Cavendish laboratory. 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 Behaviour, Ecology & Evolution Seminar Series Group living – causes and consequences: lessons from the biology of social spidersProf Leticia Aviles (University of British Columbia). Main Lecture Theatre, Department of Zoology, Downing Street, Cambridge CB2 3EJ. 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 Cambridge Society for the Application of Research (CSAR) "The world in 2050" - Human extinction risksLord Martin Rees OM FRS FREng FMedSci, Trinity College and Institute of Astronomy, University of Cambridge. Astronomer Royal.. Churchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS . Monday 05 June 2017, 19:30-21:00 Ten things you always wanted to know about Hans Sloane, founder of the British Museum... but were afraid to askJames Delbourgo (Rutgers University). Seminar Room 1, Department of History and Philosophy of Science. Monday 05 June 2017, 13:00-14:00 Wolfson College Science Society talks Adhesion Strength Diversity in Brain TumoursDr Rasha Rezk, Engineering, Wolfson College. Friday 02 June 2017, 17:45-19:10 Engineering Department Dynamics and Vibration Tea Time Talks The role of sensory dynamics in driver sterring controlChris Nash, CUED. Cambridge University Engineering Department, JDB Seminar room. Friday 02 June 2017, 16:30-17:00 Drops: A tool to structure materialsProf. Esther Amstad, EPFL. Soft Materials Laboratory. Small Lecture Theatre, Cavendish Laboratory. Friday 02 June 2017, 16:00-17:00 Engineering Department Dynamics and Vibration Tea Time Talks Marginal gains for Tokyo 2020: Modelling, simulating and optimising track cyclistsSam Brockie, CUED. Cambridge University Engineering Department, JDB Seminar room. Friday 02 June 2017, 16:00-16:30 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 Please see above for contact details for this list. |
Other listsSir David King's Surface Science Seminars Type the title of a new list here Centre for Health Leadership and EnterpriseOther talksFibonacci phyllotaxis in plants and algae, a biological convergence with a physical origin Volcanic eruptions, climate and humans: How lessons from the past can help us to prepare for the future The Great Recession, unemployment and pensions: the case of Spanish regions Glanville Lecture 2017: The Book of Exodus and the Invention of Religion EU LIFE Lecture - "Histone Chaperones Maintain Cell Fates and Antagonize Reprogramming in C. elegans and Human Cells" Climatic controls on peatland carbon accumulation during the last millennium |