|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://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]](http://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; INI IT; Vincenzo Abete; ss917; ad864; Robert Barczyk. If you have a question about a specific talk, click on that talk to find its organiser. 237 upcoming talks and 10070 talks in the archive: show first 500. TBAVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
PanelVS2W01 - Vistas in Verified Software
Experiments with Concurrent Kleene AlgebraVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
The soluble graph of a finite groupGRA2 - Groups, representations and applications: new perspectives
Extracting a certified OCaml library from Coq.VS2W01 - Vistas in Verified Software
Program Verification: a 70+-Year HistoryVS2W01 - Vistas in Verified Software
Bloch-Kato Conjectures and Rational Points on CurvesKAH2 - K-theory, algebraic cycles and motivic homotopy theory
Verifying a Virtualization Stack at BedRock SystemsVS2W01 - Vistas in Verified Software
Formally Verifed Numerical MethodsVS2W01 - Vistas in Verified Software
Verified Secure RoutingVS2W01 - Vistas in Verified Software
Abstract nested Hoare triples for modular specification of safety and liveness properties of the I/O behaviour of programsVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
Syntomic complexes of regular schemesKAH2 - K-theory, algebraic cycles and motivic homotopy theory
TBAVS2W01 - Vistas in Verified Software
In Defense of Software Testing & On Techniques for Continuous TestingVS2W01 - Vistas in Verified Software
Wrestling with real systemsVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
Unisingular irreducible representations of finite groups of Lie type in the natural characteristicGRA2 - Groups, representations and applications: new perspectives
Contributed TalksVS2W01 - Vistas in Verified Software
Automatic Detecting Billion $ Coding Errors with Static Program AnalysisVS2W01 - Vistas in Verified Software
Interpreters for FreeVS2W01 - Vistas in Verified Software
Static Analysis for Data ScientistsVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
TBAVS2W01 - Vistas in Verified Software
Whitham modulation theory and water wavesHY2W01 - Modulation theory and dispersive shock waves
Verified Machine LearningVSO2 - Verified software
Frequency Downshifting: A Dispersive Whitham PerspectiveHY2W01 - Modulation theory and dispersive shock waves
Verified Machine LearningVSO2 - Verified software
Modulational Stability for Equations of Whitham TypeHY2W01 - Modulation theory and dispersive shock waves
Linearisable Abel equations and the Gurevich-Pitaevskii problemHY2W01 - Modulation theory and dispersive shock waves
The hydrodynamics of soliton gasesHY2W01 - Modulation theory and dispersive shock waves
Modulation theory in two-component Bose-Einstein condensates: the ferromagnetic paradigmHY2W01 - Modulation theory and dispersive shock waves
Modulated Waves in Electrodynamics and Optics. Historical PerspectiveHY2W01 - Modulation theory and dispersive shock waves
Three-dimensional internal waves in the lower atmosphereHY2W01 - Modulation theory and dispersive shock waves
On surface and internal ring waves on currents: dispersive hydrodynamics in 3DHY2W01 - Modulation theory and dispersive shock waves
TBCGRA2 - Groups, representations and applications: new perspectives
Modulation of short surface waves by long internal wavesHY2W01 - Modulation theory and dispersive shock waves
Dispersive shock waves in coastal flowsHY2W01 - Modulation theory and dispersive shock waves
Large mode-2 internal solitary waves in three-layer flowsHY2W01 - Modulation theory and dispersive shock waves
Soliton fission and solitonic turbulence for shallow water waves: a numerical study with different modelsHY2W01 - Modulation theory and dispersive shock waves
Transition fronts and their universality classesHY2W01 - Modulation theory and dispersive shock waves
Verified Software ToolchainsVSO2 - Verified software
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
Generalized Rankine -- Hugoniot relations for shocks in dispersive mediaHY2W01 - Modulation theory and dispersive shock waves
Verified Software ToolchainsVSO2 - Verified software
Dispersive shock wave of the KP equationHY2W01 - Modulation theory and dispersive shock waves
Non-integrable KdV-like models: solitons, breathers, compactons and rogue wavesHY2W01 - Modulation theory and dispersive shock waves
Reductions of (2+1) and (3+1) Dimensional Kadomtsev- Petviashvili Type Equations and Dispersive Shock WavesHY2W01 - Modulation theory and dispersive shock waves
Dispersive Shock Waves in Lattices: A Dimension Reduction ApproachHY2W01 - Modulation theory and dispersive shock waves
Wave Breaking in Undular BoresHY2W01 - Modulation theory and dispersive shock waves
Weakly nonlinear shoaling of tsunami: the phenomenon of self-induced transparencyHY2W01 - Modulation theory and dispersive shock waves
Initial-boundary value problems for Boussinesq-type systemsHY2W01 - Modulation theory and dispersive shock waves
GRA2 title and abstract tbcGRA2 - Groups, representations and applications: new perspectives
Statistical properties and giant fluctuations for laser beam propagating in a turbulent mediumHY2W01 - Modulation theory and dispersive shock waves
Dynamics of a regularized and bistable Ericksen bar using an extended Lagrangian approachHY2W01 - Modulation theory and dispersive shock waves
Modulation equations revisitedHY2W01 - Modulation theory and dispersive shock waves
Integrable systems of the intermediate long wave type in 2 + 1 dimensionsHY2W01 - Modulation theory and dispersive shock waves
Static AnalysisVSO2 - Verified software
Numerical Study of DSWs in Korteweg-de Vries and nonlinear Schrödinger equationsHY2W01 - Modulation theory and dispersive shock waves
Dispersive shock waves and traveling wave solutions of fifth-order KdV equationsHY2W01 - Modulation theory and dispersive shock waves
Stattic Analysis (Barthe)VSO2 - Verified software
About plane periodic waves of the nonlinear Schrödinger equationsHY2W01 - Modulation theory and dispersive shock waves
Stability of waves on fluid of infinite depth with constant vorticityHY2W01 - Modulation theory and dispersive shock waves
Dispersive Riemann problem for the Benjamin-Bona-Mahony equationHY2W01 - Modulation theory and dispersive shock waves
Welcome TalkHY2W06 - Women in dispersive equations day
Rigorous Asymptotics of the KdV Steplike SolutionsHY2W06 - Women in dispersive equations day
The soliton vs. the gas: Fredholm determinants, analysis and finer detailsHY2W06 - Women in dispersive equations day
TBAHY2W06 - Women in dispersive equations day
Cyber physical systemsVSO2 - Verified software
On the extended KdV equation and near-identity transformations for strain wavesHY2W06 - Women in dispersive equations day
Complex nonlinear wave dynamics in ultrafast fibre lasers and their intelligent controlHY2W06 - Women in dispersive equations day
Stokes waves are unstableHY2W06 - Women in dispersive equations day
Cyber physical systemsVSO2 - Verified software
Dark Structures on a Torus for the Nonlinear Schrodinger ModelHY2W06 - Women in dispersive equations day
TBAHY2W06 - Women in dispersive equations day
Panel DiscussionHY2W06 - Women in dispersive equations day
Welcome TalkKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
GRA2 title abstract tbcGRA2 - Groups, representations and applications: new perspectives
Cluster varieties, amplitude symbols, and mutation invariants.KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
Formal educationVSO2 - Verified software
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
Twisted derived equivalences and string theory dualities with B-fieldKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
Formal educationVSO2 - Verified software
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
K_2 and quantum curvesKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
Degenerations, fibrations and higher rank Landau-Ginzburg modelsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
Model CheckingVSO2 - Verified software
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
Model checkingVSO2 - Verified software
Enumerative period integrals of Landau-Ginzburg modelsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes
Welcome and IntroductionTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
CHIMERA: Collaborative Healthcare Innovation through Mathematics, Engineering and AI.TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
EPSRC Hub in Quantitative Modelling in Healthcare: Research and Partnerships ActivityTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Emulation and Uncertainty Quantification in Cardiac ModellingTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Tea and Coffee BreakTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Deep Learning for Image Reconstruction in CTTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Can we Predict the Severity of COVID-19 Using Full Blood Counts?TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Multi-Modal Hypergraph Diffusion Networks for Alzheimer ClassificationTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Motion Correction for Cardiac MRI Images using Generative Neural Networks with Disentangled Latent Space VariablesTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Spectral Decomposition of Protein Structures in Heterogeneous Cryo-EMTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Investigating Bias in Full Blood Count DataTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Questions and AnswersTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
A Landmarking Approach for the Dynamic Scheduling of Cardiovascular Risk AssessmentsTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
TBCTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Machine Learning ModelsTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Next StepsTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event
Registration Desk OpensTGM113 - Medical Image Understanding and Analysis 2022
Opening CeremonyTGM113 - Medical Image Understanding and Analysis 2022
Keynote SpeakerTGM113 - Medical Image Understanding and Analysis 2022
Oral session 1TGM113 - Medical Image Understanding and Analysis 2022
Rust verificationVSO2 - Verified software
BreakTGM113 - Medical Image Understanding and Analysis 2022
Oral Session 2TGM113 - Medical Image Understanding and Analysis 2022
Rust verificationVSO2 - Verified software
Poster Session & Coffee BreakTGM113 - Medical Image Understanding and Analysis 2022
Oral Session 3TGM113 - Medical Image Understanding and Analysis 2022
WiMIUA Workshop Hors d'oeuvre Closing Event WiMIUA WorkshopTGM113 - Medical Image Understanding and Analysis 2022
Oral Session 4TGM113 - Medical Image Understanding and Analysis 2022
Oral Session 5TGM113 - Medical Image Understanding and Analysis 2022
Keynote SpeakerTGM113 - Medical Image Understanding and Analysis 2022
Flash Podium Talk MicrosoftTGM113 - Medical Image Understanding and Analysis 2022
Abstract Submissions: Flash TalksTGM113 - Medical Image Understanding and Analysis 2022
Abstract Submissions: Poster SessionTGM113 - Medical Image Understanding and Analysis 2022
Oral Session 6TGM113 - Medical Image Understanding and Analysis 2022
Microsoft Workshop *(Gold Sponsor MIUA)TGM113 - Medical Image Understanding and Analysis 2022
Gala DinnerTGM113 - Medical Image Understanding and Analysis 2022
Oral Session 7TGM113 - Medical Image Understanding and Analysis 2022
Oral Session 8TGM113 - Medical Image Understanding and Analysis 2022
Compiler verificationVSO2 - Verified software
Keynote SpeakerTGM113 - Medical Image Understanding and Analysis 2022
Industrial Panel (MathWorks, Microsoft, Nvidia)TGM113 - Medical Image Understanding and Analysis 2022
Compiler verificationVSO2 - Verified software
Oral Session 9TGM113 - Medical Image Understanding and Analysis 2022
Closing Ceremony and AwardsTGM113 - Medical Image Understanding and Analysis 2022
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
Security and cryptoVSO2 - Verified software
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
DiscussionsNC2W01 - Making the bridge: Exploring new connections between number theory and physics
Security and cryptoVSO2 - Verified software
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
Automorphic forms and representation theoryNC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
DiscussionNC2W01 - Making the bridge: Exploring new connections between number theory and physics
The Langlands Program as Electric-Magnetic DualityNC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
Automorphic forms and representation theoryNC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
The Formal Ecosystem (Sewell)VSO2 - Verified software
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
Open ProblemsNC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
TBANC2W01 - Making the bridge: Exploring new connections between number theory and physics
Welcome and IntroductionTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Viscoelastic Effects in EmbryologyTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Bacterial Biofilm ArchitectureTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Self-replication in Reconfigurable OrganismsTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Subglacial Soft MatterTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Rheology of GeomaterialsTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Posters, Networking and Drinks ReceptionTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Nonreciprocol TransitionTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Predicting Transitions far from EquilibriumTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Active Phase SeparationTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Industry Talk 1TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Industry Talk 2TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Industry Talk 3TGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Advancing the Functional Utility of Liquid Crystalline Elastomers at the Nexus of Computation, Materials Processing, and ChemistryTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Liquid Crystal Networks and ElastomersTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Adaptive Colloids and Topological Solutions Enabled by Nematic ElastomersTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Elevator PitchesTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Mixer Sessions and PostersTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Microfluidics and AmyloidsTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Selective BindingTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Emergence of Antibiotic ResistenceTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Round table discussionTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
Open Discussion & Wrap-upTGM111 - 6th Edwards Symposium – Soft Matter for the 21st Century
IMA Event for New Lecturers?
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 |
Daniel Kroening (University of Oxford).
Monday 04 July 2022, 10:00-11:00