University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series

Isaac Newton Institute Seminar Series

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

The Isaac Newton Institute for Mathematical Sciences is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. You can receive regular information by email on Institute seminars and events by subscribing to our mailing lists: follow the instructions at http://www.newton.cam.ac.uk/mailing.html. There are lists for each individual Institute programme.

Tell a friend about this list:

If you have a question about this list, please contact: Kathryn de Ridder; Clare Merritt; Vincenzo Abete; ad864; Robert Barczyk; INI Helpdesk; ajm80; jw2396; fj293. If you have a question about a specific talk, click on that talk to find its organiser.

240 upcoming talks and 13471 talks in the archive: show first 500.

Stability of spacetimes with supersymmetric compactifications

TWT - Twistor theory

UserLars Andersson (Beijing Institute of Mathematical Sciences and Applications).

HouseSeminar Room 2, Newton Institute.

ClockMonday 16 September 2024, 10:00-11:00

Quasi-local mass, Kerr horizon, and causality

TWT - Twistor theory

UserMaciej Dunajski (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockMonday 16 September 2024, 11:30-12:30

Celestial symmetries charges at null infinity from twistor space

TWT - Twistor theory

UserLionel Mason (University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockMonday 16 September 2024, 14:30-15:30

Bridging the gap: towards a unified treatment of energy-momentum at infinity

TWT - Twistor theory

UserJoerg Frauendiener (University of Otago).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 17 September 2024, 10:00-11:00

Killing spinors and non-vacuum Chen-Teo metrics

TWT - Twistor theory

UserBernardo Araneda (Max-Planck-Institut für Gravitationphysik).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 17 September 2024, 11:30-12:30

Metaphors for the twistor theory of the future.

TWT - Twistor theory

UserGeorge Sparling (University of Pittsburgh).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 17 September 2024, 14:30-15:30

Matching asymptotic charges using Friedrich's cylinder at spatial infinity

TWT - Twistor theory

UserMariem Magdy (Instituto Superior Técnico, Lisboa).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 17 September 2024, 16:30-17:30

Intrinsic rigidity of extremal horizons and black hole uniqueness

TWT - Twistor theory

UserJames Lucietti (University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 18 September 2024, 10:00-11:00

Rigidity of the extremal Kerr-Newman horizon

TWT - Twistor theory

UserAlex Colling (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 18 September 2024, 11:30-12:30

TBA

SSD - Stochastic systems for anomalous diffusion

UserChristopher Hoffman (University of Washington).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 September 2024, 14:00-15:00

Conformal Einstein's equations

TWT - Twistor theory

UserWojciech Kaminski (University of Warsaw).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 18 September 2024, 14:30-15:30

Dickman-type stochastic processes and non-local operators

SSD - Stochastic systems for anomalous diffusion

UserNikolai Leonenko (Cardiff University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 18 September 2024, 15:00-16:00

Charges and fluxes of gravitational field from the twistor connection.

TWT - Twistor theory

UserJerzy Lewandowski (University of Warsaw).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 18 September 2024, 16:00-17:00

Flat extensions of principal connections and the Chern—Simons 3-form

TWT - Twistor theory

UserThomas Mettler (UniDistance Suisse).

HouseSeminar Room 2, Newton Institute.

ClockFriday 20 September 2024, 11:30-12:30

Introduction by Chris Breward & Camp Rules

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 23 September 2024, 14:30-14:50

Challenge 1: Detecting Train Track Faults from an Onboard Camera

TGM141 - UK Graduate Modelling Camp 2024

UserJeremy Budd (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

ClockMonday 23 September 2024, 14:50-15:15

Challenge 2: Uncertainty Quantification for Vibration Isolation

TGM141 - UK Graduate Modelling Camp 2024

UserEric Hall (University of Dundee).

HouseSeminar Room 1, Newton Institute.

ClockMonday 23 September 2024, 15:15-15:40

Challenge 3: How Long Will My Client Live? Quantum in Person Injury Litigation

TGM141 - UK Graduate Modelling Camp 2024

UserJane Hutton (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockMonday 23 September 2024, 15:40-16:05

Challenge 4: Melting Scrap Metal in an Induction Furnace

TGM141 - UK Graduate Modelling Camp 2024

UserWilliam Lee (University of Huddersfield).

HouseSeminar Room 1, Newton Institute.

ClockMonday 23 September 2024, 16:35-17:00

Challenge 5: Detecting Fake Data Through Anomaly Detection

TGM141 - UK Graduate Modelling Camp 2024

UserLingyi Yang (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockMonday 23 September 2024, 17:00-17:25

Complete and submit project choice forms

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 23 September 2024, 17:25-17:35

Teams announced

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 23 September 2024, 18:00-18:15

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 24 September 2024, 09:00-10:30

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 24 September 2024, 11:00-12:30

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 24 September 2024, 15:30-16:30

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 25 September 2024, 09:00-10:30

Hyper-Lagrangians and Joyce structures

TWT - Twistor theory

UserTimothy Moy (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 25 September 2024, 09:00-10:00

Moyal quantized twistor spaces and dispersive integrable systems

TWT - Twistor theory

UserIan Strachan (University of Glasgow).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 25 September 2024, 10:00-11:00

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 25 September 2024, 11:00-12:30

Dispersionless integrable equations and related integrable hierarchies

TWT - Twistor theory

UserGe Yi (Hefei Universtity of Technology).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 25 September 2024, 11:30-12:30

Rapid Reports

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 25 September 2024, 13:30-14:30

Bounds on the size of the convex hull of planar Brownian motion and related inverse processes

SSD - Stochastic systems for anomalous diffusion

UserStjepan Šebek (University of Zagreb).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 25 September 2024, 14:00-15:00

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 25 September 2024, 14:30-15:30

Two fairly recent approximations of Walsh’s spider process

SSD - Stochastic systems for anomalous diffusion

UserAdam Bobrowski (Lublin University of Technology).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 25 September 2024, 15:00-16:00

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 25 September 2024, 16:00-18:00

Isomonodromic Deformations and Tau Functions

TWT - Twistor theory

UserFabrizio Del Monte (University of Sheffield).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 25 September 2024, 16:00-17:00

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 26 September 2024, 09:00-10:30

Linearisable Abel equations and the Gurevich-Pitaevskii problem

TWT - Twistor theory

UserEugene Ferapontov (Loughborough University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 26 September 2024, 10:00-11:00

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 26 September 2024, 11:00-12:30

Quasi-Einstein structures on a surface

TWT - Twistor theory

UserAlex Colling (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockThursday 26 September 2024, 11:30-12:30

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 26 September 2024, 13:30-15:30

First integrals for solutions of the conformal Mercator equation

TWT - Twistor theory

UserPrim Plansangkate (None / Other).

HouseSeminar Room 2, Newton Institute.

ClockThursday 26 September 2024, 14:30-15:30

Group Work

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 26 September 2024, 16:00-18:00

Dispersionless integrablity and twistor theory above dimension 4.

TWT - Twistor theory

UserBoris Kruglikov (Universitetet i Tromsø).

HouseSeminar Room 2, Newton Institute.

ClockThursday 26 September 2024, 16:00-17:00

Prepare Final Presentations

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 26 September 2024, 19:00-22:00

Group Presentation 1

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 27 September 2024, 09:00-09:25

Group Presentation 2

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 27 September 2024, 09:25-09:50

Group Presentation 3

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 27 September 2024, 09:50-10:15

Group Presentation 4

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 27 September 2024, 10:35-11:00

Group Presentation 5

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 27 September 2024, 11:00-11:25

Feedback Forms

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 27 September 2024, 11:25-11:25

Summary

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 27 September 2024, 11:55-12:10

End

TGM141 - UK Graduate Modelling Camp 2024

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 27 September 2024, 12:10-12:10

Welcome

TGM145 - Mathematics Communication Training

UserMilla Kibble (Isaac Newton Institute), Clare Merritt (Newton Gateway to Mathematics).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 01 October 2024, 10:00-10:10

Introductions

TGM145 - Mathematics Communication Training

UserRachel Thomas (University of Cambridge), Marianne Freiberger (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 01 October 2024, 10:10-10:20

Who are you talking to? & What do you want to say?

TGM145 - Mathematics Communication Training

UserRachel Thomas (University of Cambridge), Marianne Freiberger (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 01 October 2024, 10:20-11:15

Get started! & Writing about anything for anyone

TGM145 - Mathematics Communication Training

UserRachel Thomas (University of Cambridge), Marianne Freiberger (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 01 October 2024, 11:45-12:30

Get writing & Go to press!

TGM145 - Mathematics Communication Training

UserRachel Thomas (University of Cambridge), Marianne Freiberger (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 01 October 2024, 13:30-14:45

Share your front page

TGM145 - Mathematics Communication Training

UserRachel Thomas (University of Cambridge), Marianne Freiberger (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 01 October 2024, 15:15-15:50

Introduction to Day 2

TGM145 - Mathematics Communication Training

UserBen Sparks (University of Bath), Katie Steckles (Sheffield Hallam University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 01 October 2024, 15:55-16:00

Welcome

TGM145 - Mathematics Communication Training

UserMilla Kibble (Isaac Newton Institute), Clare Merritt (Newton Gateway to Mathematics).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 02 October 2024, 10:00-10:05

Basic Principles: Audiences & Speaking and Presenting

TGM145 - Mathematics Communication Training

UserBen Sparks (University of Bath), Katie Steckles (Sheffield Hallam University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 02 October 2024, 10:05-11:15

Pitch Development - facilitated groups

TGM145 - Mathematics Communication Training

UserBen Sparks (University of Bath), Katie Steckles (Sheffield Hallam University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 02 October 2024, 11:45-12:30

Advanced Techniques - Stories, Jokes and Magic & Making Videos

TGM145 - Mathematics Communication Training

UserBen Sparks (University of Bath), Katie Steckles (Sheffield Hallam University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 02 October 2024, 13:30-14:25

Delivery of 2-minute pitches - one per group

TGM145 - Mathematics Communication Training

UserBen Sparks (University of Bath), Katie Steckles (Sheffield Hallam University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 02 October 2024, 15:05-15:50

Next Steps

TGM145 - Mathematics Communication Training

UserMilla Kibble (Isaac Newton Institute), Clare Merritt (Newton Gateway to Mathematics).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 02 October 2024, 15:50-16:00

Title TBC

SSDW06 - Stochastic Systems in Active Matter

UserRobert Jack (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 09:45-10:45

Title TBC

SSDW06 - Stochastic Systems in Active Matter

UserFrancesco Mori (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 10:45-11:15

Title TBC

SSDW06 - Stochastic Systems in Active Matter

UserSarah A.M. Loos (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 11:45-12:15

Speaker TBC

SSDW06 - Stochastic Systems in Active Matter

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 13:15-13:45

Title TBC

SSDW06 - Stochastic Systems in Active Matter

UserThibault Bertrand (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 13:45-14:15

3 Lightning Talks

SSDW06 - Stochastic Systems in Active Matter

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 14:15-14:30

Title TBC

SSDW06 - Stochastic Systems in Active Matter

UserRonojoy Adhikari (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 15:00-15:30

Title TBC

SSDW06 - Stochastic Systems in Active Matter

UserAlessandro Manacorda (Institute for Complex Systems, Rome).

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 15:30-16:00

Title TBC

SSDW06 - Stochastic Systems in Active Matter

UserElsen Tjhung (The Open University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 04 October 2024, 16:00-16:20

Evening social and poster session

SSDW06 - Stochastic Systems in Active Matter

User.

HouseNo Room Required.

ClockFriday 04 October 2024, 17:00-18:30

Registration

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockMonday 07 October 2024, 09:30-10:00

Director's Briefing and Organiser's Welcome

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockMonday 07 October 2024, 10:00-10:15

Engineering large, multipurpose microprocessor specifications (using the x86-64 architecture as a case study)

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserAlastair Reid (Intel).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 October 2024, 10:15-11:00

Morning Coffee

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockMonday 07 October 2024, 11:00-11:30

Micro-architectural modelling and verification of an x86 micro-processor

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserAnna Slobodova (Intel).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 October 2024, 11:30-12:15

ISA specification in Sail

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserAlasdair Armstrong (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 October 2024, 12:15-12:45

Lunch at Churchill College

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockMonday 07 October 2024, 12:45-14:00

Verifying a Concurrent Hypervisor in C++

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserGregory Malecha (Bed Rock Systems).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 October 2024, 14:00-14:45

Specification and verification of multi-language programs in separation logic

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserMichael Sammler (ETH Zürich).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 October 2024, 14:45-15:30

Afternoon Tea

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockMonday 07 October 2024, 15:30-16:00

OptiTrust: Producing Trustworthy High-Performance Code via Source-to-Source Transformation

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserArthur Charguéraud (INRIA).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 October 2024, 16:00-16:45

Welcome Wine Reception

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockMonday 07 October 2024, 17:00-18:00

Verse: Specification, Testing, and Verification for the Working Software Engineer

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserBenjamin Pierce (University of Pennsylvania).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 October 2024, 09:30-10:15

Towards requirements based testing of Cardano smart contracts

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserRobert John Muir Hughes (Chalmers University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 October 2024, 10:15-11:00

Group Photo and Morning Coffee

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockTuesday 08 October 2024, 11:00-11:30

Proofs on Inductive Predicates in Why3

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserJean-Christophe Filliatre (CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 October 2024, 11:30-12:15

Executable specification of a production hypervisor: hypercalls and TLB management discipline

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserJean Pichon-Pharabod (Aarhus Universitet), Kayvan Memarian (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 October 2024, 12:15-12:45

Lunch at Churchill College

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockTuesday 08 October 2024, 12:45-14:00

Reasoning above ISA specifications, for arbitrary and known code

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserAngus Hammond (University of Cambridge), Thomas Bauereiss (University of Cambridge), Brian Campbell (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 October 2024, 14:00-14:45

Katamaran and Universal Contracts: Formalizing, verifying and applying ISA security guarantees

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserDominique Devriese (Vrije Universiteit Brussel).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 October 2024, 14:45-15:30

Afternoon Tea

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockTuesday 08 October 2024, 15:30-16:00

Title TBC

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserChung-Kil Hur (Seoul National University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 October 2024, 16:00-16:45

Evolving a formal language standard

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserAndreas Rossberg (None / Other).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 October 2024, 09:30-10:15

Ever-Mechanising the Ever-Expanding WebAssembly specification

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserConrad Watt (Nanyang Technological University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 October 2024, 10:15-11:00

Morning Coffee

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockWednesday 09 October 2024, 11:00-11:30

Formally Specifying ABIs using Realistic Realizability

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserAmal Ahmed (Northeastern University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 October 2024, 11:30-12:15

Lunch at Churchill College

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockWednesday 09 October 2024, 12:45-14:00

Formal Dinner at Selwyn College

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockWednesday 09 October 2024, 19:30-22:00

Specifying "real" computers: cache coherence, cut+paste SoCs, and the de-facto Operating System

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserDavid Cock (ETH Zürich).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 October 2024, 09:30-10:15

An ACL2-based x86-ISA Specification

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserWarren Hunt (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 October 2024, 10:15-11:00

Morning Coffee

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockThursday 10 October 2024, 11:00-11:30

Scaling up the automated verification of concurrent programs

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User Viktor Vafeiadis (Max Planck Institute for Software Systems).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 October 2024, 11:30-12:15

Arm relaxed systems semantics

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserBen Simner (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 October 2024, 12:15-12:45

Lunch at Churchill College

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockThursday 10 October 2024, 12:45-14:00

Proving Information Flow Security for Concurrent Programs

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserPeter Müller (ETH Zürich).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 October 2024, 14:00-14:45

Title TBC

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserTobias Grosser (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 October 2024, 14:45-15:30

Afternoon Tea

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockThursday 10 October 2024, 15:30-16:00

Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserRanjit Jhala (University of California, San Diego).

HouseSeminar Room 1, Newton Institute.

ClockFriday 11 October 2024, 09:30-10:15

Retrofitting Verified Parsers in the Windows Kernel with AI

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserNikhil Swamy (Microsoft (USA)).

HouseSeminar Room 1, Newton Institute.

ClockFriday 11 October 2024, 10:15-11:00

Morning Coffee

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockFriday 11 October 2024, 11:00-11:30

Expressiveness and Separation on Mixed Choice Multiparty Session Types

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserNobuko Yoshida (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockFriday 11 October 2024, 11:30-12:15

CN specification, verification, and testing for systems C code

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserChristopher Pulte (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 11 October 2024, 12:15-12:45

Lunch at Churchill College

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockFriday 11 October 2024, 12:45-14:00

Title TBC

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

UserJules Villard (None / Other).

HouseSeminar Room 1, Newton Institute.

ClockFriday 11 October 2024, 14:00-14:45

Afternoon Tea

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

User.

HouseNo Room Required.

ClockFriday 11 October 2024, 15:30-16:00

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserNathanael Berestycki (Universität Wien).

HouseSeminar Room 1, Newton Institute.

ClockMonday 28 October 2024, 10:15-11:15

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserLorenzo Taggi (University of Rome La Sapienza).

HouseSeminar Room 1, Newton Institute.

ClockMonday 28 October 2024, 11:45-12:45

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserBruno Schapira (Aix-Marseille University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 28 October 2024, 14:00-15:00

Branching capacity of a random walk

SSDW03 - Geometry, occupation fields, and scaling limits

UserYueyun Hu (Université Paris 13).

HouseSeminar Room 1, Newton Institute.

ClockMonday 28 October 2024, 15:30-16:30

Mini Course (Title TBC)

SSDW03 - Geometry, occupation fields, and scaling limits

UserPierre-Francois Rodriguez (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 29 October 2024, 09:30-10:15

Abelian Sandpiles and Abelian Networks

SSDW03 - Geometry, occupation fields, and scaling limits

UserLionel Levine (Cornell University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 29 October 2024, 10:30-11:15

Local times of Brownian motion indexed by the Brownian tree

SSDW03 - Geometry, occupation fields, and scaling limits

UserJean-Francois Le Gall (Université Paris Saclay).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 29 October 2024, 11:45-12:45

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserTitus Lupu (Sorbonne Université).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 29 October 2024, 14:00-15:00

Uniqueness of Malliavin—Kontsevich—Suhov measures

SSDW03 - Geometry, occupation fields, and scaling limits

UserAntoine Jego (EPFL - Ecole Polytechnique Fédérale de Lausanne).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 29 October 2024, 15:30-16:30

Mini Course (Title TBC)

SSDW03 - Geometry, occupation fields, and scaling limits

UserPierre-Francois Rodriguez (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 30 October 2024, 09:30-10:15

Universality Conjectures for Activated Random Walk

SSDW03 - Geometry, occupation fields, and scaling limits

UserLionel Levine (Cornell University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 30 October 2024, 10:30-11:15

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserVittoria Silvestri (University of Rome La Sapienza).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 30 October 2024, 11:45-12:45

Mini Course (Title TBC)

SSDW03 - Geometry, occupation fields, and scaling limits

UserPierre-Francois Rodriguez (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 31 October 2024, 09:30-10:15

Math for AI Safety

SSDW03 - Geometry, occupation fields, and scaling limits

UserLionel Levine (Cornell University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 31 October 2024, 10:30-11:15

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserAlberto Chiarini (Università degli Studi di Padova).

HouseSeminar Room 1, Newton Institute.

ClockThursday 31 October 2024, 11:45-12:45

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserNicolas Forien (Université Paris-Dauphine).

HouseSeminar Room 1, Newton Institute.

ClockThursday 31 October 2024, 14:00-15:00

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserChristopher Hoffman (University of Washington).

HouseSeminar Room 1, Newton Institute.

ClockThursday 31 October 2024, 15:30-16:30

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserAlexander Drewitz (University of Cologne).

HouseSeminar Room 1, Newton Institute.

ClockFriday 01 November 2024, 10:15-11:15

Title TBC

SSDW03 - Geometry, occupation fields, and scaling limits

UserAlexis Prévost (University of Geneva).

HouseSeminar Room 1, Newton Institute.

ClockFriday 01 November 2024, 11:45-12:45

Director's Welcome and Organiser's Introduction

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 November 2024, 09:45-10:00

Operator Algebras

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserSergey Neshveyev (University of Oslo), Robin Hillier (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 November 2024, 10:00-10:45

Operator Algebras

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserSergey Neshveyev (University of Oslo), Robin Hillier (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 November 2024, 11:15-12:00

Quantum Groups

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences), Michael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 November 2024, 12:00-12:45

Quantum Groups

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences), Michael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 November 2024, 14:00-14:45

Quantum Information

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserIvan Todorov (University of Delaware), Gemma De les Coves (Leopold-Franzens Universtät Innsbruck).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 November 2024, 15:15-16:45

Operator Algebras

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserSergey Neshveyev (University of Oslo), Robin Hillier (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 November 2024, 09:15-10:45

Quantum Information

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserIvan Todorov (University of Delaware), Gemma De les Coves (Leopold-Franzens Universtät Innsbruck).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 November 2024, 11:15-12:45

Quantum Groups

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences), Michael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 November 2024, 14:00-14:45

Quantum Groups

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences), Michael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 November 2024, 15:15-16:00

Operator Algebras Tutorial

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserSergey Neshveyev (University of Oslo), Robin Hillier (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 November 2024, 16:00-16:45

Operator Algebras

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserSergey Neshveyev (University of Oslo), Robin Hillier (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 November 2024, 09:15-10:45

Quantum Groups Tutorial

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences), Michael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 November 2024, 11:15-12:00

Quantum Groups

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences), Michael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 November 2024, 09:15-10:45

Operator Algebras

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserSergey Neshveyev (University of Oslo), Robin Hillier (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 November 2024, 11:15-12:45

Quantum Information

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserIvan Todorov (University of Delaware), Gemma De les Coves (Leopold-Franzens Universtät Innsbruck).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 November 2024, 14:00-14:45

Quantum Information

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserIvan Todorov (University of Delaware), Gemma De les Coves (Leopold-Franzens Universtät Innsbruck).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 November 2024, 15:15-16:00

Operator Algebras Tutorial

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserSergey Neshveyev (University of Oslo), Robin Hillier (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 November 2024, 16:00-16:45

Quantum Information

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserIvan Todorov (University of Delaware), Gemma De les Coves (Leopold-Franzens Universtät Innsbruck).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 November 2024, 09:15-10:45

Quantum Groups

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences), Michael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 November 2024, 11:15-12:45

Quantum Information Tutorial

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserIvan Todorov (University of Delaware), Gemma De les Coves (Leopold-Franzens Universtät Innsbruck).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 November 2024, 14:00-14:45

Quantum Groups Tutorial

QIAW01 - School on selected topics in quantum groups, quantum information and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences), Michael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 November 2024, 15:15-16:00

Welcome and Introduction

OFBW71 - Quantum Computing: Applications and Challenges

User.

HouseNo Room Required.

ClockTuesday 12 November 2024, 10:00-10:10

TBC

OFBW71 - Quantum Computing: Applications and Challenges

User.

HouseNo Room Required.

ClockTuesday 12 November 2024, 10:10-10:45

TBC

OFBW71 - Quantum Computing: Applications and Challenges

UserKate Marshall (IBM Research).

HouseNo Room Required.

ClockTuesday 12 November 2024, 10:45-11:20

TBC

OFBW71 - Quantum Computing: Applications and Challenges

UserBob Coecke (Quantinuum).

HouseNo Room Required.

ClockTuesday 12 November 2024, 11:50-12:25

TBC

OFBW71 - Quantum Computing: Applications and Challenges

UserChristoph Sunderhauf (Riverlane).

HouseNo Room Required.

ClockTuesday 12 November 2024, 12:25-13:00

Cyber Security in the Era of Quantum Computing

OFBW71 - Quantum Computing: Applications and Challenges

UserPetros Wallden (Quantum Software Lab, The University of Edinburgh).

HouseNo Room Required.

ClockTuesday 12 November 2024, 14:00-14:35

TBC

OFBW71 - Quantum Computing: Applications and Challenges

UserHarry Buhrman (Quantinuum).

HouseNo Room Required.

ClockTuesday 12 November 2024, 14:35-15:10

TBC

OFBW71 - Quantum Computing: Applications and Challenges

User.

HouseNo Room Required.

ClockTuesday 12 November 2024, 15:40-16:15

On the Practical cost of Grover for AES Key Recovery

OFBW71 - Quantum Computing: Applications and Challenges

UserSarah D (National Cyber Security Centre).

HouseNo Room Required.

ClockTuesday 12 November 2024, 16:15-16:50

Discussion and Final Remarks

OFBW71 - Quantum Computing: Applications and Challenges

User.

HouseNo Room Required.

ClockTuesday 12 November 2024, 16:50-17:00

On Convex Hulls of Stable Random Walks

SSD - Stochastic systems for anomalous diffusion

UserNikola Sandric (University of Zagreb).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 13 November 2024, 14:00-15:00

Clay Public Lecture: Title TBC

SSD - Stochastic systems for anomalous diffusion

UserBalint Toth (University of Bristol).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 November 2024, 16:00-17:00

Welcome and Introduction

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 10:00-10:10

​​​Reflections on the Building the Mathsci-comm Community

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

UserRachel Thomas (University of Cambridge), Marianne Freiberger (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 10:10-10:35

Exploring What Works in Science Communication; Experiments and Evidence

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

UserDavid Spiegelhalter (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 10:35-11:00

Communicating Complex Information at the Bank of England

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

User​​​​Michael McMahon (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 11:00-11:25

​​​​Evaluating Impact at the Royal Institution​

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 11:50-12:15

Communicating to COBRA

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

UserVeronica Bowman (Defence Science and Technology Laboratory).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 12:15-12:40

​​​​​​​​​​​Psychological Perspective

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 13:30-13:55

How do we Communicate Potential Harmful Effects to Patients, and is there a Better Way?

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

User​​​​​​​​Rachel Philips (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 13:55-14:20

​​​​​​​​​Coproduction of Mathematical Models

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

UserElizabeth Fearon (University College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 14:20-14:45

Panel: Mapping the Black Hole - Documenting the Landscape of Evidence for Successful Communication

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 15:30-16:05

Panel: Embedding Communication in the Mathematical Science Community in a Systematic Way

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

UserChristie Marr (National Academy for the Mathematical Sciences).

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 16:05-16:40

Questions and Discussion – What do you want from the Network?

TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 21 November 2024, 16:40-17:00

INI Director's Welcome

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 December 2024, 09:50-09:55

Organiser's Introduction

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 December 2024, 09:55-10:00

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserWilliam Slofstra (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 December 2024, 10:00-10:40

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserPriyanga Ganesan (University of California, San Diego).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 December 2024, 11:10-11:50

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserSergey Neshveyev (University of Oslo).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 December 2024, 11:50-12:30

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserAlexander Stottmeister (Leibniz Universität Hannover).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 December 2024, 14:50-15:30

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserDavid Roberson (Technical University of Denmark).

HouseSeminar Room 1, Newton Institute.

ClockMonday 02 December 2024, 16:00-17:00

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserDebashish Goswami (Indian Statistical Institute, Kolkata).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 December 2024, 09:00-10:00

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserMoritz Weber (Universität des Saarlandes).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 December 2024, 10:00-10:40

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserPeter Zeman (Technical University of Denmark).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 December 2024, 11:10-11:50

Synchronous quantum games

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserAdina Goldberg (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 December 2024, 11:50-12:30

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserRobin Hillier (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 December 2024, 14:50-15:30

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserJason Crann (Carleton University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 03 December 2024, 16:00-17:00

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserMadalin Guta (University of Nottingham).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 December 2024, 09:00-10:00

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserLi Gao (Wuhan University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 December 2024, 10:00-10:40

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserMartin Lindsay (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 December 2024, 11:10-11:50

A Central Limit Theorem in the Framework of the Thompson Group F

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserArundhathi Krishnan (Mary Immaculate College).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 04 December 2024, 11:50-12:30

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserAlexander Müller-Hermes (University of Oslo).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 December 2024, 09:00-10:00

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserMateusz Wasilewski (Polish Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 December 2024, 10:00-10:40

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserJacek Krajczok (Vrije Universiteit Brussel).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 December 2024, 11:10-11:50

Topological Invariants for G-kernels and Group Actions

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserUlrich Pennig (Cardiff University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 December 2024, 11:50-12:30

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserJosse van Dobben de Bruyn (Technical University of Denmark).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 December 2024, 14:50-15:30

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserLyudmila Turowska (Chalmers University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockThursday 05 December 2024, 16:00-17:00

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserDietmar Bisch (Vanderbilt University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 December 2024, 09:00-10:00

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserTatiana Shulman (Göteborgs Universitet).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 December 2024, 10:00-10:40

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserHaonan Zhang (University of South Carolina).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 December 2024, 11:10-11:50

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserSimon Schmidt (Ruhr-Universität Bochum).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 December 2024, 11:50-12:30

TBC

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserAdam Bene watts (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 December 2024, 14:10-14:50

TBA

QIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras

UserMichael Brannan (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockFriday 06 December 2024, 14:50-15:30

Whiteside’s Edition of the Mathematical Papers of Isaac Newton: Achievements and Open Issues

MHMW01 - Modern history of mathematics: emerging themes

UserNiccolo' Guicciardini (Università degli Studi di Milano).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 January 2025, 09:15-10:15

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserScott Mandelbrote (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 January 2025, 10:15-11:15

The Genesis of Relationism. Leibniz's Early Theory of Space and Newton's Scholium.

MHMW01 - Modern history of mathematics: emerging themes

UserVincenzo De Risi (CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 January 2025, 11:45-12:45

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserDavid Rabouin (CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 January 2025, 14:30-15:30

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserRob Iliffe (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 January 2025, 16:00-17:00

A holistic approach to the history of the mathematical sciences in Islamicate societies

MHMW01 - Modern history of mathematics: emerging themes

UserSonja Brentjes (Bergische Universität Wuppertal).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 January 2025, 09:15-10:15

Calculative Reasoning: Colonial Tool to Democratic Compulsion

MHMW01 - Modern history of mathematics: emerging themes

UserSayori Ghoshal (Max Planck Institute for the History of Science).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 January 2025, 10:15-11:15

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserKarine Chemla (CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 January 2025, 11:45-12:45

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserCaroline Ehrhardt (Paris 8 University Vincennes-Saint-Denis).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 January 2025, 14:30-15:30

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserSloan Despeaux (Western Carolina University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 January 2025, 16:00-17:00

Numeracy, Mathematical Education and the Popularization of Science

MHMW01 - Modern history of mathematics: emerging themes

UserDavid Aubin (Sorbonne Université).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 22 January 2025, 09:15-10:15

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserTinne Hoff Kjeldsen (Københavns Universitet (University of Copenhagen)).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 22 January 2025, 10:15-11:15

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserVolker Remmert (Bergische Universität Wuppertal).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 22 January 2025, 11:45-12:45

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserKaren Parshall (University of Virginia).

HouseSeminar Room 1, Newton Institute.

ClockThursday 23 January 2025, 10:00-11:00

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserFrédéric Brechenmacher (École Polytechnique).

HouseSeminar Room 1, Newton Institute.

ClockThursday 23 January 2025, 11:30-12:30

The Mythopoesis of Mathematics in Fascist Italy

MHMW01 - Modern history of mathematics: emerging themes

UserErika Luciano (University of Torino).

HouseSeminar Room 1, Newton Institute.

ClockThursday 23 January 2025, 14:30-15:30

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserReinhard Siegmund-Schultze (University of Agder).

HouseSeminar Room 1, Newton Institute.

ClockThursday 23 January 2025, 16:00-17:00

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserLiesbeth De Mol (Université de Lille).

HouseSeminar Room 1, Newton Institute.

ClockFriday 24 January 2025, 10:00-11:00

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserMatthew Jones (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 24 January 2025, 11:30-12:30

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserDeborah Kent (University of St Andrews).

HouseSeminar Room 1, Newton Institute.

ClockFriday 24 January 2025, 14:30-15:30

Title TBC

MHMW01 - Modern history of mathematics: emerging themes

UserTom Archibald (Simon Fraser University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 24 January 2025, 16:00-17:00

Rothschild Public Lecture- Refugee mathematicians from Nazi Germany with an emphasis on the U.K

MHM - Modern History of Mathematics

UserReinhard Siegmund-Schultze (University of Agder).

HouseSeminar Room 1, Newton Institute.

ClockThursday 27 March 2025, 16:00-17:00

Kirk Public Lecture: Title TBC

EHT - Equivariant homotopy theory in context

User.

HouseSeminar Room 1, Newton Institute.

ClockWednesday 02 April 2025, 16:00-17:00

Kirk Public Lecture: Title TBC

EHT - Equivariant homotopy theory in context

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 April 2025, 16:00-17:00

Kirk Public Lecture: Title TBC

MHM - Modern History of Mathematics

UserClemency Montelle (University of Canterbury).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 23 April 2025, 16:00-17:00

Please see above for contact details for this list.

 

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