University of Cambridge > Talks.cam > Discussion Room, Newton Institute

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

15 upcoming talks and 78 talks in the archive.

Isaac Newton Institute Seminar Series

Accountable AI-based Software in Complex Sociotechnical Context

VSO2 - Verified software

UserRuzica Piskac (Yale University).

HouseDiscussion Room, Newton Institute.

ClockWednesday 27 July 2022, 17:00-17:30

Isaac Newton Institute Seminar Series

Safety verification of neural-network-based controllers

VSO2 - Verified software

UserRajeev Alur (University of Pennsylvania).

HouseDiscussion Room, Newton Institute.

ClockWednesday 27 July 2022, 16:30-17:00

Isaac Newton Institute Seminar Series

Building Certifiably Safe and Correct Large-scale Autonomous Systems

VSO2 - Verified software

UserChuchu Fan (Massachusetts Institute of Technology).

HouseDiscussion Room, Newton Institute.

ClockWednesday 27 July 2022, 15:30-16:00

Isaac Newton Institute Seminar Series

The logic of autonomous dynamic systems

VSO2 - Verified software

UserAndre Platzer (Carnegie Mellon University).

HouseDiscussion Room, Newton Institute.

ClockWednesday 27 July 2022, 13:30-14:00

Isaac Newton Institute Seminar Series

Formal Wasm: Wasm GC extension

VSO2 - Verified software

UserAndreas Rossberg (None / Other).

HouseDiscussion Room, Newton Institute.

ClockTuesday 26 July 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

Formal Wasm: Discussion

VSO2 - Verified software

User.

HouseDiscussion Room, Newton Institute.

ClockMonday 25 July 2022, 17:00-17:30

Isaac Newton Institute Seminar Series

Networking and Poster Session

MDLW04 - The power of women in deep learning

User.

HouseDiscussion Room, Newton Institute.

ClockTuesday 23 November 2021, 13:30-14:00

Isaac Newton Institute Seminar Series

Asymptotic Analysis of Deep Residual Networks

MDL - Mathematics of deep learning

UserRama Cont (University of Oxford).

HouseDiscussion Room, Newton Institute.

ClockWednesday 27 October 2021, 16:30-18:30

Isaac Newton Institute Seminar Series

Dynamic Imaging Data - TGM Event

Turing Gateway to Mathematics

User.

HouseDiscussion Room, Newton Institute.

ClockMonday 08 June 2015, 09:00-17:00

Isaac Newton Institute Seminar Series

COMSOL tutorial

Understanding Microbial Communities; Function, Structure and Dynamics

UserPicioreanu, C (Delft University of Technology).

HouseDiscussion Room, Newton Institute.

ClockMonday 03 November 2014, 09:00-17:00

Isaac Newton Institute Seminar Series

Time-periodic solutions of advection-diffusion equations on moving hypersurfaces.

Free Boundary Problems and Related Topics

UserFritz, H (University of Warwick ).

HouseDiscussion Room, Newton Institute.

ClockTuesday 13 May 2014, 13:00-14:00

Isaac Newton Institute Seminar Series

Some observations on a fractional Cahn Hilliard equation and its relations with the fractional Porous Medium equation

Free Boundary Problems and Related Topics

UserSegatti, A (Universit degli Studi di Pavia).

HouseDiscussion Room, Newton Institute.

ClockTuesday 29 April 2014, 13:00-14:00

Isaac Newton Institute Seminar Series

Discussion meeting

Mathematical, Statistical and Computational Aspects of the New Science of Metagenomics

User.

HouseDiscussion Room, Newton Institute.

ClockThursday 17 April 2014, 14:00-17:00

Isaac Newton Institute Seminar Series

Forth Demain Discussion

Mathematical, Statistical and Computational Aspects of the New Science of Metagenomics

User.

HouseDiscussion Room, Newton Institute.

ClockThursday 17 April 2014, 09:00-11:00

Isaac Newton Institute Seminar Series

Discussion meeting

Mathematical, Statistical and Computational Aspects of the New Science of Metagenomics

UserLindgren, E (NTNU).

HouseDiscussion Room, Newton Institute.

ClockFriday 11 April 2014, 14:00-17:00

Isaac Newton Institute Seminar Series

Forth Demain Discussion

Mathematical, Statistical and Computational Aspects of the New Science of Metagenomics

User.

HouseDiscussion Room, Newton Institute.

ClockWednesday 09 April 2014, 15:00-17:00

Isaac Newton Institute Seminar Series

The eigenvalue problem for the infinity Laplacian

Free Boundary Problems and Related Topics

UserLindgren, E (NTNU).

HouseDiscussion Room, Newton Institute.

ClockTuesday 08 April 2014, 13:00-14:00

Isaac Newton Institute Seminar Series

Discussion meeting

Mathematical, Statistical and Computational Aspects of the New Science of Metagenomics

User.

HouseDiscussion Room, Newton Institute.

ClockFriday 04 April 2014, 14:00-17:00

Isaac Newton Institute Seminar Series

Informal discussion

Mathematical, Statistical and Computational Aspects of the New Science of Metagenomics

UserGilks, W .

HouseDiscussion Room, Newton Institute.

ClockMonday 31 March 2014, 09:00-17:00

Isaac Newton Institute Seminar Series

Fast Aggressive Trading

Institute distinguished event

UserPayne, R (City University London).

HouseDiscussion Room, Newton Institute.

ClockThursday 21 November 2013, 11:00-11:50

Isaac Newton Institute Seminar Series

Fluscape

Infectious Disease Dynamics

UserLessler, J (Johns Hopkins University) & Riley, S (Imperial College London).

HouseDiscussion Room, Newton Institute.

ClockFriday 30 August 2013, 16:00-17:00

Isaac Newton Institute Seminar Series

Poster Session

The Mathematics of Liquid Crystals

UserSalamon, P (Wigner Research Centre for Physics).

HouseDiscussion Room, Newton Institute.

ClockFriday 05 July 2013, 15:15-17:00

Isaac Newton Institute Seminar Series

Introduction to Density Functional Theory of Liquid Crystals II

The Mathematics of Liquid Crystals

UserLonga, L (Uniwersytet Jagiellonski).

HouseDiscussion Room, Newton Institute.

ClockWednesday 20 February 2013, 15:00-16:00

Isaac Newton Institute Seminar Series

Informal workshop on shear flow

The Mathematics of Liquid Crystals

UserChillingworth, D (University of Southampton).

HouseDiscussion Room, Newton Institute.

ClockWednesday 20 February 2013, 14:00-15:00

Isaac Newton Institute Seminar Series

Introduction to Density Functional Theory of Liquid Crystals

The Mathematics of Liquid Crystals

UserLonga, L (Uniwersytet Jagiellonski).

HouseDiscussion Room, Newton Institute.

ClockMonday 11 February 2013, 15:00-17:00

Isaac Newton Institute Seminar Series

Informal workshop on shear flow

The Mathematics of Liquid Crystals

UserChillingworth, D (University of Southampton).

HouseDiscussion Room, Newton Institute.

ClockWednesday 06 February 2013, 16:00-17:00

Isaac Newton Institute Seminar Series

Dynamics of bulk nematics in a uniform shear flow (informal workshop)

The Mathematics of Liquid Crystals

UserChillingworth, D (University of Southampton).

HouseDiscussion Room, Newton Institute.

ClockWednesday 23 January 2013, 15:30-17:00

Isaac Newton Institute Seminar Series

Dynamics of bulk nematics in a uniform shear flow (informal workshop)

The Mathematics of Liquid Crystals

UserChillingworth, D (University of Southampton).

HouseDiscussion Room, Newton Institute.

ClockWednesday 16 January 2013, 14:10-17:00

Isaac Newton Institute Seminar Series

Surfaces and curvature in Euler and Navier-Stokes simulations. Where next?

Topological Dynamics in the Physical and Biological Sciences

UserKerr, R (University of Warwick).

HouseDiscussion Room, Newton Institute.

ClockThursday 13 December 2012, 10:00-11:00

Isaac Newton Institute Seminar Series

Discussion Sessions

Stochastic Partial Differential Equations (SPDEs)

UserNualart, E (Universit Paris 13 Nord).

HouseDiscussion Room, Newton Institute.

ClockThursday 13 September 2012, 14:00-15:40

Isaac Newton Institute Seminar Series

Discussion Sessions

Stochastic Partial Differential Equations (SPDEs)

UserVeraar, M (Delft University of Technology).

HouseDiscussion Room, Newton Institute.

ClockWednesday 12 September 2012, 14:00-15:40

Isaac Newton Institute Seminar Series

Interest Group in Formal Mathematics: Natural Language Proof Checking - The Naproche System

Semantics and Syntax: A Legacy of Alan Turing

UserCramer, M, Koepke, P, Schroeder, B (Universities of Bonn and Duisburg/Essen).

HouseDiscussion Room, Newton Institute.

ClockWednesday 28 March 2012, 14:00-16:00

Isaac Newton Institute Seminar Series

The relative consistency of the axiom of choice mechanized using Isabelle/ZF

Semantics and Syntax: A Legacy of Alan Turing

UserPaulson, L (University of Cambridge).

HouseDiscussion Room, Newton Institute.

ClockThursday 22 March 2012, 13:30-15:00

Isaac Newton Institute Seminar Series

Literate Proving: Informal Discussion Group

Semantics and Syntax: A Legacy of Alan Turing

UserAczel, P (University of Manchester).

HouseDiscussion Room, Newton Institute.

ClockThursday 08 March 2012, 13:30-15:00

Isaac Newton Institute Seminar Series

Meeting of the Interest Group on Formal Mathematics: Fine-grained mathematical dependencies in the Mizar proof assistant

Semantics and Syntax: A Legacy of Alan Turing

UserAlama, J (Universidade Nova de Lisboa (UNL)).

HouseDiscussion Room, Newton Institute.

ClockThursday 01 March 2012, 13:30-15:00

Isaac Newton Institute Seminar Series

Meeting of the Interest Group on Formal Mathematics: Fine-grained mathematical dependencies in the Mizar proof assistant

Semantics and Syntax: A Legacy of Alan Turing

UserAlama, J (Universidade Nova de Lisboa (UNL)).

HouseDiscussion Room, Newton Institute.

ClockThursday 01 March 2012, 13:30-15:00

Isaac Newton Institute Seminar Series

Informal discussion session on generalised geometry

Mathematics and Applications of Branes in String and M-theory

UserStrickland-Constable, C (Imperial).

HouseDiscussion Room, Newton Institute.

ClockThursday 16 February 2012, 16:00-17:00

Isaac Newton Institute Seminar Series

Industry Day

Design and Analysis of Experiments

User.

HouseDiscussion Room, Newton Institute.

ClockWednesday 30 November 2011, 09:00-18:00

Isaac Newton Institute Seminar Series

Staff meeting

Institute distinguished event

User.

HouseDiscussion Room, Newton Institute.

ClockMonday 03 October 2011, 15:00-16:00

Isaac Newton Institute Seminar Series

Cambridge Statistics Initiative - poster sessions

Design and Analysis of Experiments

User.

HouseDiscussion Room, Newton Institute.

ClockMonday 26 September 2011, 09:00-17:00

Isaac Newton Institute Seminar Series

Poster Session

Design and Analysis of Experiments

UserDean, A (SAS Institute, Inc.).

HouseDiscussion Room, Newton Institute.

ClockTuesday 06 September 2011, 17:15-18:15

Isaac Newton Institute Seminar Series

Poster session

Statistical Challenges Arising from Genome Resequencing

UserMcCarroll, S (Harvard University).

HouseDiscussion Room, Newton Institute.

ClockThursday 15 July 2010, 15:30-16:00

Isaac Newton Institute Seminar Series

Formal poster session

Statistical Challenges Arising from Genome Resequencing

UserDown, T (University of Cambridge).

HouseDiscussion Room, Newton Institute.

ClockWednesday 14 July 2010, 19:45-21:30

Isaac Newton Institute Seminar Series

Poster session

Statistical Challenges Arising from Genome Resequencing

UserKong, A (DeCode genetics).

HouseDiscussion Room, Newton Institute.

ClockWednesday 14 July 2010, 15:30-16:00

Isaac Newton Institute Seminar Series

CW meeting

Institute distinguished event

UserSanz-Sol, M (Barcelona).

HouseDiscussion Room, Newton Institute.

ClockFriday 02 July 2010, 10:30-11:30

Isaac Newton Institute Seminar Series

Warped and twisted discs in close binary systems

Dynamics of Discs and Planets

UserFragner, M (QMUL).

HouseDiscussion Room, Newton Institute.

ClockThursday 03 December 2009, 14:30-15:30

Number Theory Study Group: P-adic Analysis

Continuous functions and measures on Z_p

Sarah to make cake

UserAlex Bartel (University of Cambridge).

HouseDiscussion Room, Newton Institute.

ClockThursday 29 October 2009, 14:00-15:00

Number Theory Study Group: P-adic Analysis

Topological vector spaces

Tim to make cake

UserChern-Yang Lee (University of Cambridge) and Zhibin Liang (Capital Normal University, Beijing).

HouseDiscussion Room, Newton Institute.

ClockThursday 22 October 2009, 14:00-15:00

Isaac Newton Institute Seminar Series

Computer committee meeting

Institute distinguished event

UserKirsch, W (FernUniversitt Hagen).

HouseDiscussion Room, Newton Institute.

ClockTuesday 16 December 2008, 14:30-16:00

Isaac Newton Institute Seminar Series

Stratified turbulence in the atmosphere and the oceans

The Nature of High Reynolds Number Turbulence

UserLindborg, E (KTH).

HouseDiscussion Room, Newton Institute.

ClockThursday 09 October 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

Helical flows, conservation laws and symmetries

The Nature of High Reynolds Number Turbulence

UserOberlack, M (Darmstadt).

HouseDiscussion Room, Newton Institute.

ClockWednesday 08 October 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

Pressure-driven turbulent puff in a pipe

The Nature of High Reynolds Number Turbulence

UserKida, S (Kyoto).

HouseDiscussion Room, Newton Institute.

ClockTuesday 07 October 2008, 13:00-14:00

Isaac Newton Institute Seminar Series

Inviscid two-dimensional turbulence

The Nature of High Reynolds Number Turbulence

UserDritschel, D (St Andrews).

HouseDiscussion Room, Newton Institute.

ClockMonday 06 October 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

Turbulence in four dimensions

The Nature of High Reynolds Number Turbulence

UserGotoh, T (Nagoya Institute of Technology).

HouseDiscussion Room, Newton Institute.

ClockWednesday 24 September 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

Instabilities of two-layer shallow-water flows with vertical shear in the rotating annulus

The Nature of High Reynolds Number Turbulence

UserZeitlin, V (LMD-ENS).

HouseDiscussion Room, Newton Institute.

ClockTuesday 23 September 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

A Lagrangian view of scalar transport and mixing

The Nature of High Reynolds Number Turbulence

UserSawford, B (Monash).

HouseDiscussion Room, Newton Institute.

ClockMonday 22 September 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

Turbulent mixing regimes in stratified shear flow

The Nature of High Reynolds Number Turbulence

UserCaulfield, C (Cambridge).

HouseDiscussion Room, Newton Institute.

ClockThursday 18 September 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

Wall turbulence: from the laboratory to the atmosphere

The Nature of High Reynolds Number Turbulence

UserMarusic, I (Melbourne).

HouseDiscussion Room, Newton Institute.

ClockWednesday 17 September 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

LES and modelling near-wall multipoint correlations

The Nature of High Reynolds Number Turbulence

UserMoser, R (Texas).

HouseDiscussion Room, Newton Institute.

ClockMonday 15 September 2008, 15:00-16:00

Isaac Newton Institute Seminar Series

Poster session

Mathematics and Physics of Anderson localization: 50 Years After

UserGoldsheid, I (Queen Mary, London).

HouseDiscussion Room, Newton Institute.

ClockThursday 17 July 2008, 16:00-18:00

Isaac Newton Institute Seminar Series

Algebraic numbers/chromatic roots working group

Combinatorics and Statistical Mechanics

UserWagner, D (Waterloo).

HouseDiscussion Room, Newton Institute.

ClockThursday 01 May 2008, 11:00-12:00

Isaac Newton Institute Seminar Series

Set-theoretic solutions of the Yang-Baxter equation - a combinatorial approach

Combinatorics and Statistical Mechanics

UserGateva-Ivanova, T (IMI, Bulgarian Academy of Sciences).

HouseDiscussion Room, Newton Institute.

ClockThursday 20 March 2008, 11:00-12:00

Isaac Newton Institute Seminar Series

Proteomics data analysis

Statistical Theory and Methods for Complex, High-Dimensional Data

UserHouse, L (Durham).

HouseDiscussion Room, Newton Institute.

ClockTuesday 11 March 2008, 14:00-15:00

Isaac Newton Institute Seminar Series

Algebraic aspects of chromatic roots

Combinatorics and Statistical Mechanics

UserCameron, P (QMUL).

HouseDiscussion Room, Newton Institute.

ClockTuesday 11 March 2008, 11:00-13:00

Isaac Newton Institute Seminar Series

Graph polynomials from an algebraic point of view

Combinatorics and Statistical Mechanics

UserCameron, P (QMUL).

HouseDiscussion Room, Newton Institute.

ClockTuesday 04 March 2008, 11:00-12:00

Please see above for contact details for this list.

 

© 2006-2022 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity