|![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
Isaac Newton Institute Seminar Series
Add to your list(s)
Send you e-mail reminders
Further detail
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. 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 compactificationsTWT - Twistor theory
Quasi-local mass, Kerr horizon, and causalityTWT - Twistor theory
Celestial symmetries charges at null infinity from twistor spaceTWT - Twistor theory
Bridging the gap: towards a unified treatment of energy-momentum at infinityTWT - Twistor theory
Killing spinors and non-vacuum Chen-Teo metricsTWT - Twistor theory
Metaphors for the twistor theory of the future.TWT - Twistor theory
Matching asymptotic charges using Friedrich's cylinder at spatial infinityTWT - Twistor theory
Intrinsic rigidity of extremal horizons and black hole uniquenessTWT - Twistor theory
Rigidity of the extremal Kerr-Newman horizonTWT - Twistor theory
TBASSD - Stochastic systems for anomalous diffusion
Conformal Einstein's equationsTWT - Twistor theory
Dickman-type stochastic processes and non-local operatorsSSD - Stochastic systems for anomalous diffusion
Charges and fluxes of gravitational field from the twistor connection.TWT - Twistor theory
Flat extensions of principal connections and the Chern—Simons 3-formTWT - Twistor theory
Introduction by Chris Breward & Camp RulesTGM141 - UK Graduate Modelling Camp 2024
Challenge 1: Detecting Train Track Faults from an Onboard CameraTGM141 - UK Graduate Modelling Camp 2024
Challenge 2: Uncertainty Quantification for Vibration IsolationTGM141 - UK Graduate Modelling Camp 2024
Challenge 3: How Long Will My Client Live? Quantum in Person Injury LitigationTGM141 - UK Graduate Modelling Camp 2024
Challenge 4: Melting Scrap Metal in an Induction FurnaceTGM141 - UK Graduate Modelling Camp 2024
Challenge 5: Detecting Fake Data Through Anomaly DetectionTGM141 - UK Graduate Modelling Camp 2024
Complete and submit project choice formsTGM141 - UK Graduate Modelling Camp 2024
Teams announcedTGM141 - UK Graduate Modelling Camp 2024
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Hyper-Lagrangians and Joyce structuresTWT - Twistor theory
Moyal quantized twistor spaces and dispersive integrable systemsTWT - Twistor theory
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Dispersionless integrable equations and related integrable hierarchiesTWT - Twistor theory
Rapid ReportsTGM141 - UK Graduate Modelling Camp 2024
Bounds on the size of the convex hull of planar Brownian motion and related inverse processesSSD - Stochastic systems for anomalous diffusion
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Two fairly recent approximations of Walsh’s spider processSSD - Stochastic systems for anomalous diffusion
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Isomonodromic Deformations and Tau FunctionsTWT - Twistor theory
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Linearisable Abel equations and the Gurevich-Pitaevskii problemTWT - Twistor theory
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Quasi-Einstein structures on a surfaceTWT - Twistor theory
Group WorkTGM141 - UK Graduate Modelling Camp 2024
First integrals for solutions of the conformal Mercator equationTWT - Twistor theory
Group WorkTGM141 - UK Graduate Modelling Camp 2024
Dispersionless integrablity and twistor theory above dimension 4.TWT - Twistor theory
Prepare Final PresentationsTGM141 - UK Graduate Modelling Camp 2024
Group Presentation 1TGM141 - UK Graduate Modelling Camp 2024
Group Presentation 2TGM141 - UK Graduate Modelling Camp 2024
Group Presentation 3TGM141 - UK Graduate Modelling Camp 2024
Group Presentation 4TGM141 - UK Graduate Modelling Camp 2024
Group Presentation 5TGM141 - UK Graduate Modelling Camp 2024
Feedback FormsTGM141 - UK Graduate Modelling Camp 2024
SummaryTGM141 - UK Graduate Modelling Camp 2024
EndTGM141 - UK Graduate Modelling Camp 2024
WelcomeTGM145 - Mathematics Communication Training
IntroductionsTGM145 - Mathematics Communication Training
Who are you talking to? & What do you want to say?TGM145 - Mathematics Communication Training
Get started! & Writing about anything for anyoneTGM145 - Mathematics Communication Training
Get writing & Go to press!TGM145 - Mathematics Communication Training
Share your front pageTGM145 - Mathematics Communication Training
Introduction to Day 2TGM145 - Mathematics Communication Training
WelcomeTGM145 - Mathematics Communication Training
Basic Principles: Audiences & Speaking and PresentingTGM145 - Mathematics Communication Training
Pitch Development - facilitated groupsTGM145 - Mathematics Communication Training
Advanced Techniques - Stories, Jokes and Magic & Making VideosTGM145 - Mathematics Communication Training
Delivery of 2-minute pitches - one per groupTGM145 - Mathematics Communication Training
Next StepsTGM145 - Mathematics Communication Training
Title TBCSSDW06 - Stochastic Systems in Active Matter
Title TBCSSDW06 - Stochastic Systems in Active Matter
Title TBCSSDW06 - Stochastic Systems in Active Matter
Speaker TBCSSDW06 - Stochastic Systems in Active Matter
Title TBCSSDW06 - Stochastic Systems in Active Matter
3 Lightning TalksSSDW06 - Stochastic Systems in Active Matter
Title TBCSSDW06 - Stochastic Systems in Active Matter
Title TBCSSDW06 - Stochastic Systems in Active Matter
Title TBCSSDW06 - Stochastic Systems in Active Matter
Evening social and poster sessionSSDW06 - Stochastic Systems in Active Matter
RegistrationBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Director's Briefing and Organiser's WelcomeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Engineering large, multipurpose microprocessor specifications (using the x86-64 architecture as a case study)BSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Morning CoffeeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Micro-architectural modelling and verification of an x86 micro-processorBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
ISA specification in SailBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Lunch at Churchill CollegeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Verifying a Concurrent Hypervisor in C++BSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Specification and verification of multi-language programs in separation logicBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Afternoon TeaBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
OptiTrust: Producing Trustworthy High-Performance Code via Source-to-Source TransformationBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Welcome Wine ReceptionBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Verse: Specification, Testing, and Verification for the Working Software EngineerBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Towards requirements based testing of Cardano smart contractsBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Group Photo and Morning CoffeeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Proofs on Inductive Predicates in Why3BSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Executable specification of a production hypervisor: hypercalls and TLB management disciplineBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Lunch at Churchill CollegeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Reasoning above ISA specifications, for arbitrary and known codeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Katamaran and Universal Contracts: Formalizing, verifying and applying ISA security guaranteesBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Afternoon TeaBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Title TBCBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Evolving a formal language standardBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Ever-Mechanising the Ever-Expanding WebAssembly specificationBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Morning CoffeeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Formally Specifying ABIs using Realistic RealizabilityBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Lunch at Churchill CollegeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Formal Dinner at Selwyn CollegeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Specifying "real" computers: cache coherence, cut+paste SoCs, and the de-facto Operating SystemBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
An ACL2-based x86-ISA SpecificationBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Morning CoffeeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Scaling up the automated verification of concurrent programsBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Arm relaxed systems semanticsBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Lunch at Churchill CollegeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Proving Information Flow Security for Concurrent ProgramsBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Title TBCBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Afternoon TeaBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Trustworthy Just-In-Time Compilers with Symbolic Meta-ExecutionBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Retrofitting Verified Parsers in the Windows Kernel with AIBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Morning CoffeeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Expressiveness and Separation on Mixed Choice Multiparty Session TypesBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
CN specification, verification, and testing for systems C codeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Lunch at Churchill CollegeBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Title TBCBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Afternoon TeaBSPW01 - Big Specification: Specification, Proof, and Testing at Scale
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Branching capacity of a random walkSSDW03 - Geometry, occupation fields, and scaling limits
Mini Course (Title TBC)SSDW03 - Geometry, occupation fields, and scaling limits
Abelian Sandpiles and Abelian NetworksSSDW03 - Geometry, occupation fields, and scaling limits
Local times of Brownian motion indexed by the Brownian treeSSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Uniqueness of Malliavin—Kontsevich—Suhov measuresSSDW03 - Geometry, occupation fields, and scaling limits
Mini Course (Title TBC)SSDW03 - Geometry, occupation fields, and scaling limits
Universality Conjectures for Activated Random WalkSSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Mini Course (Title TBC)SSDW03 - Geometry, occupation fields, and scaling limits
Math for AI SafetySSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Title TBCSSDW03 - Geometry, occupation fields, and scaling limits
Director's Welcome and Organiser's IntroductionQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Operator AlgebrasQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Operator AlgebrasQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum GroupsQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum GroupsQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum InformationQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Operator AlgebrasQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum InformationQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum GroupsQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum GroupsQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Operator Algebras TutorialQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Operator AlgebrasQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum Groups TutorialQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum GroupsQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Operator AlgebrasQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum InformationQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum InformationQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Operator Algebras TutorialQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum InformationQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum GroupsQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum Information TutorialQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Quantum Groups TutorialQIAW01 - School on selected topics in quantum groups, quantum information and operator algebras
Welcome and IntroductionOFBW71 - Quantum Computing: Applications and Challenges
TBCOFBW71 - Quantum Computing: Applications and Challenges
TBCOFBW71 - Quantum Computing: Applications and Challenges
TBCOFBW71 - Quantum Computing: Applications and Challenges
Cyber Security in the Era of Quantum ComputingOFBW71 - Quantum Computing: Applications and Challenges
TBCOFBW71 - Quantum Computing: Applications and Challenges
On the Practical cost of Grover for AES Key RecoveryOFBW71 - Quantum Computing: Applications and Challenges
Discussion and Final RemarksOFBW71 - Quantum Computing: Applications and Challenges
On Convex Hulls of Stable Random WalksSSD - Stochastic systems for anomalous diffusion
Clay Public Lecture: Title TBCSSD - Stochastic systems for anomalous diffusion
Welcome and IntroductionTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Reflections on the Building the Mathsci-comm CommunityTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Exploring What Works in Science Communication; Experiments and EvidenceTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Communicating Complex Information at the Bank of EnglandTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Evaluating Impact at the Royal InstitutionTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Communicating to COBRATGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Psychological PerspectiveTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
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?
Coproduction of Mathematical ModelsTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Panel: Mapping the Black Hole - Documenting the Landscape of Evidence for Successful CommunicationTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Panel: Embedding Communication in the Mathematical Science Community in a Systematic WayTGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
Questions and Discussion – What do you want from the Network?TGM143 - Communicating Mathematical and Data Sciences – What does Success Look Like?
INI Director's WelcomeQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
Organiser's IntroductionQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
Synchronous quantum gamesQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
A Central Limit Theorem in the Framework of the Thompson Group FQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
Topological Invariants for G-kernels and Group ActionsQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBCQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
TBAQIAW02 - New trends at the intersection of quantum information theory, quantum groups and operator algebras
Whiteside’s Edition of the Mathematical Papers of Isaac Newton: Achievements and Open IssuesMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
The Genesis of Relationism. Leibniz's Early Theory of Space and Newton's Scholium.MHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
A holistic approach to the history of the mathematical sciences in Islamicate societiesMHMW01 - Modern history of mathematics: emerging themes
Calculative Reasoning: Colonial Tool to Democratic CompulsionMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Numeracy, Mathematical Education and the Popularization of ScienceMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
The Mythopoesis of Mathematics in Fascist ItalyMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Title TBCMHMW01 - Modern history of mathematics: emerging themes
Rothschild Public Lecture- Refugee mathematicians from Nazi Germany with an emphasis on the U.KMHM - Modern History of Mathematics
Kirk Public Lecture: Title TBCEHT - Equivariant homotopy theory in context
Kirk Public Lecture: Title TBCEHT - Equivariant homotopy theory in context
Kirk Public Lecture: Title TBCMHM - Modern History of Mathematics
Please see above for contact details for this list. |
Other listsMillennium Mathematics Project (http://maths.org) Ancient India and Iran Trust Tackling Obesity with Big Data: methods & models - One Day SeminarOther talksCambridge-Lausanne Workshop 2018 - Day 1 Tunable Functional Magnetic Skyrmions at Room Temperature Cambridge - Corporate Finance Theory Symposium September 2018 - Day 2 Regulation of progenitor cells in adult lung and in lung cancer Reforming the Chinese Electricity System: A Review of the Market Reform Pilot in Guangdong The microenvironment in the myeloid malignancies Symplectic topology of K3 surfaces via mirror symmetry Microtubule Modulation of Myocyte Mechanics 70th Anniversary Celebration Fields of definition of Fukaya categories of Calabi-Yau hypersurfaces Oncological Imaging: introduction and non-radionuclide techniques & radionuclide techniques |
Lars Andersson (Beijing Institute of Mathematical Sciences and Applications).
Monday 16 September 2024, 10:00-11:00