|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
School of Physical Sciences
Add to your list(s)
Send you e-mail reminders
Further detail
This is a superlist combining all those seminars on talks.cam taking place in one of the Departments of the School of Physical sciences, plus occasional other talks which would be of significant interest to researchers in the School. If you would like your talk or list included please contact Duncan (drs45) If you have a question about this list, please contact: Duncan Simpson. If you have a question about a specific talk, click on that talk to find its organiser. 152 upcoming talks and 17620 talks in the archive: show all (slow!). Statistics Clinic Summer 2017 - III
Isaac Newton Institute Seminar Series Deformable bodies in anisotropic fluidsGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Fluid and solid mechanics in active cellular processesGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Unraveling hagfish slimeGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Packing problems, phyllotaxis and Fibonacci numbersGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Flexible tubes conveying fluid: geometric modeling, stability, and variational integratorsGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained BouncingGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Wave-induced collisions of thin floating disksSIP - Mathematics of sea ice phenomena
Isaac Newton Institute Seminar Series Swelling and Shaping of Soft StructuresGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series The planar elastica, stress, and material stressGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Fluid Mechanics of Soft Robots and ActuatorsGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Simulations of Pulsating Soft CoralsGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Motility induced elongation of the vertebrate embryoGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series How the elephant grabs with its trunkGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Flow-mediated synchronization of swimmers and rotors at the micron scaleGFSW01 - Form and deformation in solid and fluid mechanics
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
Isaac Newton Institute Seminar Series Indentations of plastic layersGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Microtubule RingsGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Form, flow, deformation, and transport in the embryonic lungGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series The dynamics of a packed cell tissueGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series The Stokes-flow parachute of the dandelion fruitGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series The transverse arch of human footGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Capturing gas in soft granular mediaGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Some surprises in self-propulsion via self-deformation: snake scattering & supersmarticlesGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series Elastocapillarity: When surface tension deforms elastic solidsGFSW01 - Form and deformation in solid and fluid mechanics
Isaac Newton Institute Seminar Series On the robustness of morphogenesisGFSW01 - Form and deformation in solid and fluid mechanics
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
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
Isaac Newton Institute Seminar Series Using Arctic ice mass balance buoys for model evaluationSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Arctic Sea Ice Thickness ChangeSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Statistics of the sea ice thickness distributionSIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
Isaac Newton Institute Seminar Series Atmospheric response to marginal-ice-zone drag parameterisationSIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
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
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
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
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
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
Isaac Newton Institute Seminar Series Relationship between sea ice deformation and rheologySIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Frazil-ice dynamics in mixed layers and sub-ice-shelf plumesSIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
Isaac Newton Institute Seminar Series Opening remarks, Danny FelthamSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Brine rejection from sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Nonlinear stochastic time series analysis for sea ice and climateSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Ising model for melt ponds on Arctic sea iceSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Simple rules govern the patterns of Arctic sea ice melt pondsSIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
Biological Chemistry Research Interest Group Learning and Applying Nature's Biosynthetic Logic
Isaac Newton Institute Seminar Series Different ice observation methods in marine operationsSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Sea ice research - needs and gapsSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Modeling Arctic melt pondsSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Models of multi-scale and multi-phase sea ice thermodynamicsSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Chemistry Departmental-wide lectures Photosynthetic water oxidation - the substrates viewFor more information, please contact Dr. Erwin Reisner (reisner@ch.cam.ac.uk)
Isaac Newton Institute Seminar Series Changes to sea ice thickness distribution due to Ice Shelf WaterSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series When is all the sea ice gone?SIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Modeling macro-porosity of ridged sea ice in basin-scale modelsSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Sea ice stability and rapid retreatSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Advection enhanced diffusion processesSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Flow-induced Coordinates for Transient Advection-Diffusion Equations with Multiple ScalesSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Effective Rheology and Wave Propagation in the Marginal Ice ZoneSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series A viscoelastic model for wave propagation in the marginal ice zoneSIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
Isaac Newton Institute Seminar Series Sea ice model physics: in search of fidelitySIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
Isaac Newton Institute Seminar Series Marginal Ice Zone Evolution due to Wave-Induced BreakingSIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
Isaac Newton Institute Seminar Series Filling the polar data gap with harmonic functionsSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Floe size and ice thickness distributionsSIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
Theoretical, Modelling and Informatics - Chemistry Research Interest Group First Principles Monte Carlo Simulations of Phase, Sorption, and Reaction Equilibria
Isaac Newton Institute Seminar Series Discrete-element models of sea ice dynamics and fractureSIPW01 - Multi-scale modelling of ice characteristics and behaviour
Isaac Newton Institute Seminar Series Linking scales in the sea ice systemSIPW01 - Multi-scale modelling of ice characteristics and behaviour
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
Isaac Newton Institute Seminar Series Variational Methods to Image SegmentationVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Total Generalized Variation for Manifold-valued DataVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
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
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
Isaac Newton Institute Seminar Series Estimation of linear operators from scattered impulse responsesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
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
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
Isaac Newton Institute Seminar Series Convex regularization of discrete-valued inverse problemsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Deconstructing Tip Growth MorphogenesisGFS - Growth form and self-organisation
Isaac Newton Institute Seminar Series Joint imaging and calibration using non-convex optimizationVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Sublabel-Accurate Relaxation of Nonconvex EnergiesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Directional Regularization for Image ReconstructionVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series tbaVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
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
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
Isaac Newton Institute Seminar Series Convex Analysis in Hadamard SpacesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Dissipation of wind waves by pancake and frazil ice in the autumn Beaufort SeaSIP - Mathematics of sea ice phenomena
Isaac Newton Institute Seminar Series Low dimensional manifold model for image processingVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Sensitivity Analysis with Degeneracy: Mirror Stratifiable FunctionsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
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)
Isaac Newton Institute Seminar Series Efficient numerical Methods For Variational inpainting modelsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Valued Constraint Satisfaction ProblemsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Automating stochastic gradient methods with adaptive batch sizesVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Geodesic Methods for Interactive Image Segmentation using Finsler metricsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Drinks Reception and NetworkingOFBW32 - Computational Challenges in Image Processing
Isaac Newton Institute Seminar Series Open Discussion and QuestionsOFBW32 - Computational Challenges in Image Processing
Isaac Newton Institute Seminar Series Imaging Whales from SpaceOFBW32 - Computational Challenges in Image Processing
Isaac Newton Institute Seminar Series Computational Challenges for Long Range ImagingOFBW32 - Computational Challenges in Image Processing
Isaac Newton Institute Seminar Series Validating Machine Learning Models Visually with ZegamiOFBW32 - Computational Challenges in Image Processing
Isaac Newton Institute Seminar Series Current topics on sea-ice research: Led by A KorobkinSIP - Mathematics of sea ice phenomena
Isaac Newton Institute Seminar Series Nonlinear TomographyOFBW32 - Computational Challenges in Image Processing
Isaac Newton Institute Seminar Series Statistical Machine Learning and Optimisation Challenges for Brain Imaging at a Millisecond TimescaleOFBW32 - Computational Challenges in Image Processing
Isaac Newton Institute Seminar Series Organiser IntroductionOFBW32 - Computational Challenges in Image Processing
Isaac Newton Institute Seminar Series Welcome and IntroductionOFBW32 - Computational Challenges in Image Processing
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
Isaac Newton Institute Seminar Series Tensor Data Analysis: Models and AlgorithmsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Gyrotactic focussing by swimming micro-organisms in three-dimensional flowsGFS - Growth form and self-organisation
Isaac Newton Institute Seminar Series Fractional Order Derivatives Regularization: Models, Algorithms and ApplicationsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Biological Chemistry Research Interest Group Protein Folding, Evolution and Interactions SymposiumRegistration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration
Isaac Newton Institute Seminar Series Minimization of curvature dependent functional.VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Video colorization by a variational approachVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Nonlinear spectral analysis - beyond the convex caseVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Nonlinear Spectral DecompositionVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series On Overparametrization in Variational MethodsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
Isaac Newton Institute Seminar Series Spectral Clustering meets Graphical ModelsVMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms
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
Biological Chemistry Research Interest Group Protein Folding, Evolution and Interactions SymposiumRegistration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration
Biological Chemistry Research Interest Group Protein Folding, Evolution and Interactions SymposiumRegistration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration
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
Isaac Newton Institute Seminar Series Morphodynamics of cohesive objectsGFS - Growth form and self-organisation
Isaac Newton Institute Seminar Series Shapes of Colloidal MembranesGFS - Growth form and self-organisation
Statistics Clinic Summer 2017 - II
Isaac Newton Institute Seminar Series Three-Dimensional solitary water wavesNWW - Nonlinear water waves
Isaac Newton Institute Seminar Series Fast computation of steady surface gravity wavesNWW - Nonlinear water waves
Electronic Structure Discussion Group Electron doping of samarium nickelate from first principles
Materials Chemistry Research Interest Group Cyclic Peptides: Building Blocks for Supramolecular Designs
Isaac Newton Institute Seminar Series Symplectic topology of K3 surfaces via mirror symmetrySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series On the ADHM Seiberg–Witten equationsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Graded linearisations for linear algebraic group actionsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series A polyfold lab reportSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Existence of Lefschetz fibrations on Stein/Weinstein domainsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Constructing the virtual fundamental cycleSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
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
Isaac Newton Institute Seminar Series Graph Legendrians and SL2 local systemsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series An SU(3) variant of instanton homology for websSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Expanding large global solutions of the compressible Euler equationsNWW - Nonlinear water waves
Isaac Newton Institute Seminar Series Coherent Lagrangian Vortices in TurbulenceNWW - Nonlinear water waves
Isaac Newton Institute Seminar Series On traffic modeling and the Braess paradoxNWW - Nonlinear water waves
Isaac Newton Institute Seminar Series An approach to the four colour theorem via Donaldson- Floer theorySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series From Euler to PoincareSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Remarks on Nahm's equationsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Mathematical applications of little string theorySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Computing knot Floer homologySYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Materials Chemistry Research Interest Group Networks, resilience and complexity
Isaac Newton Institute Seminar Series 100 Problems around Scalar CurvatureSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Speculations about homological mirror symmetry for affine hypersurfacesSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Seminars on Quantitative Biology @ CRUK Cambridge Institute Coding and non-coding cancer mutationsAll people external to CRUK CI needs to be booked as visitors. Please contact Kamila at least 24 hours prior the talk.Thank you.
Isaac Newton Institute Seminar Series Knot Floer homology and algebraic methodsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series The Gopakumar-Vafa conjecture for symplectic manifoldsSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Atiyah Floer conjectureSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Fields of definition of Fukaya categories of Calabi-Yau hypersurfacesSYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson
Isaac Newton Institute Seminar Series Vortex waves in deep water: Lagrange approachNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Experimental validations of various aspects of the wave-induced mean flow for surface gravity wave groupsNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Hamiltonian models for the propagation of irrotational surface gravity waves over a variable bottomNWWW01 - Nonlinear water waves
Ultrafilters, ultraproducts and ultracategories
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
Isaac Newton Institute Seminar Series Upper bound on the slope of a steady water waveNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Long time dynamics of some dispersive models arising from the study of water wavesNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Stability of traveling water waves with a point vortexNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Zonal flows and wave resonance. --- Rossby wave case ---NWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Rogue and Shock Waves within the Framework of Weakly Nonlinear Evolution Equations - Applicability and LimitationsNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Small-amplitude steady water waves on flows with counter-currents.NWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Two-component Camassa-Holm system and its reductionsNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Numerical computation of water waves with discontinuous vorticityNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Isobe-Kakinuma model for water waves as a higher order shallow water approximationNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Global bifurcation of steady gravity water waves with constant vorticityNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Harnessing wave-power in open seasNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Craik-Leibovich Equation, Distinguished Limits, Drifts, and Pseudo-DiffusionNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series On linear and nonlinear wave-ship interactionsNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Numerical study of solitary waves under continuous or fragmented ice platesNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Nonlinear surface waves at finite depth with and without surface coverNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Capturing the flow structure beneath water wavesNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Some thoughts on the role of the convection terms in the fluid mechanical PDEs.NWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series On long term regularity of water wave modelsNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Conservation relations for two-dimensional wave-current interactionsNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Physical oceanography: an applied mathematician's approachNWWW01 - Nonlinear water waves
Isaac Newton Institute Seminar Series Cubical and simplicial 2 - the coherent nerve of a cubical category (joint work with K Kapulkin)BPR - Big proof
Isaac Newton Institute Seminar Series How do human mathematicians avoid big searches?BPR - Big proof
Isaac Newton Institute Seminar Series A MathComp Library tourBPR - Big proof
Isaac Newton Institute Seminar Series Categorical structures for type theory in univalent foundations"BPR - Big proof
Isaac Newton Institute Seminar Series Simplicial and cubical sets - how they relate to each other (joint work with Chris Kapulkin)BPR - Big proof
Isaac Newton Institute Seminar Series Automated theorem proving in first-order logic: from superposition to instantiationBPR - Big proof
Isaac Newton Institute Seminar Series Parametric Groebner basis computations and eliminationBPR - Big proof
Isaac Newton Institute Seminar Series Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof
Isaac Newton Institute Seminar Series Modelling the way mathematics is actually doneBPR - Big proof
Isaac Newton Institute Seminar Series An overview of the Flyspeck projectBPR - Big proof
Isaac Newton Institute Seminar Series Concise - a synthesis of types, grammars, semanticsBPR - Big proof
Isaac Newton Institute Seminar Series Systems Based on Set TheoryBPR - Big proof
Isaac Newton Institute Seminar Series Building blocks towards modeling the physical world: analysis, geometry, computer arithmeticsBPR - Big proof
Isaac Newton Institute Seminar Series Big Proof & EducationBPR - Big proof
Isaac Newton Institute Seminar Series Language and automation in mathematicsBPR - Big proof
Isaac Newton Institute Seminar Series Reasoning by equivalence: the start of proof in elementary educationBPR - Big proof
Isaac Newton Institute Seminar Series Computer Algebra and Formal ProofBPR - Big proof
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
Isaac Newton Institute Seminar Series Social proof: social session on the POPL experienceBPR - Big proof
Isaac Newton Institute Seminar Series Socialising proofBPR - Big proof
Isaac Newton Institute Seminar Series Measuring Sample Discrepancy with DiffusionsSIN - Scalable inference; statistical, algorithmic, computational aspects
Isaac Newton Institute Seminar Series Go forth and multiply! Imperatives in mathematical proofsBPR - Big proof
Isaac Newton Institute Seminar Series Multi-scale algorithms for simple fluidsSIN - Scalable inference; statistical, algorithmic, computational aspects
Isaac Newton Institute Seminar Series Combining Machine Learning and Automated Reasoning: Some Training ExamplesBPR - Big proof
Isaac Newton Institute Seminar Series Sampling with non-reversible dynamicsSIN - Scalable inference; statistical, algorithmic, computational aspects
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
Isaac Newton Institute Seminar Series Mining Human Proofs from Machine ProofsBPR - Big proof
Isaac Newton Institute Seminar Series How does breaking detailed balance accelerate convergence to equilibrium?SIN - Scalable inference; statistical, algorithmic, computational aspects
Isaac Newton Institute Seminar Series Piecewise deterministic Markov processes and efficiency gains through exact subsampling for MCMCSIN - Scalable inference; statistical, algorithmic, computational aspects
Isaac Newton Institute Seminar Series A simple prover in the browserBPR - Big proof
Isaac Newton Institute Seminar Series Auto2 prover in IsabelleBPR - Big proof
Isaac Newton Institute Seminar Series Evaluating winding numbers through Cauchy indices in Isabelle/HOLBPR - Big proof
Isaac Newton Institute Seminar Series SMTCoq, a plug-in for the trustworthy integration of SAT/SMT solvers into CoqBPR - Big proof
British Antarctic Survey - Polar Oceans seminar series Quantification of Kelvin wave-induced subsurface warming along the West Antarctic Peninsula
Isaac Newton Institute Seminar Series CDSAT: conflict-driven theory combinationBPR - Big proof
Isaac Newton Institute Seminar Series Panel on future directions for Big ProofBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Panel on future directions for Big ProofBPRW01 - Computer-aided mathematical proof
Biological Chemistry Research Interest Group Rational Metallodrug Development: Novel Pharmacophores and Mode of Action Investigations
Isaac Newton Institute Seminar Series After Math: Reasoning, Computing, and Proof in the Postwar United States (via Skype)BPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Proof Archeology: Historical Mathematics from an Interactive Theorem Proving StandpointBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Lightweight and Heavyweight Methods for Integrating Mathematical LibrariesBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series The role of explanation in mathematical researchBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your ProofsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Accessible Reasoning with Diagrams: Ontology DebuggingBPRW01 - Computer-aided mathematical proof
Biological Chemistry Research Interest Group Sulfur Chemistry for Biology and the Environment
Isaac Newton Institute Seminar Series Formal Verification of Financial Algorithms, Progress and ProspectsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Mining the Archive of Formal ProofsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Scaffolds and frames: the MathComp algebra formal libraryBPRW01 - Computer-aided mathematical proof
Statistics Clinic Summer 2017 - I
Isaac Newton Institute Seminar Series Everything's Bigger in Texas: ``The Largest Math Proof Ever''BPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series The social machine of mathematicsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Hammers and Model Finders, and BeyondBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Metaprogramming with Dependent Type TheoryBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Formally Verified Approximations of Definite IntegralsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Schemas and semantics for Higher Inductive TypesBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Small ProofsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Homotopy Type Theory in LeanBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Logic in univalent type theoryBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Impredicative encodings in HoTTBPRW01 - Computer-aided mathematical proof
Synthetic Chemistry Research Interest Group Applications of the (4+3) cycloaddition of Epoxy Enolsilanes to the synthesis of cortistatin A and himandrine
Isaac Newton Institute Seminar Series Mathematical Knowledge at ScaleBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Proof Assistants: From Symbolic Logic To Real Mathematics?BPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series UniMath - its present and its future.BPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Big ConjecturesBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series International Knowledge Management TrustBPR - Big proof
Isaac Newton Institute Seminar Series An Industrially Useful ProverBPR - Big proof
Isaac Newton Institute Seminar Series Homotopy Type Theory in AgdaBPR - Big proof
Isaac Newton Institute Seminar Series Inference in generative models using the Wasserstein distanceSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series The Lean HoTT libraryBPR - Big proof
Isaac Newton Institute Seminar Series Exact Sampling for Multivariate DiffusionsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series The HoTT library in CoqBPR - Big proof
Isaac Newton Institute Seminar Series Overview of UnimathBPR - Big proof
Isaac Newton Institute Seminar Series Bradley-Terry models for pair-comparison networks: Structure and scalabilitySINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Langevin MCMC: theory and methodsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Interpretation of the Calculus of Constructions in dictosesBPR - Big proof
Isaac Newton Institute Seminar Series The Discrete Bouncy Particle SamplerSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Scalable Monte Carlo inference for state-space modelsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Nominal applications of the classifying space of the finitary permutation groupBPR - Big proof
The roles of exciton and molecular diffusion in real-time sensing
Isaac Newton Institute Seminar Series The Correlated Pseudo-Marginal MethodSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series A Verified ODE Solver and Smale's 14th ProblemBPR - Big proof
Isaac Newton Institute Seminar Series Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Type theory and higher categoriesBPR - Big proof
Isaac Newton Institute Seminar Series Community recovery in weighted stochastic block modelsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Detecting radiological anomaliesSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Industrial Use of a Mechanical Theorem ProverBPR - Big proof
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
Isaac Newton Institute Seminar Series Mobile Apps and Machine Learning for Improving HealthcareSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional dataSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Towards Encrypted Inference for Arbitrary ModelsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Fast Bayesian Boolean Matrix FactorisationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof
Isaac Newton Institute Seminar Series Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect modelsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Exact Bayesian Inference for Big Data: Single- and Multi-Core ApproachesSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Semi-Automatic Asymptotics in Isabelle/HOLBPR - Big proof
Isaac Newton Institute Seminar Series On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methodsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Kinetic energy choice in Hamiltonian/hybrid Monte CarloSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Validating approximate Bayesian computation on posterior convergenceSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Asymptotics of Approximate Bayesian ComputationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Category theory and functional programming for scalable statistical modelling and computational inferenceSINW01 - Scalable statistical inference
The Laplacian on some finitely ramified self-conformal circle packing fractals and Weyl's asymptotics for its eigenvalues
Isaac Newton Institute Seminar Series Transferability: as easy as ABC?SINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Big Proof and Education (coordinated by Jeremy Avigad)BPR - Big proof
TBD
Isaac Newton Institute Seminar Series Designing efficient composite likelihoodsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Coresets for scalable Bayesian logistic regressionSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Classical Analysis in Lean & IsabelleBPR - Big proof
Isaac Newton Institute Seminar Series tbaSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Comparing Consensus Monte Carlo Strategies for Distributed Bayesian ComputationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Computational Higher-Dimensional Type TheoryBPR - Big proof
Isaac Newton Institute Seminar Series Unbiased approximations of products of expectationsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Variational, Hamiltonian and Symplectic Perspectives on AccelerationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Inference AlgorithmsBPR - Big proof
Isaac Newton Institute Seminar Series Scalable statistical inference with INLASINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Inference with approximate likelihoodsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Proof Automation - Automation in Isabelle's AnalysisBPR - Big proof
Isaac Newton Institute Seminar Series Monte Carlo without rejectionSINW01 - Scalable statistical inference
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
Isaac Newton Institute Seminar Series Data compression with statistical guaranteesSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Synthetic topology in Homotopy Type Theory for probabilistic programmingBPR - Big proof
Exploring complexity in seabird foraging behaviourIf external to BAS, please email the organiser in advance to gain access to the building
Isaac Newton Institute Seminar Series Left-orderability and 3-manifold groups: Rothschild LectureHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series A tutorial introduction to AgdaBPR - Big proof
Isaac Newton Institute Seminar Series A tutorial introduction to the PVS proof assistantBPR - Big proof
Isaac Newton Institute Seminar Series Quantum Annular Link Homology via Trace FunctorHTLW04 - Quantum topology and categorified representation theory
Materials Chemistry Research Interest Group Correlation between reflected and transmitted light in scattering media
Isaac Newton Institute Seminar Series HoTT research seminar (Coquand & Rijke)BPR - Big proof
Isaac Newton Institute Seminar Series Towards a categorical boson-fermion correspondenceHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Some webs and q-Howe dualities in types BCDHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ringHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series The Lean Theorem ProverBPR - Big proof
Isaac Newton Institute Seminar Series 2-Verma modules and the Khovanov-Rozansky link homologiesHTLW04 - Quantum topology and categorified representation theory
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
Isaac Newton Institute Seminar Series Categorical diagonalizationHTLW04 - Quantum topology and categorified representation theory
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
Isaac Newton Institute Seminar Series Categorified knot invariants and algebraic geometryHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series On colored link homologiesHTLW04 - Quantum topology and categorified representation theory
HEP phenomenology joint Cavendish-DAMTP seminar MSSM: muon g-2, dark matter and cosmology
Isaac Newton Institute Seminar Series Representation theory and the Coulomb branchHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Using Agda to Explore Path-Oriented Models of Type TheoryBPR - Big proof
Isaac Newton Institute Seminar Series An Upsilon-like invariant from Khovanov-Rozansky homologyHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Introduction to p-dg 2-representation theoryHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Univalent type theory and modular formalisation of mathematicsBPR - Big proof
Isaac Newton Institute Seminar Series How to categorify the ring of integers localized at twoHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Around Chebyshev's polynomial and the skein algebra of the torusHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Traces, current algebras, and link homologiesHTLW04 - Quantum topology and categorified representation theory
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.
Isaac Newton Institute Seminar Series Hall algebras and Fukaya categoriesHTLW04 - Quantum topology and categorified representation theory
Ecology and diversity of Southern Ocean pelagic amphipodsIf external to BAS, please email the organiser in advance to gain access to the building
Isaac Newton Institute Seminar Series Lattices and Homological AlgebraHTLW04 - Quantum topology and categorified representation theory
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
Isaac Newton Institute Seminar Series The Big Proof Agenda for Mechanizing Mathematical DiscourseBPR - Big proof
Isaac Newton Institute Seminar Series Non semisimple TQFTs from quantum sl(2)HTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series The borders of Outer spaceNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Topology of ends of nonpositively curved manifoldsNPCW05 - Group actions and cohomology in non-positive curvature
Theoretical Chemistry Informal Seminars Unlocking new potentials: Incorporating atomic-level anisotropy and improved radial dependencies into simple intermolecular force fields
Isaac Newton Institute Seminar Series Free-by-cyclic groups and treesNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Action dimension and L^2 CohomologyNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series The dynamics of classifying geometric structuresNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Extending group actions on metric spacesNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Hyperbolic groups with boundary an n-dimensional Sierpinski spaceNPCW05 - Group actions and cohomology in non-positive curvature
ARE WE ALONE SEARCHING FOR LIFE IN THE UNIVERSE
Isaac Newton Institute Seminar Series Vanishing simplicial volume for certain affine manifoldsNPCW05 - Group actions and cohomology in non-positive curvature
Chemistry Departmental-wide lectures Perspectives in Chemistry: From Supramolecular Chemistry towards Adaptive Chemistry
Isaac Newton Institute Seminar Series L2-torsion of free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series tbaNPCW05 - Group actions and cohomology in non-positive curvature
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
Isaac Newton Institute Seminar Series Surface subgroups of graphs of free groupsNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series The boundary of hyperbolic free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Generalized Bestvina-Brady groups and their applicationsNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series The evolution of L2-Betti numbersNPCW05 - Group actions and cohomology in non-positive curvature
Conformal and projective compactifications in GR
Isaac Newton Institute Seminar Series Group actions on C*-algebras and obstruction theoryOAS - Operator algebras: subfactors and their applications
LHCb: a general purpose detector in the forward region
Isaac Newton Institute Seminar Series Effective quasimorphisms on right-angled Artin groupsNPCW05 - Group actions and cohomology in non-positive curvature
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
Isaac Newton Institute Seminar Series Groups acting on trees: representation theory and operator algebrasOAS - Operator algebras: subfactors and their applications
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
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
Isaac Newton Institute Seminar Series Universal L2-torsion for free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Kaehler groups and CAT(0) cubic complexesNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Geodesic currents and counting problemsNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Around a big mapping class groupNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series The uniform boundary condition and simplicial volumesNPCW05 - Group actions and cohomology in non-positive curvature
Isaac Newton Institute Seminar Series Bounded cohomology and combinatorial volume formsNPCW05 - Group actions and cohomology in non-positive curvature
The 2016 K-axis Voyage: A Salpa thompsoni goldmineIf external to BAS, please email the organiser in advance to gain access to the building
Isaac Newton Institute Seminar Series Compactifications of spaces of maximal representations and non archimedean geometryNPCW05 - Group actions and cohomology in non-positive curvature
Decoding from Pooled Data: Information-Theoretic bounds and a Message-Passing Algorithm
How to read and write mechanical information in DNA molecules
HEP phenomenology joint Cavendish-DAMTP seminar Z’ physics at the LHC
Isaac Newton Institute Seminar Series The truth about finite group orbifoldsOASW03 - Subfactors, K-theory and conformal field theory
Semiconductor Physics Group Seminars New studies on the g-factors of 1D holes on GaAs quantum point contacts
Isaac Newton Institute Seminar Series Conformal nets, VOAs and their representationsOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series What to expect from logarithmic conformal field theoryOASW03 - Subfactors, K-theory and conformal field theory
Woolly Owl (Oxford/Cambridge)
Isaac Newton Institute Seminar Series On the Classification of holomorphic vertex operator algebras of central charge 24OASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series On questions around reconstruction programOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Affine centralizer algebrasOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Bicommutant categoriesOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series The string group and vertex algebrasOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Induced C*-hulls for *-algebrasOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Loop groups and noncommutative geometryOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Conformal Field Theory, Operator algebras and symmetric Fuchsian equationsOASW03 - Subfactors, K-theory and conformal field theory
Algebra and Representation Theory Seminar Action of automorphisms on irreducible characters of symplectic groups
Isaac Newton Institute Seminar Series Knots and links from the Thompson groupsNPC - Non-positive curvature group actions and cohomology
Isaac Newton Institute Seminar Series Line bundles over noncommutative spacesOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series An application of T-duality to K-theoryOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Kramer-Wannier and electro-magnetic duality in field theoryOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series The Quantum Sine-Gordon model in perturbative AQFTOASW03 - Subfactors, K-theory and conformal field theory
Short Baseline Neutrino (SBN) program at Fermilab
Isaac Newton Institute Seminar Series Yang-Baxter representations of the infinite symmetric groupOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Baxterising using conserved currentsOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Associative algebras and conformal field theoriesOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Strong property (T), subexponential growth of derivatives and invariant metricsNPC - Non-positive curvature group actions and cohomology
Isaac Newton Institute Seminar Series Synergy on quon languageOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Subfactors with infinite representation theoryOASW03 - Subfactors, K-theory and conformal field theory
Theoretical, Modelling and Informatics - Chemistry Research Interest Group Theory RIG Informal Symposium
Geometric Analysis and Partial Differential Equations seminar Non-Newtonian fluids: applications of Orlicz spaces in the theory of nonlinear PDE
Isaac Newton Institute Seminar Series Rothschild Lecture: Classification of von Neumann algebrasOASW03 - Subfactors, K-theory and conformal field theory
Geometric Analysis and Partial Differential Equations seminar Moments estimates for the discrete coagulation-fragmentation equations with diffusion
Isaac Newton Institute Seminar Series Discussion about the Landauer principle (and bound)OASW03 - Subfactors, K-theory and conformal field theory
Centre for Atmospheric Science seminars, Chemistry Dept. What has the Antarctic ozone hole to do with biological evolution?
Semiconductor Physics Group Seminars Bose-Einstein condensation of semiconductor excitons: 50 years later, at last!
Geometric Analysis and Partial Differential Equations seminar Variational constructions of minimal surfaces
Isaac Newton Institute Seminar Series The relative Drinfeld commutant and alpha-inductionOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series On Picture LanguageOASW03 - Subfactors, K-theory and conformal field theory
Isaac Newton Institute Seminar Series Phase transitions in the semicontinuous limit of a quantum spin chainOASW03 - Subfactors, K-theory and conformal field theory
Riemann problems for nonlinear dispersive PDE
HEP phenomenology joint Cavendish-DAMTP seminar Stellar cooling bounds on new light particles: including plasma effects
Variable clustering: optimal bounds and a convex approach
Isaac Newton Institute Seminar Series Khovanov homology and knot Floer homology for pointed linksHTL - Homology theories in low dimensional topology
The Conformal BMS Group
Complex dynamics and elliptic curves
Isaac Newton Institute Seminar Series Morse Structures on Open BooksHTL - Homology theories in low dimensional topology
Magnetic moments in superconductors: From Yu-Shiba-Rusinov states, to topological superconductors and frustrated magnetism
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
Isaac Newton Institute Seminar Series Pimsner legacyOAS - Operator algebras: subfactors and their applications
Statistics Clinic Easter Term 2017 - IV
Algebra and Representation Theory Seminar Amenability, cellular automata and group-graded rings
"Dark Matter (at the LHC and other experiments)"
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
The Structure of Extreme Level Sets in Branching Brownian Motion
Physical Chemistry Research Interest Group Disorder by Design
The LHCb Upgrade and Flavour Physics Prospects
Vibrational coherence spectroscopy applied to biomimetic molecular photoswitches
Reduction of dynatomic curves
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
Isaac Newton Institute Seminar Series Bivariant and Dynamical Versions of the Cuntz SemigroupOAS - Operator algebras: subfactors and their applications
Geometric Analysis and Partial Differential Equations seminar Fractional diffusion limit of a linear kinetic transport equation in a bounded domain
Drops: A tool to structure materials
Contact-line motion with mass transfer
HEP phenomenology joint Cavendish-DAMTP seminar Jet Production at High Energy Colliders
Isaac Newton Institute Seminar Series Introduction to continuous fields of C*-algebras and their topological invariants (Part 1)OAS - Operator algebras: subfactors and their applications
Isaac Newton Institute Seminar Series How to compute torus link homologyHTL - Homology theories in low dimensional topology
Elusive problems in extremal graph theory
On signatures of Majorana fermions
Algebra and Representation Theory Seminar Expanders, Beauville surfaces and buildings
The Modularity/Automorphy of Calabi–Yau Varieties of CM type
Semiconductor Physics Group Seminars Hidden Order of Cooper Pairs in a Striped Cuprate at High Magnetic Fields (SP and QM)
Chemistry Departmental-wide lectures Title to be confirmed
Superfluid density, universal scaling of critical current and the quest for room-temperature superconductivity
Reflection Positivity: Something Old and Something New
A class number formula for Picard modular surfaces
CANCELLED (Searches for exotic physics with photons in ATLAS)
Magnitude homology
Pseudorepresentations and the Eisenstein ideal
Isaac Newton Institute Seminar Series Moebius Geometry of Boundaries''NPC - Non-positive curvature group actions and cohomology
Isaac Newton Institute Seminar Series Are geodesic metric spaces determined by their Morse boundaries?NPC - Non-positive curvature group actions and cohomology
Isaac Newton Institute Seminar Series Buildings, surfaces and quaternionsNPC - Non-positive curvature group actions and cohomology
Light sheet fluorescence microscopy for fast volumetric imaging of bio-samples
Computationally Efficient Nonparametric Testing
Mean flows and large-scale vortices in rotating convection
HEP phenomenology joint Cavendish-DAMTP seminar Searches for light BSM higgs bosons and constraints on BSM models
Isaac Newton Institute Seminar Series PETs, pseudogroup actions, and renormalisationNPC - Non-positive curvature group actions and cohomology
Isaac Newton Institute Seminar Series Dimensionality Reduction Techniques in Medical Data AnalysisTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Surfaces, Microstructure and Fracture Group Dynamics of carbon and hydrogen on Ru(001)
Isaac Newton Institute Seminar Series Large Data Limits for Graphical ModelsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Something about the Khovanov spaceHTL - Homology theories in low dimensional topology
Isaac Newton Institute Seminar Series High Dimensional Changepoint Estimation via Sparse ProjectionTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Correlated electronic structure: What can physicists and chemists learn from each other?
Isaac Newton Institute Seminar Series H^3 and twisted K-theory for compact Lie groupsOAS - Operator algebras: subfactors and their applications
Isaac Newton Institute Seminar Series Geometric Methods for the Approximation of High-Dimensional Data Sets and High-Dimensional Dynamical SystemsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Your Browser Can Prove Your LemmasTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Novel Uses of Shipping Data in Commodity MarketsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Nonparametric Estimation of Diffusions in the Low-Frequency SettingTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Reconstruction Methods in Transmission Electron TomographyTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Learning a Sampling Pattern for MRITGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Approaches to Sampling and Inference for Bayesian NonparametricsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Photoacoustic Tomography with Total Variation RegularisationTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Quantum Entropies Through Convex OptimisationTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Sparse Principal Component Analysis via Random ProjectionsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Introduction to Elevator PitchesTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Surface Approximations and Geometric EnergiesTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Using Novel Data Sources to Model Commodity MarketsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Isaac Newton Institute Seminar Series Welcome and Introduction, Update from CCIMITGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information
Statistics Clinic Easter Term 2017 - III
Algebra and Representation Theory Seminar Generalizations of self-reciprocal polynomials
How to replace random walk representations in models that don't have one?
Differential Geometry and Topology Seminar Symmetries in monotone Lagrangian Floer theory
Birational geometry of exceptional sets in Manin's conjecture
Isaac Newton Institute Seminar Series The pentagram map and discrete integrable systemsNPC - Non-positive curvature group actions and cohomology
British Antarctic Survey - Polar Oceans seminar series Seasonal changes in Circumpolar Deep Water in the Amundsen Sea, Antarctica, using seal-borne tagsIf external to BAS, please email the organiser in advance to gain access to the building
Andrew Chamblin Memorial Lectures Exploring the Universe with Gravitational Waves: LIGO and Beyond
Integrable systems associated to submanifolds in Grassmanians
Dark Matter Searches at CMS
Chemistry Departmental-wide lectures Tuning charge transfer in low-dimensional nano carbons
Probing morphology, electronic structure, and triplet routes: the case for time-resolved EPR in organic electronics
The Weak Leopoldt Conjecture for adjoint representations
List objects with algebraic structure
SO-AntEco: Contributing information and scientific advice to the CCAMLR South Orkney Islands MPA reviewIf external to BAS, please email the organiser in advance to gain access to the building
Isaac Newton Institute Seminar Series Nilpotent Lie groups: Fourier inversion and prime idealsOAS - Operator algebras: subfactors and their applications
Isaac Newton Institute Seminar Series Uniformly recurrent subgroups and rigidity of non-free minimal actionsNPC - Non-positive curvature group actions and cohomology
Isaac Newton Institute Seminar Series Affine actions, cohomology and hyperbolicityNPC - Non-positive curvature group actions and cohomology
Seminars on Quantitative Biology @ CRUK Cambridge Institute Statistical Bioinformatics at ScaleAll people external to CRUK CI needs to be booked as visitors. Please contact Kamila at least 24 hours prior the talk.Thank you.
Quantum metrology with Bose Einstein condensates
Centre for Atmospheric Science seminars, Chemistry Dept. Stratospheric ozone in the Earth system
British Antarctic Survey - Polar Oceans seminar series ECCO version 4: an ocean data analysis and parameter estimation frameworkIf external to BAS, please email the organiser in advance to gain access to the building
Robust ranking, constrained ranking and rank aggregation via eigenvector and semidefinite programming synchronization
HEP phenomenology joint Cavendish-DAMTP seminar Fractal based observables to probe jet substructure of quarks and gluons
Isaac Newton Institute Seminar Series Thurston's Shapes of PolyhedraNPC - Non-positive curvature group actions and cohomology
Please see above for contact details for this list. |
Other listsCentre for Industrial Sustainability Seminars Biology British Epigraphy SocietyOther talksThe evolution of meiosis and meiotic recombination in Arabidopsis arenosa. Talk title TBC TBC TBD Title: 'Using ECMO to prevent cholangiopathy in liver transplantation' Economic dispatch in Chinese electricity system: benefits, challenges, and possible solutions |
Speaker to be confirmed.
Wednesday 20 September 2017, 16:30-18:00