Discussion Room, Newton Institute


2008-03-04 11:00: Graph polynomials from an algebraic point of view (Cameron, P (QMUL))

2008-03-11 11:00: Algebraic aspects of chromatic roots (Cameron, P (QMUL))

2008-03-11 14:00: Proteomics data analysis (House, L (Durham))

2008-03-20 11:00: Set-theoretic solutions of the Yang-Baxter equation - a combinatorial approach (Gateva-Ivanova, T (IMI, Bulgarian Academy of Sciences))

2008-05-01 11:00: Algebraic numbers/chromatic roots working group (Wagner, D (Waterloo))

2008-07-17 16:00: Poster session (Goldsheid, I (Queen Mary, London))

2008-09-15 15:00: LES and modelling near-wall multipoint correlations (Moser, R (Texas))

2008-09-17 15:00: Wall turbulence: from the laboratory to the atmosphere (Marusic, I (Melbourne))

2008-09-18 15:00: Turbulent mixing regimes in stratified shear flow (Caulfield, C (Cambridge))

2008-09-22 15:00: A Lagrangian view of scalar transport and mixing (Sawford, B (Monash))

2008-09-23 15:00: Instabilities of two-layer shallow-water flows with vertical shear in the rotating annulus (Zeitlin, V (LMD-ENS))

2008-09-24 15:00: Turbulence in four dimensions (Gotoh, T (Nagoya Institute of Technology))

2008-10-06 15:00: Inviscid two-dimensional turbulence (Dritschel, D (St Andrews))

2008-10-07 13:00: Pressure-driven turbulent puff in a pipe (Kida, S (Kyoto))

2008-10-08 15:00: Helical flows, conservation laws and symmetries (Oberlack, M (Darmstadt))

2008-10-09 15:00: Stratified turbulence in the atmosphere and the oceans (Lindborg, E (KTH))

2009-10-22 14:00: Topological vector spaces (Chern-Yang Lee (University of Cambridge) and Zhibin Liang (Capital Normal University, Beijing))

2009-10-29 14:00: Continuous functions and measures on Z_p (Alex Bartel (University of Cambridge))

2009-12-03 14:30: Warped and twisted discs in close binary systems (Fragner, M (QMUL))

2010-07-14 15:30: Poster session (Kong, A (DeCode genetics))

2010-07-14 19:45: Formal poster session (Down, T (University of Cambridge))

2010-07-15 15:30: Poster session (McCarroll, S (Harvard University))

2011-09-06 17:15: Poster Session (Dean, A (SAS Institute, Inc.))

2011-09-26 09:00: Cambridge Statistics Initiative - poster sessions ()

2012-02-16 16:00: Informal discussion session on generalised geometry (Strickland-Constable, C (Imperial))

2012-03-01 13:30: Meeting of the Interest Group on Formal Mathematics: Fine-grained mathematical dependencies in the Mizar proof assistant (Alama, J (Universidade Nova de Lisboa (UNL)))

2012-03-01 13:30: Meeting of the Interest Group on Formal Mathematics: Fine-grained mathematical dependencies in the Mizar proof assistant (Alama, J (Universidade Nova de Lisboa (UNL)))

2012-03-08 13:30: Literate Proving:  Informal Discussion Group (Aczel, P (University of Manchester))

2012-03-22 13:30: The relative consistency of the axiom of choice mechanized using Isabelle/ZF (Paulson, L (University of Cambridge))

2012-03-28 14:00: Interest Group in Formal Mathematics: Natural Language Proof Checking - The Naproche System (Cramer, M, Koepke, P, Schroeder, B (Universities of Bonn and Duisburg/Essen))

2012-09-12 14:00: Discussion Sessions (Veraar, M (Delft University of Technology))

2012-09-13 14:00: Discussion Sessions (Nualart, E (Universit Paris 13 Nord))

2012-12-13 10:00: Surfaces and curvature in Euler and Navier-Stokes simulations.  Where next? (Kerr, R (University of Warwick))

2013-01-16 14:10: Dynamics of bulk nematics in a uniform shear flow (informal workshop) (Chillingworth, D (University of Southampton))

2013-01-23 15:30: Dynamics of bulk nematics in a uniform shear flow (informal workshop) (Chillingworth, D (University of Southampton))

2013-02-06 16:00: Informal workshop on shear flow (Chillingworth, D (University of Southampton))

2013-02-11 15:00: Introduction to Density Functional Theory of Liquid Crystals (Longa, L (Uniwersytet Jagiellonski))

2013-02-20 14:00: Informal workshop on shear flow (Chillingworth, D (University of Southampton))

2013-02-20 15:00: Introduction to Density Functional Theory of Liquid Crystals II (Longa, L (Uniwersytet Jagiellonski))

2013-07-05 15:15: Poster Session (Salamon, P (Wigner Research Centre for Physics))

2013-08-30 16:00: Fluscape (Lessler, J (Johns Hopkins University) & Riley, S (Imperial College London))

2013-11-21 11:00: Fast Aggressive Trading (Payne, R (City University London))

2014-03-31 09:00: Informal discussion (Gilks, W )

2014-04-04 14:00: Discussion meeting ()

2014-04-08 13:00: The eigenvalue problem for the infinity Laplacian (Lindgren, E (NTNU))

2014-04-09 15:00: Forth Demain Discussion ()

2014-04-11 14:00: Discussion meeting (Lindgren, E (NTNU))

2014-04-17 09:00: Forth Demain Discussion ()

2014-04-17 14:00: Discussion meeting ()

2014-04-29 13:00: Some observations on a fractional Cahn Hilliard equation and its relations with the fractional Porous Medium equation (Segatti, A (Universit degli Studi di Pavia))

2014-05-13 13:00: Time-periodic solutions of advection-diffusion equations on moving hypersurfaces. (Fritz, H (University of Warwick ))

2014-11-03 09:00: COMSOL tutorial (Picioreanu, C (Delft University of Technology))

2015-06-08 09:00: Dynamic Imaging Data - TGM Event ()

2021-10-27 16:30: Asymptotic Analysis of Deep Residual Networks (Rama Cont (University of Oxford))

2021-11-23 13:30: Networking and Poster Session ()

2022-05-03 09:00: Optimisation Training for Industry (Physical) ()

2022-07-18 15:30: Synthesis United:  Linear Temporal Logic: From Infinite to Finite Horizon (Moshe Vardi (Rice University))

2022-07-18 16:30: Synthesis United: Live Synthesis ()

2022-07-25 17:00: Formal Wasm: Discussion ()

2022-07-27 13:30: The logic of autonomous dynamic systems (Andre Platzer (Carnegie Mellon University))

2022-07-27 14:00: Trusted Autonomous Systems: Verification Meets Falsification (Sergiy Bogomolov)

2022-07-27 14:30: Provably-Correct Neurosymbolic Controllers for Autonomous Cyber-Physical Systems (Yasser Soukry)

2022-07-27 15:30: Building Certifiably Safe and Correct Large-scale Autonomous Systems (Chuchu Fan (Massachusetts Institute of Technology))

2022-07-27 16:00: Know the Unknowns: Holistically Addressing Uncertainties and Disturbances in Learning-Enabled Cyber-Physical Systems (Qi Zhu (Northeastern University))

2022-07-27 16:30: Safety verification of neural-network-based controllers (Rajeev Alur (University of Pennsylvania))

2022-07-27 17:00: Accountable AI-based Software in Complex Sociotechnical Context (Ruzica Piskac (Yale University))

2022-07-27 17:30: Verified Learning autonomy - Susmit Jha ()

2022-09-22 11:00: Classical invariant theory (Siddharth Mahendraker (Boston College))

2022-10-12 15:45: Tutorial: Metagenomics analyses (Chris Quince (University of Warwick))

2022-10-18 15:30: Afternoon Tea and Poster Session ()

2022-11-01 15:50: Discussions ()

2022-11-28 16:15: Poster session ()

2022-12-13 16:00: Discussion Groups ()

2022-12-14 14:30: Discussions ()

2022-12-15 17:00: Discussion Groups ()

2022-12-16 17:00: Discussion Groups ()

2023-01-09 14:45: Group Activity ()

2023-01-10 14:45: Group Activity ()

2023-01-11 14:45: Group Activity ()

2023-01-13 11:00: Discussion group on robust estimation ()

2023-01-17 16:30: Poster session ()

2023-03-21 14:30: Poster session ()

2023-04-24 16:00: Poster session ()

2023-04-27 16:00: Poster session ()

2023-05-22 10:30: Posters ()

2023-05-22 15:10: Posters ()

2023-05-23 10:30: Posters ()

2023-05-23 15:10: Posters ()

2023-05-24 10:30: Posters ()

2023-05-24 13:40: Free Afternoon and Posters ()

2023-05-25 10:30: Posters ()

2023-05-25 15:10: Posters ()

2023-05-26 10:30: Posters ()

2023-05-26 15:10: Posters ()

2023-07-20 10:30: DNS of active particles in complex environments (Ryoichi Yamamoto (Kyoto University))

2023-08-31 11:00: Active polymers in complex environments (Sara Jabbari-farouji (Universiteit van Amsterdam))

2023-08-31 15:00: Liquid crystals, topological defects, and morphogenesis (Farzan Vafa (Harvard University))

2023-09-01 11:00: The physics of death (Wilson Poon (University of Edinburgh))

2023-09-04 10:30: Quantum Entropy,  Entanglement and Black holes (Atish Dabholkar (Abdus Salam International Centre for Theoretical Physics))

2023-09-06 10:30: How to Apply Machine Learning to Number Theory (Kyu-Hwan Lee (University of Connecticut))

2023-09-07 11:00: Machine learning and formal verification in mathematics (Kevin Buzzard (Imperial College London))

2023-11-27 16:00: Poster session ()

2024-07-02 15:30: Collaboration and Group work ()

2024-07-04 15:30: Collaboration and Group work ()

2024-08-05 14:00: Breakout Session - Inference theme ()

2024-08-08 14:00: Breakout Session - Policy Theme ()

2024-09-03 14:00: Taking into account career breaks and caring responsibilities when assessing potential ()

2024-11-22 15:00: Diagrammatic approach to quantum nonlocal games ()

2025-05-07 16:30: Poster Session ()

2025-05-08 16:30: Poster Session ()

2025-06-03 10:30: Poster Session with Morning Coffee ()

2025-06-24 15:30: Poster Session ()

2025-06-24 15:30: Poster Session ()

2025-06-25 15:30: Poster Session ()

2025-06-25 15:30: Poster Session ()

2025-09-25 16:00: Group Work ()

2025-12-18 10:00: MIP ()

2025-12-18 14:00: MIP ()

2026-01-13 16:30: Online Causal Inference Seminar: The Categorical Instrumental Variable Model: Characterization, Partial Identification, and Statistical Inference (Richard Guo (University of Michigan), Yilin Song (University of Washington))

2026-02-03 16:30: Online Causal Inference Seminar ()

2026-02-10 16:30: Online Causal Inference Seminar ()

2026-02-17 16:30: Online Causal Inference Seminar ()

2026-02-24 16:30: Online Causal Inference Seminar ()

2026-03-17 15:30: Online Causal Inference Seminar ()

2026-03-20 09:00: CIF OfB Planning ()

2026-03-24 15:30: Online Causal Inference Seminar ()

2026-03-27 09:00: CIF OfB Planning ()

2026-03-31 16:30: Online Causal Inference Seminar ()

2026-04-07 16:30: Online Causal Inference Seminar ()

2026-04-14 16:30: Online Causal Inference Seminar ()

2026-04-28 16:30: Online Causal Inference Seminar ()

2026-05-05 16:30: Online Causal Inference Seminar ()

2026-05-12 16:30: Online Causal Inference Seminar ()

2026-05-18 12:00: Scientific Steering Committee meeting ()

2026-05-19 16:30: Online Causal Inference Seminar ()

2026-05-26 16:30: Online Causal Inference Semina ()

2026-06-02 16:30: Online Causal Inference Seminar ()

2026-06-09 16:30: Online Causal Inference Seminar ()

2026-06-23 16:30: Online Causal Inference Seminar ()