MR4, Centre for Mathematical Sciences


2006-11-17 16:00: There and back again (From QCD to strings and back) (Ms Linda Uruchurtu-Gomez (PhD student of Professor Michael Green))

2007-12-12 14:15: Infinite-Dimensional Symmetries of Two-Dimensional Coset Models Coupled to Gravity (Christopher Pope (Texas A&M))

2008-01-30 16:00: Quantum Information and Ultracold Atomic Gases (Maciej Lewenstein, Institut de Ciencies Fotoniques, Barcelona)

2010-05-20 10:00: The Scott model of Linear Logic is the extensional collapse of its relational model (Thomas Ehrhard, Université Paris Diderot)

2010-10-07 14:15: Determining a class of symmetric multiqubit pure states from its parts (Sudha Shenoy (Kuvempu University))

2010-10-12 14:15: Title to be confirmed (Professor Peter Johnstone, DPMMS)

2010-10-14 14:15: Separations between quantum and classical one-way communication complexity (Ashley Montanaro (University of Cambridge))

2010-10-21 14:15: Low-dimensional quite noisy bound entanglement with cryptographic key (Lukasz Pankowski (University of Gdansk))

2010-10-28 14:15: An area law for the entropy of low-energy states (Lluis Masanes (ICFO))

2010-11-04 14:15: The smallest possible heat engines and refrigerators (Sandu Popescu (University of Bristol))

2010-11-11 14:15: Beyond the quantum (Antony Valentini (Imperial College))

2010-11-18 14:15: Causality, Bell's Theorem and Ontic Definiteness (Joe Henson (Perimeter Institute))

2010-11-25 14:15: Information causality (Marcin Pawlowski (University of Bristol))

2010-12-02 14:15: NP-hardness of decoding quantum error correction codes (Min-Hsiu Hsieh (University of Cambridge))

2011-05-05 14:15: Physical interpretation of the Wigner rotations and its implications to relativistic quantum information (Pablo Saldanha (University of Oxford))

2011-05-12 14:15: On Computational Power of Classical and Quantum Branching Programs (Farid Ablayev (University of Kazan))

2011-05-19 14:15: Symmetry vs Controllability: Spin Chains and Beyond (Xiaoting Wang)

2011-05-26 14:15: Measurement, Correlation, and Contextuality in Quantum Mechanics (Masanao Ozawa)

2011-06-16 14:15: Using Berry's phase to detect the Unruh effect at lower accelerations (Ivette Fuentes (University of Nottingham))

2011-10-13 14:15: A compact entanglement distillery (Animesh Datta  (University of Oxford))

2011-10-17 13:00: Bacteria foraging in a turbulent ocean (John Taylor (DAMTP))

2011-10-20 14:15: The semantics and unitarity of measurement-based computations (Neil de Beaudrap (University of Cambridge))

2011-10-24 13:00: Dynamical mechanisms for Southern Hemisphere climate change due to the ozone hole (Andrew Orr (BAS))

2011-10-31 13:00: Mixing at high Richardson number (Colm Caulfield (BPI, DAMTP))

2011-11-03 14:15: Inverting the central limit theorem (Miguel Navascues (University of Bristol))

2011-11-07 13:00: Air quality, ozone layer depletion and chemistry-climate interactions - measurements and modelling (John Pyle (Chemistry))

2011-11-10 14:15: Perspectives on Information Causality (Sabri Al-Safi (University of Cambridge))

2011-11-14 13:00: Modelling melt, water routing and the filling and drainage of lakes on the Greenland Ice Sheet (Ian Willis (SPRI))

2011-11-14 13:00: Modelling melt, water routing and the filling and drainage of lakes on the Greenland Ice Sheet (Dr Ian Willis, Scott Polar Research Institute)

2011-11-17 14:15: Unifying typical entanglement and coin tossing: on randomization in probabilistic theories (Oscar Dahlsten (University of Oxford/National University of Singapore))

2011-11-24 14:15: Renyi relative entropies in quantum information theory (Milan Mosonyi (University of Bristol))

2011-11-28 13:00: Seismic Oceanography: High resolution imaging of thermohaline circulation to abyssal depths (Nicky White (DES))

2011-12-01 14:15: Quantum Reading of Digital Memories (Stefano Pirandola (University of York))

2012-01-19 14:15: The non-additivity saga continues: entanglement of purification (Andreas Winter (University of Bristol))

2012-01-23 13:00: Why is predicting the future of ice sheets so difficult? (David Vaughan (BAS))

2012-01-26 14:15: Strongly driven coherent quantum systems (Dieter Jaksch (University of Oxford))

2012-02-02 14:15: Too Good to be True? Precisely! The Real Cost of Non-Standard Computation (Ed Blakey (University of Bristol))

2012-02-06 13:00: Ocean observations beneath the floating tongue of Pine Island Glacier, West Antarctica: tales from an autonomous yellow submarine and its friends. (Pierre Dutrieux (BAS))

2012-02-09 14:15: The Link between Uncertainty Relations and Non-Locality (Marco Tomamichel (ETH Zurich))

2012-02-13 13:00: Carbon storage in the glacial ocean: radiocarbon recipes (Luke Skinner (Earth Sciences))

2012-02-16 14:15: Spacetime Quantum Mechanics: 20 Years On (James Yearsley (University of Cambridge))

2012-02-20 13:00: Long-life sea surface temperature (Mike Davey (DAMTP))

2012-02-23 14:15: A class of quantum field states inside the `physical corner of Hilbert space' (David Jennings (Imperial College London))

2012-02-27 13:00: Assessing Antarctica's contribution to global sea level rise over the next century: progress made within the EU ice2se project (Tony Payne (Bristol, Geographical Sciences))

2012-02-28 18:30: Leader and Forster - Debate (Prof Imre Leader, Dr Thomas Forster)

2012-03-01 14:15: Retrocausality - what would it take? (Huw Price (University of Cambridge))

2012-03-05 13:00: Ocean processes at the Antarctic continental slope (Karen Heywood (UEA, School of Environmental Sciences))

2012-03-08 14:15: Quantum correlations versus entanglement in composite systems (Gerardo Adesso (University of Nottingham))

2012-03-15 14:15: Pilot-wave theory and quantum fields (Ward Struyve (KU Leuven))

2012-04-26 14:15: Robust Self testing and Non-locality (Tzyh Haur Yang (National University of Singapore))

2012-05-03 14:15: Free randomness can be amplified (Renato Renner (ETH Zurich))

2012-05-17 14:15: Voyage to Alpha Centauri: degradation, creation and detection of cavity mode entanglement due to motion. (David Bruschi (University of Nottingham))

2012-05-24 14:15: Universal Blind Quantum Computation with Weak Coherent Pulses (Vedran Dunjko (Heriot-Watt University))

2012-09-17 14:15: Categories and profunctors via free cocompletions (Richard Garner, Macquarie University, Sidney, Australia)

2012-10-11 14:15: Finite blocklength converse bounds for quantum channels (Will Matthews (University of Cambridge))

2012-10-18 14:15: Estimating multipartite entanglement with few local measurements (Marcus Huber (University of Bristol))

2012-10-25 14:15: Processing quantum information with relativistic motion of atoms (Eduardo Martin-Martinez (University of Waterloo))

2012-10-30 14:15: Grothendieck topologies and Grothendieck quantales (Isar Stubbe, Calais, France)

2012-11-01 14:15: Electronic coherence and recoherence in pigment protein complexes: The fundamental role of non-equilibrium vibrational structures (Alex Chin (University of Cambridge))

2012-11-08 14:15: Quantum information causality (Damian Pitalua-Garcia (University of Cambridge))

2012-11-15 14:15: Quantum Control: reachability, recurrence & perhaps complexity (Daniel Burgarth (Aberystwyth University))

2012-11-22 14:15: Freudenthal triple classification of 3-qubit entanglement (Leron Borsten (Imperial College London))

2012-11-29 14:15: The status of device independent quantum key distribution (Jon Barrett)

2013-01-17 14:15: Continuous-variables graph state generation and reconstruction (Alessandro Ferraro (University of Sussex))

2013-01-24 14:15: Cavity optomechanics in new regimes and with new devices: Single-photon strong coupling and dissipative interaction (Andreas Nunnenkamp (University of Basel))

2013-01-31 14:15: Lessons for Foundations of Quantum Mechanics from Quantum Gravity (Fay Dowker (Imperial College London))

2014-07-16 16:00: Behaviour of stationary Rossby waves after Stratospheric Sudden warming : A simple model (Maxime Mouchet)

2015-05-06 14:30: Hunter, Cauchy Rabbit, and Optimal Kakeya Sets (Perla Sousi, DPMMS)

2015-09-16 14:15: Polynomial and Analytic Functors and Monads, revisited. (Marek Zawadowski (University of Warsaw))

2015-09-29 14:15: Exact completion for fibration categories (Benno van der Berg (Universiteit van Amsterdam))

2015-10-20 17:00: IBM research in Africa : an overview of the projects helping to build Africa's future and career opportunities for mathematicians (Dr. Kamal Bhattacharya, Dr. Osamuyimen Stewart and Dr. Meena Pore)

2016-01-12 14:15: Constructive conceptual completeness for regular logic (Panagis Karazeris (University of Patras))

2016-01-18 13:00: Tropical rainfall, Rossby waves and initialised climate predictions (Adame Scaife (Met Office Hadley Centre))

2016-04-12 14:15: Obstructions in the Deformation Theory of Pasting Diagrams: Shrestha's Polygonal Method. (David Yetter (Kansas State University))

2016-08-17 11:00: Use of temporal information in radar classification (Elliot Lynch)

2016-08-17 11:25: Rays and Bayes - the variational approach to phase retrieval (Roland Bittleston)

2016-08-17 11:50: Application of Monte Carlo estimators for the fast, efficient calculation of complex option Greeks in the presence of stochastic volatility (Joe Wallace)

2016-08-17 12:15: Interactive theorem proving with Isabelle: computer assisted reasoning (Alexander Hicks)

2016-08-17 12:40: Interactive theorem proving with Isabelle: aiming for the boundaries (José Siqueira)

2016-08-17 14:00: The aerogel formation of carbon nanotubes (Maxence Ernoult)

2016-08-17 14:25: Microscopic theory of dielectric and mechanical response of disordered materials (Bingyu Cui)

2016-08-17 14:50: Entropy in aerosol agglomeration (Alice Giroul)

2016-08-17 15:15: Modelling customer behaviour using machine learning techniques (Alexander Fisch, Tim King, Daniel Ng)

2016-08-17 15:40: Interpolation of point spread functions using anisotropic diffusion equations (Wuhyun Sohn)

2016-08-17 16:30: Testing dependence by correlation of distances (Yanitsa Pehova)

2016-08-17 16:55: Seeking gold in sand: applying random matrix theory to separation of signal from noise (Mike Wang)

2017-03-15 16:00: The wrapping hull and a unified framework for estimating the volume of a body (Nicolai Baldin (University of Cambridge))

2017-05-17 14:00: A macroscopic limit for an ecology model. (Gaël Raoul (Ecole polytechnique))

2017-05-26 14:00: Learning and Sparse Control of Multiagent Systems (Massimo Fornasier (TUM - Technische Universität München))

2017-11-23 14:00: Applications and extensions. Short Course: Higher order regularisation in imaging - Lecture 3 (Martin Holler, University of Graz)

2018-02-01 17:00: Ethics for the working mathematician, seminar 7: The impartiality of mathematics. (Maurice Chiodo (University of Cambridge))

2018-02-08 17:00: Ethics for the working mathematician, seminar 8: Standing on the shoulders of giants. (Maurice Chiodo (University of Cambridge) and William Binney)

2018-02-12 17:00: A discussion on AI ethics (Joanna Bryson (University of Bath))

2018-02-15 17:00: Ethics for the working mathematician, seminar 9 CANCELLED (Maurice Chiodo (University of Cambridge))

2018-03-01 17:00: Title to be confirmed (Bonnie Shulman (Bates College) - via videolink)

2018-04-24 14:15: New methods for left exact localizations of topoi (Mathieu Anel (Université Paris Diderot))

2018-09-18 14:15: Dagger limits (Martti Karvonen (University of Edinburgh))

2018-10-09 16:30: Ethics for the working mathematician, lecture 1: An introduction to ethics in mathematics and why it is important. (Maurice Chiodo (University of Cambridge))

2018-10-15 13:00: Waves, turbulence and large-scale flows in mixed convective-stably-stratified fluids (Louis-Alexandre Couston, British Antarctic Survey)

2018-10-16 16:30: Ethics for the working mathematician, lecture 2: Financial mathematics and modelling. (Maurice Chiodo (University of Cambridge))

2018-10-23 14:15: No-Go Theorems for Distributive Laws (Maaike Zwart (University of Oxford))

2018-10-23 16:30: Ethics for the working mathematician, lecture 3: Cryptography, surveillance and privacy. (Maurice Chiodo (University of Cambridge))

2018-10-30 14:15: A Model Invariance Problem in Homotopy Type Theory (Anthony Bordg (University of Cambridge))

2018-10-30 16:30: Ethics for the working mathematician, lecture 4: Fairness and impartiality in algorithms and AI. (Maurice Chiodo (University of Cambridge))

2018-11-06 16:30: Ethics for the working mathematician, lecture 5: Regulation, accountability, and the law. (Maurice Chiodo (University of Cambridge))

2018-11-13 16:30: Ethics for the working mathematician, lecture 6: Understanding the behaviour of the mathematical community. (Maurice Chiodo (University of Cambridge))

2018-11-20 16:30: Ethics for the working mathematician, lecture 7: Psychology 101 - how to survive as a mathematician at work. (Maurice Chiodo (University of Cambridge))

2018-11-27 14:15: Univalent Universes of Sets (Andrew Pitts (University of Cambridge))

2018-11-27 16:30: Ethics for the working mathematician, lecture 8: Looking into the future, what more can mathematicians do? (Maurice Chiodo (University of Cambridge))

2019-02-05 14:15: A new proof of the lattice property of the Tamari order (Noam Zeilberger (University of Birmingham))

2019-02-12 14:15: Locally graded categories (Paul Levy (University of Birmingham))

2019-02-26 14:15: Internal Language of Higher Categories (Karol Szumiło (University of Leeds))

2019-03-05 14:15: The Legendre-Fenchel transform from a category theoretic perspective (Simon Willerton (University of Sheffield))

2019-04-30 14:15: Betweenness reals: How to do Dedekind cuts when you don't know which way is up (Peter Johnstone (DPMMS))

2019-05-07 14:15: Metric Algebra (Marcelo Fiore (University of Cambridge) )

2019-05-22 12:45: From academic to successful software entrepreneur – a guide for researchers (James Thomas (Cambridge Enterprise) and Steve Brierley (Riverlane Research))

2019-05-28 14:15: On the Theory of Higher Subtopoi (Eric Finster (Inria - Nantes))

2019-10-15 16:00: Ethics for the working mathematician, lecture 1: An introduction to ethics in mathematics and why it is important (Maurice Chiodo (University of Cambridge))

2019-10-17 14:15: Toposes for modified realizability  (Dr. Benno van den Berg (University of Amsterdam))

2019-10-22 16:00: Ethics for the working mathematician, lecture 2: Financial Mathematics and Modelling (Maurice Chiodo (University of Cambridge))

2019-10-29 16:00: Ethics for the working mathematician, lecture 3: Cryptography, surveillance and privacy (Maurice Chiodo (University of Cambridge))

2019-11-05 16:00: Ethics for the working mathematician, lecture 4: Fairness and impartiality in algorithms and AI (Maurice Chiodo (University of Cambridge))

2019-11-12 14:15: Coherence through normalisation-by-evaluation for cartesian closed bicategories (Philip Saville (University of Edinburgh))

2019-11-12 16:00: Ethics for the working mathematician, lecture 5: Regulation, accountability, and the law (Maurice Chiodo (University of Cambridge))

2019-11-19 16:00: Ethics for the working mathematician, lecture 6: Understanding the behaviour of the mathematical community (Maurice Chiodo (University of Cambridge))

2019-11-26 16:00: Ethics for the working mathematician, lecture 7: Psychology 101: How to survive as a mathematician at work (Maurice Chiodo (University of Cambridge))

2019-12-03 14:15: Zariski-type spectra of localic rings and monoids (Graham Manuell (University of Edinburgh))

2019-12-03 16:00: Ethics for the working mathematician, lecture 8: Looking into the future, what more can mathematicians do? (Maurice Chiodo (University of Cambridge))

2020-01-21 14:15: A Formal Approach to Generalisations of Monads (Gabriele Lobbia (University of Leeds))

2020-02-04 14:15: Characterizing weakly Schreier extensions of monoids  (Peter Faul (University of Cambridge))

2020-02-11 14:15: D-ultrafilter monads (Lurdes Sousa (CMUC, University of Coimbra & IP Viseu))

2024-03-06 14:00: Statistical classifiers of RFQ acceptance rates in FX electronic market making (A. Abutaliev, R. Tank and T. Brooks, Barclays Bank)