University of Cambridge > Talks.cam > bld31

bld31

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Tell a friend about this list:

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

263 upcoming talks and 29488 talks in the archive: show first 500.

Isaac Newton Institute Seminar Series

Experiments with Concurrent Kleene Algebra

VS2W01 - Vistas in Verified Software

UserBernhard Möller (Universität Augsburg).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 July 2022, 09:30-10:30

Isaac Newton Institute Seminar Series

Network Verification for Azure Reliability

VS2W01 - Vistas in Verified Software

UserAndrey Rybalchenko (Microsoft (UK)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 July 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

The soluble graph of a finite group

GRA2 - Groups, representations and applications: new perspectives

UserTim Burness (University of Bristol).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 05 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Extracting a certified OCaml library from Coq. 

VS2W01 - Vistas in Verified Software

UserTimothy Griffin (University of Cambridge), Mukesh Tiwari (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 July 2022, 13:30-14:30

MRC Biostatistics Unit Seminars

BSU Seminar: "Design and Inference for Enrichment Trials with a Continuous Biomarker"

This will be a hybrid seminar. If you would like to attend virtually, please register for free here - https://us02web.zoom.us/meeting/register/tZErduCprzwiEtQhPshDBMXcqhwlvdZtp_IP

UserProf William Rosenberger, George Mason University.

HouseSeminar Room 12, School of Clinical Medicine, Hills Rd, Cambridge CB2 0SP.

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

Isaac Newton Institute Seminar Series

Program Verification: a 70+-Year History

VS2W01 - Vistas in Verified Software

UserMoshe Vardi (Rice University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

Bloch-Kato Conjectures and Rational Points on Curves

KAH2 - K-theory, algebraic cycles and motivic homotopy theory

UserDavid Corwin (Ben-Gurion University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 05 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Verifying a Virtualization Stack at BedRock Systems

VS2W01 - Vistas in Verified Software

UserGregory Malecha (Bed Rock Systems).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Formally Verifed Numerical Methods

VS2W01 - Vistas in Verified Software

UserAndrew Appel (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 July 2022, 09:30-10:30

Isaac Newton Institute Seminar Series

Verified Secure Routing

VS2W01 - Vistas in Verified Software

UserPeter Müller (ETH Zürich).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 July 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

TBA

VS2W01 - Vistas in Verified Software

UserSergey Bratus (Defense Advanced Research Projects Agency (DARPA)).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

The business of proof

VS2W01 - Vistas in Verified Software

UserByron Cook (Amazon).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Syntomic complexes of regular schemes

KAH2 - K-theory, algebraic cycles and motivic homotopy theory

UserAkhil Mathew (University of Chicago).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 06 July 2022, 16:00-17:00

Worms and Bugs

Identifying sources of transmission for zoonotic mosquito-borne viruses

UserDr Jennifer Lord, Department of Vector Biology Liverpool School of Tropical Medicine.

HouseZoom.

ClockWednesday 06 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Cooperative Verification: Combination Approaches that Share Information

VS2W01 - Vistas in Verified Software

UserDirk Beyer (Ludwig-Maximilians-Universität München).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 July 2022, 09:30-10:30

Isaac Newton Institute Seminar Series

In Defense of Software Testing & On Techniques for Continuous Testing

VS2W01 - Vistas in Verified Software

UserCristian Cadar (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 July 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Wrestling with real systems

VS2W01 - Vistas in Verified Software

UserPeter Sewell (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 July 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Vistas in Proof-oriented Programming: F*, Everest, and Beyond

VS2W01 - Vistas in Verified Software

UserNikhil Swamy (Microsoft (USA)).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

Unisingular irreducible representations of finite groups of Lie type in the natural characteristic

GRA2 - Groups, representations and applications: new perspectives

UserAlexandre Zalesski (University of East Anglia).

HouseSeminar Room 2, Newton Institute.

ClockThursday 07 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Contributed Talks

VS2W01 - Vistas in Verified Software

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Automatic Detecting Billion $ Coding Errors with Static Program Analysis

VS2W01 - Vistas in Verified Software

UserMooly Sagiv (Tel Aviv University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 July 2022, 09:30-10:30

Isaac Newton Institute Seminar Series

Interpreters for Free

VS2W01 - Vistas in Verified Software

UserPhilip Wadler (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 July 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Static Analysis for Data Scientists

VS2W01 - Vistas in Verified Software

UserCaterina Urban (INRIA).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 July 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

TBA

VS2W01 - Vistas in Verified Software

UserThomas Henzinger (IST Austria).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

CN: A separation-logic refinement type system for production systems code verification

VS2W01 - Vistas in Verified Software

UserNeel Krishnaswami (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Whitham modulation theory and water waves

HY2W01 - Modulation theory and dispersive shock waves

UserThomas Bridges (University of Surrey).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 July 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

Verified Machine Learning

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockMonday 11 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

Frequency Downshifting: A Dispersive Whitham Perspective

HY2W01 - Modulation theory and dispersive shock waves

UserDaniel Ratliff (Northumbria University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 July 2022, 11:30-12:00

Isaac Newton Institute Seminar Series

Verified Machine Learning

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockMonday 11 July 2022, 13:30-15:00

Seminars on Quantitative Biology @ CRUK Cambridge Institute

Combining multi-omics and biological knowledge to extract disease mechanisms

Please contact Ciara for further details

UserJulio Saez-Rodriguez, Faculty of Medicine of Heidelberg University, Director of the Institute of Computational Biomedicine and Group Leader at the EMBL- Heidelberg University Molecular Medicine Partnership Unit (MMPU).

HouseCRUK CI Lecture Theatre.

ClockMonday 11 July 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

Modulational Stability for Equations of Whitham Type

HY2W01 - Modulation theory and dispersive shock waves

UserWesley Perkins (Lehigh University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 July 2022, 14:00-14:30

Isaac Newton Institute Seminar Series

Linearisable Abel equations and the Gurevich-Pitaevskii problem

HY2W01 - Modulation theory and dispersive shock waves

UserStanislav Opanasenko (Loughborough University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 July 2022, 14:30-15:00

Isaac Newton Institute Seminar Series

The hydrodynamics of soliton gases

HY2W01 - Modulation theory and dispersive shock waves

UserBenjamin Doyon (King's College London).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 July 2022, 15:00-15:30

Isaac Newton Institute Seminar Series

Modulation theory in two-component Bose-Einstein condensates: the ferromagnetic paradigm

HY2W01 - Modulation theory and dispersive shock waves

UserNicolas Pavloff (Université Paris-Saclay).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 July 2022, 16:00-16:30

Isaac Newton Institute Seminar Series

Modulated Waves in Electrodynamics and Optics. Historical Perspective

HY2W01 - Modulation theory and dispersive shock waves

UserLev Ostrovsky (University of Colorado Boulder).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 July 2022, 16:30-17:00

Isaac Newton Institute Seminar Series

Three-dimensional internal waves in the lower atmosphere

HY2W01 - Modulation theory and dispersive shock waves

UserXudan Luo (Chinese Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 July 2022, 10:30-11:00

Isaac Newton Institute Seminar Series

On surface and internal ring waves on currents: dispersive hydrodynamics in 3D

HY2W01 - Modulation theory and dispersive shock waves

UserKarima Khusnutdinova (Loughborough University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 July 2022, 11:00-11:30

Isaac Newton Institute Seminar Series

A recursive formula for plethysm coefficients and some applications

GRA2 - Groups, representations and applications: new perspectives

UserStacey Law (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 12 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Modulation of short surface waves by long internal waves

HY2W01 - Modulation theory and dispersive shock waves

UserWooyoung  Choi (New Jersey Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 July 2022, 11:30-12:00

Isaac Newton Institute Seminar Series

Dispersive shock waves in coastal flows

HY2W01 - Modulation theory and dispersive shock waves

UserTed Johnson (University College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 July 2022, 14:00-14:30

Isaac Newton Institute Seminar Series

Large mode-2 internal solitary waves in three-layer flows

HY2W01 - Modulation theory and dispersive shock waves

UserRicardo Barros (Loughborough University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 July 2022, 14:30-15:00

Isaac Newton Institute Seminar Series

Soliton fission and solitonic turbulence for shallow water waves: a numerical study with different models

HY2W01 - Modulation theory and dispersive shock waves

UserMichel Benoit (Electricté de France).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 July 2022, 15:00-15:30

Isaac Newton Institute Seminar Series

The Mirror Clemens-Schmid Sequence

KAH2 - K-theory, algebraic cycles and motivic homotopy theory

UserAlan Thompson (Loughborough University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 12 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Transition fronts and their universality classes

HY2W01 - Modulation theory and dispersive shock waves

UserAnna Vainchtein (University of Pittsburgh).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 July 2022, 10:30-11:00

Isaac Newton Institute Seminar Series

Verified Software Toolchains

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 13 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

Modulation Instability of undular bores in Whitham-Boussinesq systems and revealing characteristics of Stokes wave trains and solitary waves associated with these systems.

HY2W01 - Modulation theory and dispersive shock waves

UserRosa Vargas-Magana (Universidad Nacional Autonoma de Mexico (UNAM)).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 July 2022, 11:00-11:30

Isaac Newton Institute Seminar Series

Generalized Rankine -- Hugoniot relations for shocks in dispersive media

HY2W01 - Modulation theory and dispersive shock waves

UserSergey Gavrilyuk (Aix Marseille Université).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 July 2022, 11:30-12:00

Isaac Newton Institute Seminar Series

Verified Software Toolchains

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 13 July 2022, 13:30-15:00

Isaac Newton Institute Seminar Series

Free resolutions from opposite Schubert varieties in minuscule homogeneous spaces

KAH2 - K-theory, algebraic cycles and motivic homotopy theory

UserSara Angela Filippini (Jagiellonian University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 13 July 2022, 16:00-17:00

Cambridge Statistics Clinic

Statistics Clinic Summer 2022 I

The clinic takes place in MR5 at the Centre for Mathematical Sciences.

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockWednesday 13 July 2022, 16:30-18:00

Isaac Newton Institute Seminar Series

Dispersive shock wave of the KP equation

HY2W01 - Modulation theory and dispersive shock waves

UserYuji Kodama (Ohio State University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Non-integrable KdV-like models: solitons, breathers, compactons and rogue waves

HY2W01 - Modulation theory and dispersive shock waves

UserEfim Pelinovsky (None / Other).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 10:30-11:00

Isaac Newton Institute Seminar Series

Reductions of (2+1) and (3+1) Dimensional Kadomtsev- Petviashvili Type Equations and Dispersive Shock Waves

HY2W01 - Modulation theory and dispersive shock waves

UserAli Demirci (Instanbul Technical University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 11:00-11:30

Isaac Newton Institute Seminar Series

Dispersive Shock Waves in Lattices: A Dimension Reduction Approach

HY2W01 - Modulation theory and dispersive shock waves

UserChristopher Chong (Bowdoin College).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 11:30-12:00

Rainbow Group Seminars

Image Quality Metrics at the Time of Deep Learning

UserFrancesco Banterle, Visual Computing Lab, ISTI-CNR, Italy.

HouseSS03.

ClockThursday 14 July 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

Wave Breaking in Undular Bores

HY2W01 - Modulation theory and dispersive shock waves

UserHenrik Kalisch (Universitetet i Bergen).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 14:00-14:30

Isaac Newton Institute Seminar Series

Weakly nonlinear shoaling of tsunami: the phenomenon of self-induced transparency

HY2W01 - Modulation theory and dispersive shock waves

UserVictor Shrira (Keele University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 14:30-15:00

Isaac Newton Institute Seminar Series

Initial-boundary value problems for Boussinesq-type systems

HY2W01 - Modulation theory and dispersive shock waves

UserDionyssis Mantzavinos (University of Kansas).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 15:00-15:30

Isaac Newton Institute Seminar Series

GRA2 title and abstract tbc

GRA2 - Groups, representations and applications: new perspectives

UserEllen Henke (Technische Universität Dresden).

HouseSeminar Room 2, Newton Institute.

ClockThursday 14 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Statistical properties and giant fluctuations for laser beam propagating in a turbulent medium

HY2W01 - Modulation theory and dispersive shock waves

UserPavel Lushnikov (University of New Mexico).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 16:00-16:30

Isaac Newton Institute Seminar Series

Dynamics of a regularized and bistable Ericksen bar using an extended Lagrangian approach

HY2W01 - Modulation theory and dispersive shock waves

UserBruno Lombard (Laboratoire de Mécanique et d’Acoustique).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 July 2022, 16:30-17:00

Isaac Newton Institute Seminar Series

Modulation equations revisited

HY2W01 - Modulation theory and dispersive shock waves

UserSylvie Benzoni-Gavage (Université Claude Bernard Lyon 1).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 July 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Integrable systems of the intermediate long wave type in 2 + 1 dimensions

HY2W01 - Modulation theory and dispersive shock waves

UserMaxim Pavlov (Lebedev Physical Institute).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 July 2022, 10:30-11:00

Isaac Newton Institute Seminar Series

Static Analysis

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockFriday 15 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

Numerical Study of DSWs in Korteweg-de Vries and nonlinear Schrödinger equations

HY2W01 - Modulation theory and dispersive shock waves

UserChristian Klein (Université de Bourgogne).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 July 2022, 11:00-11:30

Isaac Newton Institute Seminar Series

Dispersive shock waves and traveling wave solutions of fifth-order KdV equations

HY2W01 - Modulation theory and dispersive shock waves

UserPatrick Sprenger (North Carolina State University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 July 2022, 11:30-12:00

Isaac Newton Institute Seminar Series

Stattic Analysis (Barthe)

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockFriday 15 July 2022, 13:30-15:00

Isaac Newton Institute Seminar Series

About plane periodic waves of the nonlinear Schrödinger equations

HY2W01 - Modulation theory and dispersive shock waves

UserL. Miguel Rodrigues (Université de Rennes 1).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 July 2022, 14:00-14:30

Isaac Newton Institute Seminar Series

Stability of waves on fluid of infinite depth with constant vorticity

HY2W01 - Modulation theory and dispersive shock waves

UserEmilian I Parau (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 July 2022, 14:30-15:00

Isaac Newton Institute Seminar Series

Dispersive Riemann problem for the Benjamin-Bona-Mahony equation

HY2W01 - Modulation theory and dispersive shock waves

UserThibault Congy (Northumbria University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 July 2022, 15:00-15:30

Isaac Newton Institute Seminar Series

Welcome Talk

HY2W06 - Women in dispersive equations day

UserChristie Marr (Isaac Newton Institute).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 08:55-09:00

Isaac Newton Institute Seminar Series

Rigorous Asymptotics of the KdV Steplike Solutions

HY2W06 - Women in dispersive equations day

UserIryna Egorova (B. Verkin Institute for Low Temperature Physics and Engineering).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

The soliton vs. the gas: Fredholm determinants, analysis and finer details

HY2W06 - Women in dispersive equations day

UserManuela Girotti (Saint Mary's University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 10:00-10:30

Isaac Newton Institute Seminar Series

TBA

HY2W06 - Women in dispersive equations day

UserCostanza Benassi (Northumbria University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 10:30-11:00

Isaac Newton Institute Seminar Series

Cyber physical systems

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockMonday 18 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

On the extended KdV equation and near-identity transformations for strain waves

HY2W06 - Women in dispersive equations day

UserKarima Khusnutdinova (Loughborough University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 11:30-12:00

Isaac Newton Institute Seminar Series

Complex nonlinear wave dynamics in ultrafast fibre lasers and their intelligent control

HY2W06 - Women in dispersive equations day

UserSonia Boscolo (Aston University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 12:00-12:30

Isaac Newton Institute Seminar Series

Stokes waves are unstable

HY2W06 - Women in dispersive equations day

UserVera Mikyoung Hur (University of Illinois at Urbana-Champaign).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Cyber physical systems

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockMonday 18 July 2022, 13:30-15:00

Isaac Newton Institute Seminar Series

Dark Structures on a Torus for the Nonlinear Schrodinger Model

HY2W06 - Women in dispersive equations day

UserJennie D'ambroise (SUNY Old Westbury).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 14:30-15:00

Isaac Newton Institute Seminar Series

TBA

HY2W06 - Women in dispersive equations day

UserAlina Chertock (North Carolina State University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 15:00-15:30

Isaac Newton Institute Seminar Series

Panel Discussion

HY2W06 - Women in dispersive equations day

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Welcome Talk

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserChristie Marr (Isaac Newton Institute).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 July 2022, 09:55-10:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserTyler Kelly (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 July 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserMan Wai Cheung (Institute for the Physics and Mathematics of the Universe (IPMU)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

GRA2 title abstract tbc

GRA2 - Groups, representations and applications: new perspectives

UserChris Parker (University of Birmingham).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 19 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Cluster varieties, amplitude symbols, and mutation invariants.

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserDani Kaufman (University of Copenhagen).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 July 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

title and abstract tba

HYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves

UserPascal Noble (Université de Toulouse).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 19 July 2022, 13:30-15:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserJohannes Walcher (Universität Heidelberg).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserGoncalo Tabuada (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserHerbert Gangl (Durham University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 July 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserAdriana Salerno (None / Other).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 July 2022, 10:00-10:30

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserUrsula Whitcher (American Mathematical Society).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 July 2022, 10:30-11:00

Isaac Newton Institute Seminar Series

Formal education

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 20 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserDaniel Kaplan (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Twisted derived equivalences and string theory dualities with B-field

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserJonathan Rosenberg (University of Maryland, College Park).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 July 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Formal education

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 20 July 2022, 13:30-15:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserNoriko Yui (Queen's University, Canada).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 July 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

K_2 and quantum curves

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserMatt Kerr (Washington University in St. Louis).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 July 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

From Feynman Amplitude to multiple L-values

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserXiaohua Ai (Vodafone).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserLawrence Barrott (Universiteit Leiden).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 July 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Hanging gardens and divisors from Adinkras

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserAmanda Francis (American Mathematical Society).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserElana Kalashnikov (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 July 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserMasha Vlasenko (Polish Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 July 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Degenerations, fibrations and higher rank Landau-Ginzburg models

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserFenglong You (University of Oslo).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 July 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

Model Checking

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockFriday 22 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserBidisha Roy (Polish Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

On 2-elementary K3 surfaces and string dualities

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserAndreas Malmendier (University of Connecticut).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 July 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Model checking

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockFriday 22 July 2022, 13:30-15:00

Isaac Newton Institute Seminar Series

Enumerative period integrals of Landau-Ginzburg models

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserMichel van Garrel (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

ClockFriday 22 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

Welcome and Introduction

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserJohn Aston (University of Cambridge), Carola-Bibiane Schönlieb (University of Cambridge).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

CHIMERA: Collaborative Healthcare Innovation through Mathematics, Engineering and AI.

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserNick Ovenden (University College London).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 10:15-10:45

Isaac Newton Institute Seminar Series

EPSRC Hub in Quantitative Modelling in Healthcare: Research and Partnerships Activity

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserKrasimira Tsaneva-Atanasova (EPSRC Hub for Quantitative Modelling in Healthcare, University of Exeter).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 10:45-11:15

Isaac Newton Institute Seminar Series

Emulation and Uncertainty Quantification in Cardiac Modelling

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserHao Gao (SofTMech - University of Glasgow).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 11:15-11:45

Isaac Newton Institute Seminar Series

Tea and Coffee Break

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

User.

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 11:45-12:00

Isaac Newton Institute Seminar Series

Deep Learning for Image Reconstruction in CT

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserSubhadip Mukherjee (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:05-12:10

Isaac Newton Institute Seminar Series

Can we Predict the Severity of COVID-19 Using Full Blood Counts?

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserSamuel Tull (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:10-12:15

Isaac Newton Institute Seminar Series

Multi-Modal Hypergraph Diffusion Networks for Alzheimer Classification

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserAngelica I. Aviles-Rivero (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:15-12:20

Isaac Newton Institute Seminar Series

Motion Correction for Cardiac MRI Images using Generative Neural Networks with Disentangled Latent Space Variables

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserMalena Sabaté Landman (Cambridge Mathematics of Information in Healthcare).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:20-12:25

Isaac Newton Institute Seminar Series

Spectral Decomposition of Protein Structures in Heterogeneous Cryo-EM

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserCarlos Esteve Yague (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:25-12:30

Isaac Newton Institute Seminar Series

Investigating Bias in Full Blood Count Data

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserDaniel Kreuter (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:30-12:35

Isaac Newton Institute Seminar Series

Questions and Answers

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

User.

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:35-13:00

Isaac Newton Institute Seminar Series

A Landmarking Approach for the Dynamic Scheduling of Cardiovascular Risk Assessments

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserJessica Barrett (MRC Biostatistics Unit).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

TBC

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

User.

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 14:40-15:20

Isaac Newton Institute Seminar Series

Machine Learning Models

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

UserRachael Warrington (The Smith Institute).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 15:45-16:25

Isaac Newton Institute Seminar Series

Next Steps

TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event

User.

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 16:25-16:45

Isaac Newton Institute Seminar Series

Rothschild Lecture: Commuting Sets in Groups and Algebras

GRA2 - Groups, representations and applications: new perspectives

UserRobert Guralnick (University of Southern California).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 26 July 2022, 17:00-18:00

Isaac Newton Institute Seminar Series

Registration Desk Opens

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockWednesday 27 July 2022, 08:00-15:00

Isaac Newton Institute Seminar Series

Opening Ceremony

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockWednesday 27 July 2022, 09:00-09:15

Isaac Newton Institute Seminar Series

Keynote Speaker

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockWednesday 27 July 2022, 09:15-10:15

Isaac Newton Institute Seminar Series

Oral session 1

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockWednesday 27 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

Rust verification

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 27 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

Break

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Oral Session 2

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Rust verification

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Poster Session & Coffee Break

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockWednesday 27 July 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

Oral Session 3

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

WiMIUA Workshop Hors d'oeuvre Closing Event WiMIUA Workshop

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Oral Session 4

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Oral Session 5

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 10:15-11:10

Isaac Newton Institute Seminar Series

Keynote Speaker

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 11:20-12:20

Isaac Newton Institute Seminar Series

Flash Podium Talk Microsoft

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 12:20-12:35

Isaac Newton Institute Seminar Series

Abstract Submissions: Flash Talks

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 13:00-13:20

Isaac Newton Institute Seminar Series

Abstract Submissions: Poster Session

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 13:20-14:10

Isaac Newton Institute Seminar Series

Oral Session 6

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 14:10-15:20

Isaac Newton Institute Seminar Series

Microsoft Workshop *(Gold Sponsor MIUA)

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 16:30-17:30

Isaac Newton Institute Seminar Series

Gala Dinner

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseNo Room Required.

ClockThursday 28 July 2022, 19:00-22:00

Isaac Newton Institute Seminar Series

Oral Session 7

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockFriday 29 July 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Oral Session 8

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockFriday 29 July 2022, 10:15-11:05

Isaac Newton Institute Seminar Series

Compiler verification

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockFriday 29 July 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

Keynote Speaker

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockFriday 29 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Industrial Panel (MathWorks, Microsoft, Nvidia)

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockFriday 29 July 2022, 13:00-14:30

Isaac Newton Institute Seminar Series

Compiler verification

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockFriday 29 July 2022, 13:30-15:00

Isaac Newton Institute Seminar Series

Oral Session 9

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockFriday 29 July 2022, 15:30-16:30

Isaac Newton Institute Seminar Series

Closing Ceremony and Awards

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

ClockFriday 29 July 2022, 16:30-17:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserOliver Schlotterer (Uppsala Universitet).

HouseSeminar Room 1, Newton Institute.

ClockMonday 01 August 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

Security and crypto

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockMonday 01 August 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserJeff Harvey (University of Chicago).

HouseSeminar Room 1, Newton Institute.

ClockMonday 01 August 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Discussions

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 01 August 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Security and crypto

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockMonday 01 August 2022, 13:30-15:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserMiranda Cheng (Universiteit van Amsterdam).

HouseSeminar Room 1, Newton Institute.

ClockMonday 01 August 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserDavid Ben-Zvi (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockMonday 01 August 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserOliver Schlotterer (Uppsala Universitet).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 02 August 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Automorphic forms and representation theory

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserSolomon Friedberg (Boston College).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 02 August 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserStephen Kudla (University of Toronto).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 02 August 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Discussion

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 02 August 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

The Langlands Program as Electric-Magnetic Duality

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserDavid Ben-Zvi (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 02 August 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserMiranda Cheng (Universiteit van Amsterdam).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 02 August 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Automorphic forms and representation theory

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserSolomon Friedberg (Boston College).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 03 August 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserStephen Kudla (University of Toronto).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 03 August 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

The Formal Ecosystem (Sewell)

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 03 August 2022, 10:30-12:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserJeff Harvey (University of Chicago).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 03 August 2022, 11:15-12:15

Cambridge Statistics Clinic

Statistics Clinic Summer 2022 II

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockWednesday 03 August 2022, 16:30-18:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserOliver Schlotterer (Uppsala Universitet).

HouseSeminar Room 1, Newton Institute.

ClockThursday 04 August 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserSolomon Friedberg (Boston College).

HouseSeminar Room 1, Newton Institute.

ClockThursday 04 August 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserDavid Ben-Zvi (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockThursday 04 August 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserGordan Savin (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockThursday 04 August 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserMiranda Cheng (Universiteit van Amsterdam).

HouseSeminar Room 1, Newton Institute.

ClockThursday 04 August 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

Open Problems

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 04 August 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserGordan Savin (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockFriday 05 August 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 05 August 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

TBA

NC2W01 - Making the bridge: Exploring new connections between number theory and physics

UserDavid Ben-Zvi (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockFriday 05 August 2022, 11:15-12:15

DPMMS Conferences

Mordell 2022 - 100 years of elliptic curves

https://www.dpmms.cam.ac.uk/~jat58/mordell/

Uservarious.

HouseMR2.

ClockMonday 15 August 2022, 19:00-17:00

Cambridge Statistics Clinic

Statistics Clinic Summer 2022 III

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockWednesday 31 August 2022, 16:30-18:00

DPMMS Conferences

COMB in CAMB

UserVarious.

HouseMR3.

ClockMonday 05 September 2022, 09:00-17:00

DPMMS Conferences

Scaling limits: from statistical mechanics to manifolds

http://www.statslab.cam.ac.uk/james60

Uservarious.

HouseMR4.

ClockMonday 05 September 2022, 19:00-17:00

Isaac Newton Institute Seminar Series

Welcome and Introduction

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserMike Cates (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockWednesday 07 September 2022, 13:30-13:40

Isaac Newton Institute Seminar Series

Viscoelastic Effects in Embryology

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserLisa Manning (Syracuse University).

HouseCentre for Mathematical Sciences.

ClockWednesday 07 September 2022, 13:40-14:20

Isaac Newton Institute Seminar Series

Bacterial Biofilm Architecture

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserKnut Drescher (Universität Basel).

HouseCentre for Mathematical Sciences.

ClockWednesday 07 September 2022, 14:20-15:00

Isaac Newton Institute Seminar Series

Self-replication in Reconfigurable Organisms

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserJosh Bongard (University of Vermont).

HouseCentre for Mathematical Sciences.

ClockWednesday 07 September 2022, 15:20-16:00

Isaac Newton Institute Seminar Series

Subglacial Soft Matter

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserKatarzyna Warburton (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockWednesday 07 September 2022, 16:00-16:40

Isaac Newton Institute Seminar Series

Rheology of Geomaterials

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserEd Llewellin (Durham University).

HouseCentre for Mathematical Sciences.

ClockWednesday 07 September 2022, 16:40-17:20

Isaac Newton Institute Seminar Series

Posters, Networking and Drinks Reception

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

User.

HouseCentre for Mathematical Sciences.

ClockWednesday 07 September 2022, 17:20-18:15

Isaac Newton Institute Seminar Series

Nonreciprocol Transition

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserVincenzo Vitelli (University of Chicago).

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 09:30-10:10

Isaac Newton Institute Seminar Series

Predicting Transitions far from Equilibrium

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserEric Vanden-Eijnden (Courant Institute of Mathematical Sciences).

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 10:10-10:50

Isaac Newton Institute Seminar Series

Active Phase Separation

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserLeticia Cugliandolo (Sorbonne Université).

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 11:10-11:50

Isaac Newton Institute Seminar Series

Industry Talk 1

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

User.

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 11:50-12:15

Isaac Newton Institute Seminar Series

Industry Talk 2

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

User.

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 12:15-12:40

Isaac Newton Institute Seminar Series

Industry Talk 3

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

User.

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 12:40-13:05

Isaac Newton Institute Seminar Series

Advancing the Functional Utility of Liquid Crystalline Elastomers at the Nexus of Computation, Materials Processing, and Chemistry

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserTimothy White (University of Colorado Boulder).

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 14:00-14:40

Isaac Newton Institute Seminar Series

Liquid Crystal Networks and Elastomers

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserDirk Broer (Technische Universiteit Eindhoven).

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 14:40-15:20

Isaac Newton Institute Seminar Series

Adaptive Colloids and Topological Solutions Enabled by Nematic Elastomers

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserIvan Smalyukh (University of Colorado).

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 15:40-16:20

Isaac Newton Institute Seminar Series

Elevator Pitches

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

User.

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 16:20-17:20

Isaac Newton Institute Seminar Series

Mixer Sessions and Posters

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

User.

HouseCentre for Mathematical Sciences.

ClockThursday 08 September 2022, 17:20-18:30

Isaac Newton Institute Seminar Series

Microfluidics and Amyloids

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserTuomas Knowles (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockFriday 09 September 2022, 09:30-10:10

Isaac Newton Institute Seminar Series

Selective Binding

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserStefano Angioletti-Uberti (Imperial College London).

HouseCentre for Mathematical Sciences.

ClockFriday 09 September 2022, 10:10-10:50

Isaac Newton Institute Seminar Series

Emergence of Antibiotic Resistence

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

UserRosalind Allen (University of Edinburgh).

HouseCentre for Mathematical Sciences.

ClockFriday 09 September 2022, 11:10-11:50

Isaac Newton Institute Seminar Series

Round table discussion

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

User.

HouseCentre for Mathematical Sciences.

ClockFriday 09 September 2022, 11:50-12:40

Isaac Newton Institute Seminar Series

Open Discussion & Wrap-up

TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century

User.

HouseCentre for Mathematical Sciences.

ClockFriday 09 September 2022, 12:40-13:00

Cambridge Statistics Clinic

Statistics Clinic Summer 2022 IV

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockWednesday 21 September 2022, 16:30-18:00

Seminars on Quantitative Biology @ CRUK Cambridge Institute

Title to be confirmed

UserChristopher Yau, University of Manchester.

HouseCRUK CI Lecture Theatre.

ClockMonday 26 September 2022, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

TBA

UserDanielle Belgrave, DeepMind.

HouseZoom.

ClockTuesday 04 October 2022, 13:15-14:15

Peter Whittle Lecture

UserLiza Levina (U. Michigan).

HouseCentre for Mathematical Sciences MR2.

ClockThursday 20 October 2022, 17:00-18:00

Peter Whittle Lecture

Title to be confirmed

UserLiza Levina (Michigan).

HouseCentre for Mathematical Sciences MR2.

ClockThursday 27 October 2022, 17:00-18:00

Seminars on Quantitative Biology @ CRUK Cambridge Institute

Title to be confirmed

UserKamila Naxerova, PhD, Dana-Farber/Harvard Cancer Centre.

HouseZoom.

ClockMonday 28 November 2022, 14:00-15: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