COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
If you have a question about this list, please contact: Benjamin Dayan. If you have a question about a specific talk, click on that talk to find its organiser. 158 upcoming talks and 29803 talks in the archive: show all (slow!). Isaac Newton Institute Seminar Series Concurrency Meeting: Implementing and Verifying Release-Acquire Transactional Memory in C11VSO2 - Verified software Brijesh Dongol (University of Surrey). Seminar Room 1, Newton Institute. Thursday 11 August 2022, 16:10-16:45 Isaac Newton Institute Seminar Series Concurrency Meeting: Relaxed virtual memory semanticsVSO2 - Verified software Ben Simner. Seminar Room 1, Newton Institute. Thursday 11 August 2022, 15:00-15:25 Isaac Newton Institute Seminar Series Concurrency Meeting: Generalised Multiparty Session Types with Crash-Stop Failures: Fangyi ZhouVSO2 - Verified software Fangyi Zhou (Imperial College London). Seminar Room 1, Newton Institute. Thursday 11 August 2022, 14:10-14:35 Isaac Newton Institute Seminar Series Penumbral Moonshine: Relations and Implications 1NCN2 - New connections in number theory and physics Jeff Harvey (University of Chicago). Seminar Room 2, Newton Institute. Thursday 11 August 2022, 14:00-15:00 Mapping class group of manifolds which look like 3-dimensional complete intersectionsMatthias Kreck, Hausdorff center for Mathematics. MR13. Thursday 11 August 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Concurrency Meeting: Idioms for InteractionsVSO2 - Verified software Nobuko Yoshida (Imperial College London). Seminar Room 1, Newton Institute. Thursday 11 August 2022, 13:25-13:50 Isaac Newton Institute Seminar Series Concurrency Meeting: When Concurrency Strikes: Behaviour Oriented ConcurrencyVSO2 - Verified software Matthew Parkinson (Microsoft (UK)). Seminar Room 1, Newton Institute. Thursday 11 August 2022, 13:00-13:25 Isaac Newton Institute Seminar Series From Drinfeld-Sokolov bihamiltonian structures to Dubrovin-Frobenius manifoldsHYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves Yassir Dinar (Sultan Qaboos University). Seminar Room 2, Newton Institute. Thursday 11 August 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Counting states in string theory: Kirk Lecture:NCN2 - New connections in number theory and physics Anne Taormina (Durham University). Seminar Room 1, Newton Institute. Wednesday 10 August 2022, 16:00-17:00 The quotients of the congruence subgroups of braid groupsPeter Patzt, University of Oklahoma. MR13. Wednesday 10 August 2022, 16:00-17:00 Isaac Newton Institute Seminar Series On spectral theory of soliton gases for integrable equations, Part 1: Brief introduction. Part 1HYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves Alexander Tovbis (University of Central Florida). Seminar Room 2, Newton Institute. Wednesday 10 August 2022, 15:00-16:00 Isaac Newton Institute Seminar Series At Moller Institute: The truth and more about what comes after Cappelli-Itzykson-Zuber's A-D-ENCN2 - New connections in number theory and physics Terry Gannon (University of Alberta). Tuesday 09 August 2022, 18:00-19:00 DAMTP Atmosphere-Ocean Dynamics Stratospheric Vacillations: Insights from a Minimal ModelPeter Hitchcock (Cornell University). MR 5, Centre for Mathematical Sciences. Friday 05 August 2022, 13:00-14:00 Isaac Newton Institute Seminar Series The Langlands Program as Electric-Magnetic Duality IVNC2W01 - Making the bridge: Exploring new connections between number theory and physics David Ben-Zvi (University of Texas at Austin). Seminar Room 1, Newton Institute. Friday 05 August 2022, 11:15-12:15 Isaac Newton Institute Seminar Series String scattering and automorphic representationsNC2W01 - Making the bridge: Exploring new connections between number theory and physics Axel Kleinschmidt (Max-Planck-Institut für Gravitationphysik). Seminar Room 1, Newton Institute. Friday 05 August 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Small representations IINC2W01 - Making the bridge: Exploring new connections between number theory and physics Gordan Savin (University of Utah). Seminar Room 1, Newton Institute. Friday 05 August 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Intro to the theta correspondence IIINC2W01 - Making the bridge: Exploring new connections between number theory and physics Stephen Kudla (University of Toronto). Seminar Room 1, Newton Institute. Thursday 04 August 2022, 16:00-17:00 Isaac Newton Institute Seminar Series String scattering and generalized automorphic forms IIINC2W01 - Making the bridge: Exploring new connections between number theory and physics Oliver Schlotterer (Uppsala Universitet). Seminar Room 1, Newton Institute. Thursday 04 August 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Small representations INC2W01 - Making the bridge: Exploring new connections between number theory and physics Gordan Savin (University of Utah). Seminar Room 1, Newton Institute. Thursday 04 August 2022, 13:30-14:30 Isaac Newton Institute Seminar Series The Langlands Program as Electric-Magnetic Duality IIINC2W01 - Making the bridge: Exploring new connections between number theory and physics David Ben-Zvi (University of Texas at Austin). Seminar Room 1, Newton Institute. Thursday 04 August 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Lecture 2 - Analysis of Riemann - Hilbert problems, some nuts and bolts, and applications to the detailed description of solitonic interactions for the KdV equation and MKdV equation.HYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves Ken McLaughlin (Colorado State University). Seminar Room 2, Newton Institute. Thursday 04 August 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Automorphic forms and representation theory, IIINC2W01 - Making the bridge: Exploring new connections between number theory and physics Solomon Friedberg (Boston College). Seminar Room 1, Newton Institute. Thursday 04 August 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Mock Modular Forms and Applications IIINC2W01 - Making the bridge: Exploring new connections between number theory and physics Miranda Cheng (Universiteit van Amsterdam). Seminar Room 1, Newton Institute. Thursday 04 August 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Ecosystem: DiscussionVSO2 - Verified software . Seminar Room 2, Newton Institute. Wednesday 03 August 2022, 16:40-17:00 Statistics Clinic Summer 2022 IIThe clinic takes place in MR5 at the Centre for Mathematical Sciences. Speaker to be confirmed. Wednesday 03 August 2022, 16:30-18:00 Isaac Newton Institute Seminar Series Ecosystem: CertiKOS approachesVSO2 - Verified software Zhong Shao (Yale University). Seminar Room 2, Newton Institute. Wednesday 03 August 2022, 16:20-16:35 Isaac Newton Institute Seminar Series Ecosystem: seL4 approachesVSO2 - Verified software Thomas Sewell (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 03 August 2022, 15:55-16:10 Isaac Newton Institute Seminar Series Lecture 1 Analysis of Riemann - Hilbert problems, some nuts and bolts, and applications to the detailed description of solitonic interactions for the KdV equation and MKdV equation.HYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves Ken McLaughlin (Colorado State University). Seminar Room 1, Newton Institute. Wednesday 03 August 2022, 15:30-16:30 Isaac Newton Institute Seminar Series Ecosystem: BedRockVSO2 - Verified software Gregory Malecha (Bed Rock Systems). Seminar Room 2, Newton Institute. Wednesday 03 August 2022, 15:30-15:45 Isaac Newton Institute Seminar Series Ecosystem: RefinedCVSO2 - Verified software Michael Sammler (Max Planck Institute for Software Systems). Seminar Room 2, Newton Institute. Wednesday 03 August 2022, 15:05-15:20 Isaac Newton Institute Seminar Series Ecosystem: VeriFastVSO2 - Verified software Bart Jacobs (KU Leuven). Seminar Room 2, Newton Institute. Wednesday 03 August 2022, 14:40-14:55 Isaac Newton Institute Seminar Series Ecosystem: VSTVSO2 - Verified software Andrew Appel (Princeton University). Seminar Room 2, Newton Institute. Wednesday 03 August 2022, 14:15-14:30 Isaac Newton Institute Seminar Series Ecosystem: IntroductionVSO2 - Verified software Peter Sewell (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 03 August 2022, 14:00-14:15 Isaac Newton Institute Seminar Series Group photoNC2W01 - Making the bridge: Exploring new connections between number theory and physics . Wednesday 03 August 2022, 12:15-12:20 Isaac Newton Institute Seminar Series String amplitudes and automorphic forms IINC2W01 - Making the bridge: Exploring new connections between number theory and physics Marcus Berg (Karlstad University). Seminar Room 1, Newton Institute. Wednesday 03 August 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Intro to the theta correspondence IINC2W01 - Making the bridge: Exploring new connections between number theory and physics Stephen Kudla (University of Toronto). Seminar Room 1, Newton Institute. Wednesday 03 August 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Automorphic forms and representation theory, IINC2W01 - Making the bridge: Exploring new connections between number theory and physics Solomon Friedberg (Boston College). Seminar Room 1, Newton Institute. Wednesday 03 August 2022, 09:00-10:00 Isaac Newton Institute Seminar Series String scattering and generalized automorphic forms IINC2W01 - Making the bridge: Exploring new connections between number theory and physics Oliver Schlotterer (Uppsala Universitet). Seminar Room 1, Newton Institute. Tuesday 02 August 2022, 16:00-17:00 Isaac Newton Institute Seminar Series The Langlands Program as Electric-Magnetic Duality IINC2W01 - Making the bridge: Exploring new connections between number theory and physics David Ben-Zvi (University of Texas at Austin). Seminar Room 1, Newton Institute. Tuesday 02 August 2022, 14:30-15:30 Isaac Newton Institute Seminar Series DiscussionNC2W01 - Making the bridge: Exploring new connections between number theory and physics . Seminar Room 1, Newton Institute. Tuesday 02 August 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Intro to the theta correspondence INC2W01 - Making the bridge: Exploring new connections between number theory and physics Stephen Kudla (University of Toronto). Seminar Room 1, Newton Institute. Tuesday 02 August 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Automorphic forms and representation theory, INC2W01 - Making the bridge: Exploring new connections between number theory and physics Solomon Friedberg (Boston College). Seminar Room 1, Newton Institute. Tuesday 02 August 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Mock Modular Forms and Applications IINC2W01 - Making the bridge: Exploring new connections between number theory and physics Miranda Cheng (Universiteit van Amsterdam). Seminar Room 1, Newton Institute. Tuesday 02 August 2022, 09:00-10:00 Isaac Newton Institute Seminar Series The Langlands Program as Electric-Magnetic Duality INC2W01 - Making the bridge: Exploring new connections between number theory and physics David Ben-Zvi (University of Texas at Austin). Seminar Room 1, Newton Institute. Monday 01 August 2022, 16:00-17:00 Isaac Newton Institute Seminar Series String scattering and generalized automorphic forms iNC2W01 - Making the bridge: Exploring new connections between number theory and physics Oliver Schlotterer (Uppsala Universitet). Seminar Room 1, Newton Institute. Monday 01 August 2022, 14:30-15:30 Isaac Newton Institute Seminar Series String amplitudes and automorphic formsNC2W01 - Making the bridge: Exploring new connections between number theory and physics Marcus Berg (Karlstad University). Seminar Room 1, Newton Institute. Monday 01 August 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Security and cryptoVSO2 - Verified software . Seminar Room 2, Newton Institute. Monday 01 August 2022, 13:30-15:00 Isaac Newton Institute Seminar Series Mock Modular Forms and Applications INC2W01 - Making the bridge: Exploring new connections between number theory and physics Miranda Cheng (Universiteit van Amsterdam). Seminar Room 1, Newton Institute. Monday 01 August 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Security and cryptoVSO2 - Verified software . Seminar Room 2, Newton Institute. Monday 01 August 2022, 10:30-12:00 Isaac Newton Institute Seminar Series Closing Ceremony and AwardsTGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Friday 29 July 2022, 16:30-17:00 Isaac Newton Institute Seminar Series Oral Session 9TGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Friday 29 July 2022, 15:30-16:30 Isaac Newton Institute Seminar Series Compiler verificationVSO2 - Verified software . Seminar Room 2, Newton Institute. Friday 29 July 2022, 13:30-15:00 Isaac Newton Institute Seminar Series Industrial Panel (MathWorks, Microsoft, Nvidia)TGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Friday 29 July 2022, 13:00-14:30 Isaac Newton Institute Seminar Series Base-two permutation groups and applicationsGR2W02 - Simple groups, representations and applications Tim Burness (University of Bristol). Seminar Room 1, Newton Institute. Friday 29 July 2022, 11:40-12:30 Isaac Newton Institute Seminar Series Keynote SpeakerTGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Friday 29 July 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Invariable generation and totally deranged elements of simple groupsGR2W02 - Simple groups, representations and applications Scott Harper (University of Bristol). Seminar Room 1, Newton Institute. Friday 29 July 2022, 11:00-11:30 Isaac Newton Institute Seminar Series Compiler verificationVSO2 - Verified software . Seminar Room 2, Newton Institute. Friday 29 July 2022, 10:30-12:00 Isaac Newton Institute Seminar Series Oral Session 8TGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Friday 29 July 2022, 10:15-11:05 Isaac Newton Institute Seminar Series A Prolog-assisted search for simple Lie algebrasGR2W02 - Simple groups, representations and applications David Stewart (University of Newcastle upon Tyne). Seminar Room 1, Newton Institute. Friday 29 July 2022, 09:30-10:20 Isaac Newton Institute Seminar Series Oral Session 7TGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Friday 29 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Gala DinnerTGM113 - Medical Image Understanding and Analysis 2022 . Thursday 28 July 2022, 19:00-22:00 Isaac Newton Institute Seminar Series Microsoft Workshop *(Gold Sponsor MIUA)TGM113 - Medical Image Understanding and Analysis 2022 . Seminar Room 1, Newton Institute. Thursday 28 July 2022, 16:30-17:30 Isaac Newton Institute Seminar Series Update on the CGLSS Project IIGR2W02 - Simple groups, representations and applications Inna Capdeboscq (University of Warwick). Seminar Room 1, Newton Institute. Thursday 28 July 2022, 16:20-17:10 Logic and Semantics Seminar (Computer Laboratory) Decoding Nets: A Formal Take on Address TranslationBen Fiedler, ETH. FW26. Thursday 28 July 2022, 16:00-17:00 Logic and Semantics Seminar (Computer Laboratory) Decoding Nets: A Formal Take on Address TranslationBen Fiedler, ETH. FW26. Thursday 28 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Update on the CGLSS Project IGR2W02 - Simple groups, representations and applications Ronald Solomon (Ohio State University). Seminar Room 1, Newton Institute. Thursday 28 July 2022, 15:00-15:50 Isaac Newton Institute Seminar Series Oral Session 6TGM113 - Medical Image Understanding and Analysis 2022 . Seminar Room 1, Newton Institute. Thursday 28 July 2022, 14:10-15:20 Isaac Newton Institute Seminar Series Simple groups, characteristic covering numbers and tensor product growth of representationsGR2W02 - Simple groups, representations and applications Aner Shalev (Hebrew University of Jerusalem). Seminar Room 1, Newton Institute. Thursday 28 July 2022, 14:00-14:50 Isaac Newton Institute Seminar Series Abstract Submissions: Poster SessionTGM113 - Medical Image Understanding and Analysis 2022 . Seminar Room 1, Newton Institute. Thursday 28 July 2022, 13:20-14:10 Isaac Newton Institute Seminar Series Abstract Submissions: Flash TalksTGM113 - Medical Image Understanding and Analysis 2022 . Seminar Room 1, Newton Institute. Thursday 28 July 2022, 13:00-13:20 Isaac Newton Institute Seminar Series Flash Podium Talk MicrosoftTGM113 - Medical Image Understanding and Analysis 2022 . Seminar Room 1, Newton Institute. Thursday 28 July 2022, 12:20-12:35 Isaac Newton Institute Seminar Series Tame automorphism groups of polynomial rings with property (T) and infinitely many alternating group quotientsGR2W02 - Simple groups, representations and applications Martin Kassabov (Cornell University). Seminar Room 1, Newton Institute. Thursday 28 July 2022, 11:40-12:30 Isaac Newton Institute Seminar Series Keynote SpeakerTGM113 - Medical Image Understanding and Analysis 2022 . Seminar Room 1, Newton Institute. Thursday 28 July 2022, 11:20-12:20 Isaac Newton Institute Seminar Series Permutation groups and relational complexityGR2W02 - Simple groups, representations and applications Colva Roney-Dougal (University of St Andrews). Seminar Room 1, Newton Institute. Thursday 28 July 2022, 11:00-11:30 Isaac Newton Institute Seminar Series Oral Session 5TGM113 - Medical Image Understanding and Analysis 2022 . Seminar Room 1, Newton Institute. Thursday 28 July 2022, 10:15-11:10 Isaac Newton Institute Seminar Series Irreducible restrictions of representations of symmetric and alternating groupsGR2W02 - Simple groups, representations and applications Alexander Kleshchev (University of Oregon). Seminar Room 1, Newton Institute. Thursday 28 July 2022, 10:00-10:30 Isaac Newton Institute Seminar Series Oral Session 4TGM113 - Medical Image Understanding and Analysis 2022 . Seminar Room 1, Newton Institute. Thursday 28 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series On the inverse problem for isometry groups of normsGR2W02 - Simple groups, representations and applications Emmanuel Breuillard (University of Oxford). Seminar Room 1, Newton Institute. Thursday 28 July 2022, 09:00-09:50 Isaac Newton Institute Seminar Series Verified Learning autonomy - Susmit JhaVSO2 - Verified software . Discussion Room, Newton Institute. Wednesday 27 July 2022, 17:30-18:00 Isaac Newton Institute Seminar Series Accountable AI-based Software in Complex Sociotechnical ContextVSO2 - Verified software Ruzica Piskac (Yale University). Discussion Room, Newton Institute. Wednesday 27 July 2022, 17:00-17:30 Isaac Newton Institute Seminar Series Safety verification of neural-network-based controllersVSO2 - Verified software Rajeev Alur (University of Pennsylvania). Discussion Room, Newton Institute. Wednesday 27 July 2022, 16:30-17:00 Isaac Newton Institute Seminar Series Know the Unknowns: Holistically Addressing Uncertainties and Disturbances in Learning-Enabled Cyber-Physical SystemsVSO2 - Verified software Qi Zhu (Northeastern University). Discussion Room, Newton Institute. Wednesday 27 July 2022, 16:00-16:30 Isaac Newton Institute Seminar Series Vacuum states in hydrodynamic models.HYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves Roberto Camassa (University of North Carolina). Seminar Room 1, Newton Institute. Wednesday 27 July 2022, 15:30-16:30 Isaac Newton Institute Seminar Series Building Certifiably Safe and Correct Large-scale Autonomous SystemsVSO2 - Verified software Chuchu Fan (Massachusetts Institute of Technology). Discussion Room, Newton Institute. Wednesday 27 July 2022, 15:30-16:00 Isaac Newton Institute Seminar Series Symplectic matrices and the Bloch groupKAH2 - K-theory, algebraic cycles and motivic homotopy theory Don Zagier (Max-Planck-Institut für Mathematik, Bonn). Seminar Room 2, Newton Institute. Wednesday 27 July 2022, 15:15-16:15 Isaac Newton Institute Seminar Series Oral Session 3TGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 15:00-16:00 Isaac Newton Institute Seminar Series WiMIUA Workshop Hors d'oeuvre Closing Event WiMIUA WorkshopTGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Provably-Correct Neurosymbolic Controllers for Autonomous Cyber-Physical SystemsVSO2 - Verified software Yasser Soukry. Discussion Room, Newton Institute. Wednesday 27 July 2022, 14:30-15:00 Isaac Newton Institute Seminar Series Poster Session & Coffee BreakTGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Trusted Autonomous Systems: Verification Meets FalsificationVSO2 - Verified software Sergiy Bogomolov. Discussion Room, Newton Institute. Wednesday 27 July 2022, 14:00-14:30 Isaac Newton Institute Seminar Series Rust verificationVSO2 - Verified software . Seminar Room 2, Newton Institute. Wednesday 27 July 2022, 13:30-15:00 Isaac Newton Institute Seminar Series The logic of autonomous dynamic systemsVSO2 - Verified software Andre Platzer (Carnegie Mellon University). Discussion Room, Newton Institute. Wednesday 27 July 2022, 13:30-14:00 Mechanics and Fluid Dynamics of Shape-shifting Multicellular ChoanoflagellatesAdam Konkol (DAMTP) and Dr Lloyd Fung (DAMTP). MR5, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Wednesday 27 July 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Oral Session 2TGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 12:30-14:00 Isaac Newton Institute Seminar Series BreakTGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 12:00-12:30 Isaac Newton Institute Seminar Series Fusion systems on maximal class p-groupsGR2W02 - Simple groups, representations and applications Valentina Grazian (Università degli Studi di Milano - Bicocca). Seminar Room 1, Newton Institute. Wednesday 27 July 2022, 11:40-12:10 Isaac Newton Institute Seminar Series Rank 2 Amalgams and Fusion SystemsGR2W02 - Simple groups, representations and applications Martin van Beek (University of Birmingham). Seminar Room 1, Newton Institute. Wednesday 27 July 2022, 11:00-11:30 Isaac Newton Institute Seminar Series Oral session 1TGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 10:30-12:00 Isaac Newton Institute Seminar Series Rust verificationVSO2 - Verified software . Seminar Room 2, Newton Institute. Wednesday 27 July 2022, 10:30-12:00 Isaac Newton Institute Seminar Series Classifying quotients of the Highwater algebraGR2W02 - Simple groups, representations and applications Justin McInroy (University of Chester). Seminar Room 1, Newton Institute. Wednesday 27 July 2022, 10:00-10:30 Isaac Newton Institute Seminar Series Keynote SpeakerTGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 09:15-10:15 Isaac Newton Institute Seminar Series Opening CeremonyTGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 09:00-09:15 Isaac Newton Institute Seminar Series Realizing representations in fusion systemsGR2W02 - Simple groups, representations and applications Robert Oliver (Université Paris 13). Seminar Room 1, Newton Institute. Wednesday 27 July 2022, 09:00-09:50 Isaac Newton Institute Seminar Series Registration Desk OpensTGM113 - Medical Image Understanding and Analysis 2022 . Centre for Mathematical Sciences. Wednesday 27 July 2022, 08:00-15:00 Isaac Newton Institute Seminar Series Rothschild Lecture: Commuting Sets in Groups and AlgebrasGRA2 - Groups, representations and applications: new perspectives Robert Guralnick (University of Southern California). Seminar Room 1, Newton Institute. Tuesday 26 July 2022, 17:00-18:00 Isaac Newton Institute Seminar Series Drinks ReceptionTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event . Centre for Mathematical Sciences. Tuesday 26 July 2022, 17:00-18:00 Isaac Newton Institute Seminar Series Next StepsTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event . Centre for Mathematical Sciences. Tuesday 26 July 2022, 16:45-17:00 Isaac Newton Institute Seminar Series Integrating Genomics and Multi-omics at Population Scale for Disease InsightsTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Adam Butterworth (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 16:15-16:45 Isaac Newton Institute Seminar Series Fusion systems and finite simple groupsGR2W02 - Simple groups, representations and applications Michael Aschbacher (CALTECH (California Institute of Technology)). Seminar Room 1, Newton Institute. Tuesday 26 July 2022, 16:00-16:50 Isaac Newton Institute Seminar Series Logarithmic intersection theory and enumerative geometryKAH2 - K-theory, algebraic cycles and motivic homotopy theory Dhruv Ranganathan (University of Cambridge). Seminar Room 2, Newton Institute. Tuesday 26 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Explainability in Machine LearningTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Rachael Warrington (The Smith Institute). Centre for Mathematical Sciences. Tuesday 26 July 2022, 15:45-16:15 Isaac Newton Institute Seminar Series Formal Wasm: Discussion and final comments from allVSO2 - Verified software . Discussion Room, Newton Institute. Tuesday 26 July 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Addressing the Carbon Footprint of Computational ScienceTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Loïc Lannelongue (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 14:40-15:20 Isaac Newton Institute Seminar Series A wave-by-wave study of particle dynamics in the surf zoneHYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves Henrik Kalisch (Universitetet i Bergen). Seminar Room 2, Newton Institute. Tuesday 26 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series A Landmarking Approach for the Dynamic Scheduling of Cardiovascular Risk AssessmentsTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Jessica Barrett (MRC Biostatistics Unit). Centre for Mathematical Sciences. Tuesday 26 July 2022, 14:00-14:40 Isaac Newton Institute Seminar Series Double coset random walksGR2W02 - Simple groups, representations and applications Persi Diaconis (Stanford University). Seminar Room 1, Newton Institute. Tuesday 26 July 2022, 14:00-14:50 CUED Computer Vision Research Seminars Analysis by synthesis for interpretable image collection analysisDr. Mathieu Aubry (Tenured Researcher at Ecole des Ponts ParisTech). Tuesday 26 July 2022, 14:00-15:30 Isaac Newton Institute Seminar Series Formal Wasm: Wasm GC extensionVSO2 - Verified software Andreas Rossberg (None / Other). Discussion Room, Newton Institute. Tuesday 26 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Questions and AnswersTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event . Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:55-13:55 Isaac Newton Institute Seminar Series Survival analysis-based uncertainty estimation for regression problemsTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Sören Dittmer (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:50-12:55 Isaac Newton Institute Seminar Series Automated Quality Control of Chest X-raysTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Ian Selby (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:45-12:50 Isaac Newton Institute Seminar Series Federated Deep Learning in Clinical ApplicationsTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Josh Kaggie (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:40-12:45 Isaac Newton Institute Seminar Series On Image Quality Assessment for Deep Learning in Medical ImagingTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Anna Breger (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:35-12:40 Isaac Newton Institute Seminar Series Deep Learning for Image Reconstruction in CTTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Subhadip Mukherjee (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:30-12:35 Isaac Newton Institute Seminar Series Spectral Decomposition of Protein Structures in Heterogeneous Cryo-EMTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Carlos Esteve Yague (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:25-12:30 Isaac Newton Institute Seminar Series Nonlinear motion separation via untrained generator networks with disentangled latent space variables and applications to cardiac MRITGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Malena Sabaté Landman (Cambridge Mathematics of Information in Healthcare). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:20-12:25 Isaac Newton Institute Seminar Series Multi-Modal Hypergraph Diffusion Networks for Alzheimer ClassificationTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Angelica I. Aviles-Rivero (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:15-12:20 Isaac Newton Institute Seminar Series Can we Predict the Severity of COVID-19 Using Full Blood Counts?TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Samuel Tull (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:10-12:15 Isaac Newton Institute Seminar Series Investigating Bias in Full Blood Count DataTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Daniel Kreuter (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 12:05-12:10 Isaac Newton Institute Seminar Series Tea and Coffee BreakTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event . Centre for Mathematical Sciences. Tuesday 26 July 2022, 11:45-12:00 Isaac Newton Institute Seminar Series Last steps in a proof of the McKay Conjecture on character degreesGR2W02 - Simple groups, representations and applications Britta Späth (Bergische Universität Wuppertal). Seminar Room 1, Newton Institute. Tuesday 26 July 2022, 11:40-12:10 Isaac Newton Institute Seminar Series Emulation and Uncertainty Quantification in Cardiac ModellingTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Hao Gao (SofTMech - University of Glasgow). Centre for Mathematical Sciences. Tuesday 26 July 2022, 11:15-11:45 Isaac Newton Institute Seminar Series On the homotopy type of p-subgroup posetsGR2W02 - Simple groups, representations and applications Kevin Piterman (Philipps-Universität Marburg). Seminar Room 1, Newton Institute. Tuesday 26 July 2022, 11:00-11:30 Isaac Newton Institute Seminar Series Algebraic K-theory of monoid algebrasKAH2 - K-theory, algebraic cycles and motivic homotopy theory Husney Parvez Sarwar (Indian Institute of Technology). Seminar Room 2, Newton Institute. Tuesday 26 July 2022, 11:00-12:00 Isaac Newton Institute Seminar Series EPSRC Hub in Quantitative Modelling in Healthcare: Research and Partnerships ActivityTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Krasimira Tsaneva-Atanasova (EPSRC Hub for Quantitative Modelling in Healthcare, University of Exeter). Centre for Mathematical Sciences. Tuesday 26 July 2022, 10:45-11:15 Isaac Newton Institute Seminar Series CHIMERA: Collaborative Healthcare Innovation through Mathematics, Engineering and AI.TGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event Nick Ovenden (University College London). Centre for Mathematical Sciences. Tuesday 26 July 2022, 10:15-10:45 Isaac Newton Institute Seminar Series Welcome and IntroductionTGM126 - Cambridge Mathematics of Information in Healthcare Hub (CMIH) - Academic Engagement Event John Aston (University of Cambridge), Carola-Bibiane Schönlieb (University of Cambridge). Centre for Mathematical Sciences. Tuesday 26 July 2022, 10:00-10:15 Isaac Newton Institute Seminar Series Invariable generation of finite simple groups by two elements of prime or prime power orderGR2W02 - Simple groups, representations and applications John Shareshian (Washington University in St. Louis). Seminar Room 1, Newton Institute. Tuesday 26 July 2022, 10:00-10:30 Isaac Newton Institute Seminar Series Fusion systems, localities and the classification of finite simple groupsGR2W02 - Simple groups, representations and applications Ellen Henke (Technische Universität Dresden). Seminar Room 1, Newton Institute. Tuesday 26 July 2022, 09:00-09:50 Isaac Newton Institute Seminar Series Formal Wasm: WasmCert Isabelle and WasmCert-CoqVSO2 - Verified software Conrad Watt (University of Cambridge). Seminar Room 2, Newton Institute. Tuesday 26 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Formal Wasm: DiscussionVSO2 - Verified software . Discussion Room, Newton Institute. Monday 25 July 2022, 17:00-17:30 Isaac Newton Institute Seminar Series Counting (tropical) curvesKAH2 - K-theory, algebraic cycles and motivic homotopy theory Tim Gräfnitz (University of Cambridge). Seminar Room 2, Newton Institute. Monday 25 July 2022, 16:30-17:30 Isaac Newton Institute Seminar Series Local Systems and Simple Groups IIGR2W02 - Simple groups, representations and applications Pham Tiep (Rutgers, The State University of New Jersey). Seminar Room 1, Newton Institute. Monday 25 July 2022, 16:00-16:50 Isaac Newton Institute Seminar Series The log-local-open CorrespondenceKAH2 - K-theory, algebraic cycles and motivic homotopy theory Yannik Schüler (University of Sheffield). Seminar Room 2, Newton Institute. Monday 25 July 2022, 16:00-16:30 Isaac Newton Institute Seminar Series Effect Handlers for WebAssembly: Sam LindleyVSO2 - Verified software . Seminar Room 2, Newton Institute. Monday 25 July 2022, 15:00-15:30 Isaac Newton Institute Seminar Series Local Systems and Simple Groups IGR2W02 - Simple groups, representations and applications Nick Katz (Princeton University). Seminar Room 1, Newton Institute. Monday 25 July 2022, 14:30-15:20 Isaac Newton Institute Seminar Series Formal Wasm: Wasm with capability typesVSO2 - Verified software Amal Ahmed (Northeastern University). Seminar Room 2, Newton Institute. Monday 25 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Ennola duality for representations of finite reductive groupsGR2W02 - Simple groups, representations and applications Olivier Dudas (Université Denis Diderot). Seminar Room 1, Newton Institute. Monday 25 July 2022, 13:30-14:20 Isaac Newton Institute Seminar Series Formal Wasm: Lightning TalksVSO2 - Verified software . Seminar Room 2, Newton Institute. Monday 25 July 2022, 12:00-12:30 Isaac Newton Institute Seminar Series Conjugacy class numbers and pi-subgroupsGR2W02 - Simple groups, representations and applications Gunter Malle (Technische Universität Kaiserslautern). Seminar Room 1, Newton Institute. Monday 25 July 2022, 11:20-12:10 Isaac Newton Institute Seminar Series Formal Wasm: Wasm 2.0 and BeyondVSO2 - Verified software Andreas Rossberg (None / Other). Seminar Room 2, Newton Institute. Monday 25 July 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Good locally testable codesGR2W02 - Simple groups, representations and applications Alex Lubotzky (Hebrew University of Jerusalem). Seminar Room 1, Newton Institute. Monday 25 July 2022, 10:00-10:50 Isaac Newton Institute Seminar Series Model Checking: Model Checking for Hardware Design: Where do we stand?VSO2 - Verified software Ziiyad Hanna (University of Oxford). Seminar Room 2, Newton Institute. Friday 22 July 2022, 16:45-17:30 Isaac Newton Institute Seminar Series Jan Saxl Memorial Day: Wine Reception: Isaac Newton InstituteGRA2 - Groups, representations and applications: new perspectives . Friday 22 July 2022, 16:15-17:15 Isaac Newton Institute Seminar Series CloseKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes . Seminar Room 1, Newton Institute. Friday 22 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Model Checking: SMT-Based Software Model CheckingVSO2 - Verified software Dirk Beyer (Ludwig-Maximilians-Universität München). Seminar Room 2, Newton Institute. Friday 22 July 2022, 16:00-16:45 Isaac Newton Institute Seminar Series Jan Saxl Memorial Day: Exceptional Polynomials and Generation by ConjugatesGRA2 - Groups, representations and applications: new perspectives Robert Guralnick (University of Southern California). Centre for Mathematical Sciences. Friday 22 July 2022, 15:20-15:50 Isaac Newton Institute Seminar Series Model Checking: Accelerating Statistical Model Checking for COVID19VSO2 - Verified software Kim Larsen (Aalborg Universitet). Seminar Room 2, Newton Institute. Friday 22 July 2022, 15:00-15:25 Isaac Newton Institute Seminar Series Jan Saxl Memorial Day: A survey of the work of Jan SaxlGRA2 - Groups, representations and applications: new perspectives Martin Liebeck (Imperial College London). Centre for Mathematical Sciences. Friday 22 July 2022, 14:40-15:10 Isaac Newton Institute Seminar Series N. Takahashi's 3 ConjecturesKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Michel van Garrel (University of Birmingham). Seminar Room 1, Newton Institute. Friday 22 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Model checking: Neural Termination AnalysisVSO2 - Verified software Daniel Kroening (Amazon Web Services). Seminar Room 2, Newton Institute. Friday 22 July 2022, 14:15-15:00 Isaac Newton Institute Seminar Series Jan Saxl Memorial Day: Representations and tensor product growthGRA2 - Groups, representations and applications: new perspectives Pham Tiep (Rutgers, The State University of New Jersey). Centre for Mathematical Sciences. Friday 22 July 2022, 14:00-14:30 Isaac Newton Institute Seminar Series On 2-elementary K3 surfaces and string dualitiesKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Andreas Malmendier (University of Connecticut). Seminar Room 1, Newton Institute. Friday 22 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Jan Saxl Memorial Day: LunchGRA - Groups, representations and applications: new perspectives . Centre for Mathematical Sciences. Friday 22 July 2022, 12:10-14:00 Isaac Newton Institute Seminar Series Model Checking: Around verification: Explaining specifications and outputs of the model checker.VSO2 - Verified software Hana Chockler (King's College London). Seminar Room 2, Newton Institute. Friday 22 July 2022, 12:00-12:45 Isaac Newton Institute Seminar Series Jan Saxl Memorial Day: Fifty years around Jan: Some history and some mathematicsGRA2 - Groups, representations and applications: new perspectives Peter Cameron (University of St Andrews). Centre for Mathematical Sciences. Friday 22 July 2022, 11:40-12:10 Isaac Newton Institute Seminar Series Frobenius constants for families of elliptic curvesKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Bidisha Roy (Polish Academy of Sciences). Seminar Room 1, Newton Institute. Friday 22 July 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Model Checking: Parameter Synthesis in Probabilistic ModelsVSO2 - Verified software Joost-Pieter Katoen (RWTH Aachen University). Seminar Room 2, Newton Institute. Friday 22 July 2022, 11:15-12:00 Isaac Newton Institute Seminar Series Jan Saxl Memorial Day: On a result of Rodgers and SaxlGRA2 - Groups, representations and applications: new perspectives Nick Gill (The Open University). Centre for Mathematical Sciences. Friday 22 July 2022, 10:40-11:10 Isaac Newton Institute Seminar Series Model Checking: Using Model Checking Tools to Triage the Severity of Security Bugs in Xen HypervisorVSO2 - Verified software Elizabeth Polgreen (University of Edinburgh). Seminar Room 2, Newton Institute. Friday 22 July 2022, 10:15-11:00 Isaac Newton Institute Seminar Series Degenerations, fibrations and higher rank Landau-Ginzburg modelsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Fenglong You (University of Oslo). Seminar Room 1, Newton Institute. Friday 22 July 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Jan Saxl Memorial Day: The pleasure of working with Jan SaxlGRA2 - Groups, representations and applications: new perspectives Cheryl Praeger (University of Western Australia). Centre for Mathematical Sciences. Friday 22 July 2022, 10:00-10:30 Isaac Newton Institute Seminar Series Model Checking: Reasoning about Parameterized Loop Programs sans Loop InvariantsVSO2 - Verified software Supratik Chakraborty (Indian Institute of Technology). Seminar Room 2, Newton Institute. Friday 22 July 2022, 09:30-10:15 Isaac Newton Institute Seminar Series Integrality of instanton numbersKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Masha Vlasenko (Polish Academy of Sciences). Seminar Room 1, Newton Institute. Friday 22 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Coffee at Isaac Newton Institute: Jan Saxl MemorialGRA2 - Groups, representations and applications: new perspectives . Friday 22 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Unwinding the Gelfand—Cetlin toric degeneration on the mirrorKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Elana Kalashnikov (University of Waterloo). Seminar Room 1, Newton Institute. Thursday 21 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Algorithms for matrix groups: success, failure, challengeGRA2 - Groups, representations and applications: new perspectives Eamonn O'Brien (University of Auckland). Seminar Room 2, Newton Institute. Thursday 21 July 2022, 16:00-17:00 Computer Laboratory Systems Research Group Seminar cISP: A Speed-of-Light Internet Service ProviderBrighten Godfrey, UIUC and VMware. https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09. Thursday 21 July 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Hanging gardens and divisors from AdinkrasKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Amanda Francis (American Mathematical Society). Seminar Room 1, Newton Institute. Thursday 21 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Rust VerificationVSO2 - Verified software Jacques-Henri Jourdan (CNRS (Centre national de la recherche scientifique)). Seminar Room 2, Newton Institute. Thursday 21 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Lawrence Barrott (Universiteit Leiden). Seminar Room 1, Newton Institute. Thursday 21 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Rust VerificationVSO2 - Verified software Vytautas Astrauskas . Seminar Room 2, Newton Institute. Thursday 21 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series From Feynman Amplitudes to multiple L-valuesKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Xiaohua Ai (Vodafone). Seminar Room 1, Newton Institute. Thursday 21 July 2022, 11:15-12:15 Isaac Newton Institute Seminar Series K_2 and quantum curvesKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Matt Kerr (Washington University in St. Louis). Seminar Room 1, Newton Institute. Thursday 21 July 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Rationality of MUMs and 2-functionsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Johannes Walcher (Universität Heidelberg). Seminar Room 1, Newton Institute. Thursday 21 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Formal Dinner at Emmanuel College. Wednesday 20 July 2022, 19:30-22:00 Isaac Newton Institute Seminar Series Michael Greenberg - Teaching Discrete Mathematics to Early Undergraduates using CoqVSO2 - Verified software . Seminar Room 2, Newton Institute. Wednesday 20 July 2022, 17:00-17:30 Isaac Newton Institute Seminar Series Software Foundations, 15 years onVSO2 - Verified software Benjamin Pierce (University of Pennsylvania). Seminar Room 2, Newton Institute. Wednesday 20 July 2022, 16:30-17:00 Isaac Newton Institute Seminar Series Modularity of Calabi-Yau VarietiesKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Noriko Yui (Queen's University, Canada). Seminar Room 1, Newton Institute. Wednesday 20 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Ralph-Johan BackVSO2 - Verified software . Seminar Room 2, Newton Institute. Wednesday 20 July 2022, 16:00-16:30 Isaac Newton Institute Seminar Series Mentorship for Formal MethodsVSO2 - Verified software Ruzica Piskac (Yale University). Seminar Room 2, Newton Institute. Wednesday 20 July 2022, 15:30-16:00 Navigating the maze: transport through intracellular tubule networksProf Elena Koslover, UC San Diego. MR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Wednesday 20 July 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Hyperelliptic curves and planar 2-loop Feynman graphsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Andrew Harder (Lehigh University). Seminar Room 1, Newton Institute. Wednesday 20 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Teaching Mechanized SemanticsVSO2 - Verified software Xavier Leroy (Collège de France). Seminar Room 2, Newton Institute. Wednesday 20 July 2022, 14:30-15:00 Monochromatic products and sums in N and QMatthew Bowen (McGill). MR12. Wednesday 20 July 2022, 14:00-15:00 Monochromatic products and sums in N and QMatthew Bowen (McGill). MR12. Wednesday 20 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Tim Nelson - Getting Students to PropertiesVSO2 - Verified software . Seminar Room 2, Newton Institute. Wednesday 20 July 2022, 14:00-14:30 Isaac Newton Institute Seminar Series Twisted derived equivalences and string theory dualities with B-fieldKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Jonathan Rosenberg (University of Maryland, College Park). Seminar Room 1, Newton Institute. Wednesday 20 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Bob Harper - Principles of Programming Languages at CMUVSO2 - Verified software . Seminar Room 2, Newton Institute. Wednesday 20 July 2022, 13:30-14:00 Isaac Newton Institute Seminar Series TBAKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Daniel Kaplan (Universiteit Hasselt). Seminar Room 1, Newton Institute. Wednesday 20 July 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Diagonal pencils and Hasse-Witt invariantsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Ursula Whitcher (American Mathematical Society). Seminar Room 1, Newton Institute. Wednesday 20 July 2022, 10:30-11:00 Isaac Newton Institute Seminar Series Diagonal pencils and Hasse-Witt invariantsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Adriana Salerno (National Science Foundation). Seminar Room 1, Newton Institute. Wednesday 20 July 2022, 10:00-10:30 Isaac Newton Institute Seminar Series The Aomoto polylogarithm via iterated integralsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Herbert Gangl (Durham University). Seminar Room 1, Newton Institute. Wednesday 20 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Noncommutative Riemann hypothesisKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Goncalo Tabuada (University of Warwick). Seminar Room 1, Newton Institute. Tuesday 19 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Cluster varieties, amplitude symbols, and mutation invariants.KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Dani Kaufman (University of Copenhagen). Seminar Room 1, Newton Institute. Tuesday 19 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Cluster dualities and superpotentials for GrassmannianKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Man Wai Cheung (Institute for the Physics and Mathematics of the Universe (IPMU)). Seminar Room 1, Newton Institute. Tuesday 19 July 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Calculating with fusion system and a couple of speculationsGRA2 - Groups, representations and applications: new perspectives Chris Parker (University of Birmingham). Seminar Room 2, Newton Institute. Tuesday 19 July 2022, 10:15-11:15 Isaac Newton Institute Seminar Series Open mirror symmetry for Landau-Ginzburg modelsKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Tyler Kelly (University of Birmingham). Seminar Room 1, Newton Institute. Tuesday 19 July 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Welcome TalkKA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes Christie Marr (Isaac Newton Institute). Seminar Room 1, Newton Institute. Tuesday 19 July 2022, 09:55-10:00 Isaac Newton Institute Seminar Series Absorbing conditions for dispersive equationsHYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves Pascal Noble (Université de Toulouse). Seminar Room 2, Newton Institute. Tuesday 19 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Synthesis United: Live SynthesisVSO2 - Verified software . Discussion Room, Newton Institute. Monday 18 July 2022, 16:30-17:00 Isaac Newton Institute Seminar Series Panel DiscussionHY2W06 - Women in dispersive equations day . Seminar Room 1, Newton Institute. Monday 18 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Simplices in the Calabi-Yau webKAH2 - K-theory, algebraic cycles and motivic homotopy theory Will Donovan (Tsinghua University). Seminar Room 2, Newton Institute. Monday 18 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Synthesis United: Linear Temporal Logic: From Infinite to Finite HorizonVSO2 - Verified software Moshe Vardi (Rice University). Discussion Room, Newton Institute. Monday 18 July 2022, 15:30-16:30 Isaac Newton Institute Seminar Series Interaction Dynamics of Singular Wave Fronts Computed by Particle MethodsHY2W06 - Women in dispersive equations day Alina Chertock (North Carolina State University). Seminar Room 1, Newton Institute. Monday 18 July 2022, 15:00-15:30 Isaac Newton Institute Seminar Series Dark Structures on a Torus for the Nonlinear Schrodinger ModelHY2W06 - Women in dispersive equations day Jennie D'ambroise (SUNY Old Westbury). Seminar Room 1, Newton Institute. Monday 18 July 2022, 14:30-15:00 Isaac Newton Institute Seminar Series Synthesis United: Reactive Synthesis modulo Theories Benedikt MaderbacherVSO2 - Verified software . Seminar Room 2, Newton Institute. Monday 18 July 2022, 14:30-15:00 Isaac Newton Institute Seminar Series Synthesis United: Can reactive synthesis and syntax-guided synthesis be friends? - Mark SantolucitoVSO2 - Verified software . Seminar Room 2, Newton Institute. Monday 18 July 2022, 13:45-14:30 Isaac Newton Institute Seminar Series Stokes waves are unstableHY2W06 - Women in dispersive equations day Vera Mikyoung Hur (University of Illinois at Urbana-Champaign). Seminar Room 1, Newton Institute. Monday 18 July 2022, 13:30-14:30 Covariant Hydrodynamics of Membranes and Nematic SurfacesDr. Sami Al-Izzi (Postdoctoral Fellow, EMBL-Australia Node in Single Molecule Science and School of Physics, UNSW). MR9, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Monday 18 July 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Synthesis United: Boolean Functional Synthesis: Some Recent AdvancesVSO2 - Verified software Supratik Chakraborty (Indian Institute of Technology). Seminar Room 2, Newton Institute. Monday 18 July 2022, 13:00-13:45 Isaac Newton Institute Seminar Series Complex nonlinear wave dynamics in ultrafast fibre lasers and their intelligent controlHY2W06 - Women in dispersive equations day Sonia Boscolo (Aston University). Seminar Room 1, Newton Institute. Monday 18 July 2022, 12:00-12:30 Isaac Newton Institute Seminar Series On the extended KdV equation and near-identity transformations for strain wavesHY2W06 - Women in dispersive equations day Karima Khusnutdinova (Loughborough University). Seminar Room 1, Newton Institute. Monday 18 July 2022, 11:30-12:00 Isaac Newton Institute Seminar Series Random matrix models, integrable lattices and thermodynamic limitHY2W06 - Women in dispersive equations day Costanza Benassi (Northumbria University). Seminar Room 1, Newton Institute. Monday 18 July 2022, 10:30-11:00 Isaac Newton Institute Seminar Series Reactive Synthesis tutorialVSO2 - Verified software Roderick Bloem (Graz University of Technology). Seminar Room 2, Newton Institute. Monday 18 July 2022, 10:30-12:00 Isaac Newton Institute Seminar Series The soliton vs. the gas: Fredholm determinants, analysis and finer detailsHY2W06 - Women in dispersive equations day Manuela Girotti (Saint Mary's University). Seminar Room 1, Newton Institute. Monday 18 July 2022, 10:00-10:30 Isaac Newton Institute Seminar Series Rigorous Asymptotics of the KdV Steplike SolutionsHY2W06 - Women in dispersive equations day Iryna Egorova (B. Verkin Institute for Low Temperature Physics and Engineering). Seminar Room 1, Newton Institute. Monday 18 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Welcome TalkHY2W06 - Women in dispersive equations day Christie Marr (Isaac Newton Institute). Seminar Room 1, Newton Institute. Monday 18 July 2022, 08:55-09:00 Computer Laboratory Security Seminar Mapping the Geography of Cybercrime - findings from an expert surveyMiranda Bruce, University of Oxford. Webinar & FW11, Computer Laboratory, William Gates Building.. Friday 15 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Dispersive Riemann problem for the Benjamin-Bona-Mahony equationHY2W01 - Modulation theory and dispersive shock waves Thibault Congy (Northumbria University). Seminar Room 1, Newton Institute. Friday 15 July 2022, 15:00-15:30 Isaac Newton Institute Seminar Series Stability of waves on fluid of infinite depth with constant vorticityHY2W01 - Modulation theory and dispersive shock waves Emilian I Parau (University of East Anglia). Seminar Room 1, Newton Institute. Friday 15 July 2022, 14:30-15:00 Isaac Newton Institute Seminar Series About plane periodic waves of the nonlinear Schrödinger equationsHY2W01 - Modulation theory and dispersive shock waves L. Miguel Rodrigues (Université de Rennes 1). Seminar Room 1, Newton Institute. Friday 15 July 2022, 14:00-14:30 Isaac Newton Institute Seminar Series Stattic Analysis (Barthe)VSO2 - Verified software . Seminar Room 2, Newton Institute. Friday 15 July 2022, 13:30-15:00 Isaac Newton Institute Seminar Series Dispersive shock waves and traveling wave solutions of fifth-order KdV equationsHY2W01 - Modulation theory and dispersive shock waves Patrick Sprenger (University of Cambridge). Seminar Room 1, Newton Institute. Friday 15 July 2022, 11:30-12:00 Isaac Newton Institute Seminar Series Numerical Study of DSWs in Korteweg-de Vries and nonlinear Schrödinger equationsHY2W01 - Modulation theory and dispersive shock waves Christian Klein (Université de Bourgogne). Seminar Room 1, Newton Institute. Friday 15 July 2022, 11:00-11:30 Isaac Newton Institute Seminar Series Integrable systems of the intermediate long wave type in 2 + 1 dimensionsHY2W01 - Modulation theory and dispersive shock waves Maxim Pavlov (Lebedev Physical Institute). Seminar Room 1, Newton Institute. Friday 15 July 2022, 10:30-11:00 Isaac Newton Institute Seminar Series Static AnalysisVSO2 - Verified software . Seminar Room 2, Newton Institute. Friday 15 July 2022, 10:30-12:00 Isaac Newton Institute Seminar Series Modulation equations revisitedHY2W01 - Modulation theory and dispersive shock waves Sylvie Benzoni-Gavage (Université Claude Bernard Lyon 1). Seminar Room 1, Newton Institute. Friday 15 July 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Dynamics of a regularized and bistable Ericksen bar using an extended Lagrangian approachHY2W01 - Modulation theory and dispersive shock waves Bruno Lombard (Laboratoire de Mécanique et d’Acoustique). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 16:30-17:00 Isaac Newton Institute Seminar Series An introduction to the theory of localitiesGRA2 - Groups, representations and applications: new perspectives Ellen Henke (Technische Universität Dresden). Seminar Room 2, Newton Institute. Thursday 14 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Statistical properties and giant fluctuations for laser beam propagating in a turbulent mediumHY2W01 - Modulation theory and dispersive shock waves Pavel Lushnikov (University of New Mexico). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 16:00-16:30 Isaac Newton Institute Seminar Series Initial-boundary value problems for Boussinesq-type systemsHY2W01 - Modulation theory and dispersive shock waves Dionyssis Mantzavinos (University of Kansas). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 15:00-15:30 Isaac Newton Institute Seminar Series Weakly nonlinear shoaling of tsunami: the phenomenon of self-induced transparencyHY2W01 - Modulation theory and dispersive shock waves Victor Shrira (Keele University). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 14:30-15:00 Isaac Newton Institute Seminar Series p-adic Hodge theory and Chow groups of Calabi-Yau 3-foldsKAH2 - K-theory, algebraic cycles and motivic homotopy theory Wayne Raskind (Wayne State University). Seminar Room 2, Newton Institute. Thursday 14 July 2022, 14:30-15:30 Image Quality Metrics at the Time of Deep LearningThe talk can also be attended via zoom. Join Zoom Meeting https://cl-cam-ac-uk.zoom.us/j/92211133320?pwd=dHJqR3lnYzNCN0ZxYnIzRUNZUnRMdz09 ID: 92211133320 passcode: 054090 Francesco Banterle, Visual Computing Lab, ISTI-CNR, Italy. SS03. Thursday 14 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Wave Breaking in Undular BoresHY2W01 - Modulation theory and dispersive shock waves Henrik Kalisch (Universitetet i Bergen). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 14:00-14:30 MRC Biostatistics Unit Seminars BSU Seminar: "Challenges in risk prediction using routinely collected health data"This will be a free online seminar. To register, click here: https://us02web.zoom.us/meeting/register/tZEkdOupqDspHtK1D30gXlBykdbIvLV8DMdH Dr Elizabeth Williamson, London School of Hygiene and Tropical Medicine . Thursday 14 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Dispersive Shock Waves in Lattices: A Dimension Reduction ApproachHY2W01 - Modulation theory and dispersive shock waves Christopher Chong (Bowdoin College). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 11:30-12:00 Isaac Newton Institute Seminar Series Reductions of (2+1) and (3+1) Dimensional Kadomtsev- Petviashvili Type Equations and Dispersive Shock WavesHY2W01 - Modulation theory and dispersive shock waves Ali Demirci (Instanbul Technical University). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 11:00-11:30 Isaac Newton Institute Seminar Series Non-integrable KdV-like models: solitons, breathers, compactons and rogue wavesHY2W01 - Modulation theory and dispersive shock waves Efim Pelinovsky (None / Other). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 10:30-11:00 Isaac Newton Institute Seminar Series Dispersive shock wave of the KP equationHY2W01 - Modulation theory and dispersive shock waves Yuji Kodama (Ohio State University). Seminar Room 1, Newton Institute. Thursday 14 July 2022, 09:00-10:00 Statistics Clinic Summer 2022 IThe clinic takes place in MR2 at the Centre for Mathematical Sciences. Speaker to be confirmed. Wednesday 13 July 2022, 16:30-18:00 Isaac Newton Institute Seminar Series Free resolutions from opposite Schubert varieties in minuscule homogeneous spacesKAH2 - K-theory, algebraic cycles and motivic homotopy theory Sara Angela Filippini (Jagiellonian University). Seminar Room 2, Newton Institute. Wednesday 13 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Verified Software Toolchains: Towards algebraic foundations for alignmentVSO2 - Verified software David Naumann (Stevens Institute of Technology). Seminar Room 2, Newton Institute. Wednesday 13 July 2022, 15:00-15:45 Isaac Newton Institute Seminar Series Verified Software Toolchains: Separation is all you need - Foundations for Modular Verification of Realistic Concurrent ProgramsVSO2 - Verified software Ralf Jung (Massachusetts Institute of Technology). Seminar Room 2, Newton Institute. Wednesday 13 July 2022, 14:00-14:50 Isaac Newton Institute Seminar Series Verified Software Toolchains: Fiat-CryptographyVSO2 - Verified software Adam Chlipala (Massachusetts Institute of Technology). Seminar Room 2, Newton Institute. Wednesday 13 July 2022, 13:30-14:00 Cambridge Centre for Data-Driven Discovery (C2D3) An Introduction to Data and CommercialisationCambridge Enterprise: Dr Terry Parlett, Dr Emma Salgård Cunha and Dr Sian Fogden. Wednesday 13 July 2022, 12:00-13:30 Isaac Newton Institute Seminar Series Generalized Rankine -- Hugoniot relations for shocks in dispersive mediaHY2W01 - Modulation theory and dispersive shock waves Sergey Gavrilyuk (Aix Marseille Université). Seminar Room 1, Newton Institute. Wednesday 13 July 2022, 11:30-12:00 Isaac Newton Institute Seminar Series Verified Software Toolchains: Foundational verification of C programs using VSTVSO2 - Verified software Lennart Beringer (Princeton University). Seminar Room 2, Newton Institute. Wednesday 13 July 2022, 11:15-12:00 Isaac Newton Institute Seminar Series Modulation Instability of undular bores in Whitham-Boussinesq systems and revealing characteristics of Stokes wave trains and solitary waves associated with these systems.HY2W01 - Modulation theory and dispersive shock waves Rosa Vargas-Magana (Universidad Nacional Autonoma de Mexico (UNAM)). Seminar Room 1, Newton Institute. Wednesday 13 July 2022, 11:00-11:30 Isaac Newton Institute Seminar Series Verified Software Toolchains: CN: A separation logic refinement type system for CVSO2 - Verified software Dhruv Makwana (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 13 July 2022, 10:45-11:15 Isaac Newton Institute Seminar Series Transition fronts and their universality classesHY2W01 - Modulation theory and dispersive shock waves Anna Vainchtein (University of Pittsburgh). Seminar Room 1, Newton Institute. Wednesday 13 July 2022, 10:30-11:00 Isaac Newton Institute Seminar Series Verified Software Toolchains: Islaris: Verification of Machine Code Against Authoritative ISA SemanticsVSO2 - Verified software Angus Hammond (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 13 July 2022, 10:15-10:45 Isaac Newton Institute Seminar Series The Mirror Clemens-Schmid SequenceKAH2 - K-theory, algebraic cycles and motivic homotopy theory Alan Thompson (Loughborough University). Seminar Room 2, Newton Institute. Tuesday 12 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Soliton fission and solitonic turbulence for shallow water waves: a numerical study with different modelsHY2W01 - Modulation theory and dispersive shock waves Michel Benoit (Electricté de France). Seminar Room 1, Newton Institute. Tuesday 12 July 2022, 15:00-15:30 Isaac Newton Institute Seminar Series Large mode-2 internal solitary waves in three-layer flowsHY2W01 - Modulation theory and dispersive shock waves Ricardo Barros (Loughborough University). Seminar Room 1, Newton Institute. Tuesday 12 July 2022, 14:30-15:00 Isaac Newton Institute Seminar Series Dispersive shock waves in coastal flowsHY2W01 - Modulation theory and dispersive shock waves Ted Johnson (University College London). Seminar Room 1, Newton Institute. Tuesday 12 July 2022, 14:00-14:30 Claim-Dissector: An Interpretable Fact-Checking System with Joint Re-ranking and Veracity PredictionMartin Fajčík ( Brno University of Technology ). Tuesday 12 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Modulation of short surface waves by long internal wavesHY2W01 - Modulation theory and dispersive shock waves Wooyoung Choi (New Jersey Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 12 July 2022, 11:30-12:00 Isaac Newton Institute Seminar Series A recursive formula for plethysm coefficients and some applicationsGRA2 - Groups, representations and applications: new perspectives Stacey Law (University of Cambridge). Seminar Room 2, Newton Institute. Tuesday 12 July 2022, 11:15-12:15 Isaac Newton Institute Seminar Series On surface and internal ring waves on currents: dispersive hydrodynamics in 3DHY2W01 - Modulation theory and dispersive shock waves Karima Khusnutdinova (Loughborough University). Seminar Room 1, Newton Institute. Tuesday 12 July 2022, 11:00-11:30 Isaac Newton Institute Seminar Series Three-dimensional internal waves in the lower atmosphereHY2W01 - Modulation theory and dispersive shock waves Xudan Luo (Chinese Academy of Sciences). Seminar Room 1, Newton Institute. Tuesday 12 July 2022, 10:30-11:00 Isaac Newton Institute Seminar Series Modulated Waves in Electrodynamics and Optics. Historical PerspectiveHY2W01 - Modulation theory and dispersive shock waves Lev Ostrovsky (University of Colorado Boulder). Seminar Room 1, Newton Institute. Monday 11 July 2022, 16:30-17:00 Isaac Newton Institute Seminar Series Modulation theory in two-component Bose-Einstein condensates: the ferromagnetic paradigmHY2W01 - Modulation theory and dispersive shock waves Nicolas Pavloff (Université Paris-Saclay). Seminar Room 1, Newton Institute. Monday 11 July 2022, 16:00-16:30 Isaac Newton Institute Seminar Series Néron models of generalized JacobiansKAH2 - K-theory, algebraic cycles and motivic homotopy theory Anthony Scholl (University of Cambridge). Seminar Room 2, Newton Institute. Monday 11 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series The hydrodynamics of soliton gasesHY2W01 - Modulation theory and dispersive shock waves Benjamin Doyon (King's College London). Seminar Room 1, Newton Institute. Monday 11 July 2022, 15:00-15:30 Isaac Newton Institute Seminar Series Linearisable Abel equations and the Gurevich-Pitaevskii problemHY2W01 - Modulation theory and dispersive shock waves Stanislav Opanasenko (Loughborough University). Seminar Room 1, Newton Institute. Monday 11 July 2022, 14:30-15:00 Seminars on Quantitative Biology @ CRUK Cambridge Institute Combining multi-omics and biological knowledge to extract disease mechanismsPlease contact Ciara for further details Julio Saez-Rodriguez, Faculty of Medicine of Heidelberg University, Director of the Institute of Computational Biomedicine and Group Leader at the EMBL- Heidelberg University Molecular Medicine Partnership Unit (MMPU). Monday 11 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Modulational Stability for Equations of Whitham TypeHY2W01 - Modulation theory and dispersive shock waves Wesley Perkins (Lehigh University). Seminar Room 1, Newton Institute. Monday 11 July 2022, 14:00-14:30 Isaac Newton Institute Seminar Series Verified Machine LearningVSO2 - Verified software . Seminar Room 2, Newton Institute. Monday 11 July 2022, 13:30-15:00 Isaac Newton Institute Seminar Series Frequency Downshifting: A Dispersive Whitham PerspectiveHY2W01 - Modulation theory and dispersive shock waves Daniel Ratliff (Northumbria University). Seminar Room 1, Newton Institute. Monday 11 July 2022, 11:30-12:00 Isaac Newton Institute Seminar Series Verified Machine LearningVSO2 - Verified software . Seminar Room 2, Newton Institute. Monday 11 July 2022, 10:30-12:00 Isaac Newton Institute Seminar Series Whitham modulation theory and water wavesHY2W01 - Modulation theory and dispersive shock waves Thomas Bridges (University of Surrey). Seminar Room 1, Newton Institute. Monday 11 July 2022, 10:00-11:00 Isaac Newton Institute Seminar Series CN: A separation-logic refinement type system for production systems code verificationVS2W01 - Vistas in Verified Software Neel Krishnaswami (University of Cambridge). Seminar Room 1, Newton Institute. Friday 08 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series A soliton gas versus a solitonHYD2 - Dispersive hydrodynamics: mathematics, simulation and experiments, with applications in nonlinear waves Tamara Grava (SISSA). Seminar Room 2, Newton Institute. Friday 08 July 2022, 15:00-16:30 Isaac Newton Institute Seminar Series TBAVS2W01 - Vistas in Verified Software Thomas Henzinger (IST Austria). Seminar Room 1, Newton Institute. Friday 08 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Interpreters for FreeVS2W01 - Vistas in Verified Software Philip Wadler (University of Edinburgh). Seminar Room 1, Newton Institute. Friday 08 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Automatic Detecting Billion $ Coding Errors with Static Program AnalysisVS2W01 - Vistas in Verified Software Mooly Sagiv (Tel Aviv University). Seminar Room 1, Newton Institute. Friday 08 July 2022, 11:00-12:00 CUED Computer Vision Research Seminars Synthetics with Digital HumansDr. Erroll Wood (Staff Software Engineer at Google). Friday 08 July 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Static Analysis for Data ScientistsVS2W01 - Vistas in Verified Software Caterina Urban (INRIA). Seminar Room 1, Newton Institute. Friday 08 July 2022, 09:30-10:30 Isaac Newton Institute Seminar Series Unisingular irreducible representations of finite groups of Lie type in the natural characteristicGRA2 - Groups, representations and applications: new perspectives Alexandre Zalesski (University of East Anglia). Seminar Room 2, Newton Institute. Thursday 07 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Contributed TalksVS2W01 - Vistas in Verified Software . Seminar Room 1, Newton Institute. Thursday 07 July 2022, 16:00-17:00 Computer Laboratory Systems Research Group Seminar Building trustworthy multi-party systems in the cloud (without handling over the keys to the kingdom)Heidi Howard, Microsoft Research. FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09. Thursday 07 July 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Vistas in Proof-oriented Programming: F*, Everest, and BeyondVS2W01 - Vistas in Verified Software Nikhil Swamy (Microsoft (USA)). Seminar Room 1, Newton Institute. Thursday 07 July 2022, 14:30-15:30 Normalization in the integral models of Shimura varieties of Hodge (abelian) typeYujie Xu (Harvard University). Centre for Mathematical Sciences, MR13. Thursday 07 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Wrestling with real systemsVS2W01 - Vistas in Verified Software Peter Sewell (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 07 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series In Defense of Software Testing & On Techniques for Continuous TestingVS2W01 - Vistas in Verified Software Cristian Cadar (Imperial College London). Seminar Room 1, Newton Institute. Thursday 07 July 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Cooperative Software Verification: Combination Approaches that Share InformationVS2W01 - Vistas in Verified Software Dirk Beyer (Ludwig-Maximilians-Universität München). Seminar Room 1, Newton Institute. Thursday 07 July 2022, 09:30-10:30 Isaac Newton Institute Seminar Series The business of proofVS2W01 - Vistas in Verified Software Byron Cook (Amazon). Seminar Room 1, Newton Institute. Wednesday 06 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Syntomic complexes of regular schemesKAH2 - K-theory, algebraic cycles and motivic homotopy theory Akhil Mathew (University of Chicago). Seminar Room 2, Newton Institute. Wednesday 06 July 2022, 16:00-17:00 Identifying sources of transmission for zoonotic mosquito-borne virusesDr Jennifer Lord, Department of Vector Biology Liverpool School of Tropical Medicine. Zoom. Wednesday 06 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series TBAVS2W01 - Vistas in Verified Software Sergey Bratus (Defense Advanced Research Projects Agency (DARPA)). Seminar Room 1, Newton Institute. Wednesday 06 July 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Abstract nested Hoare triples for modular specification of safety and liveness properties of the I/O behaviour of programsVS2W01 - Vistas in Verified Software Bart Jacobs (KU Leuven). Seminar Room 1, Newton Institute. Wednesday 06 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Verified Secure RoutingVS2W01 - Vistas in Verified Software Peter Müller (ETH Zürich). Seminar Room 1, Newton Institute. Wednesday 06 July 2022, 11:00-12:00 Machine Learning Reading Group @ CUED The unreasonable effectiveness of mathematics in large scale deep learningGreg Yang, Microsoft Research. Cambridge University Engineering Department, CBL Seminar room BE4-38. Wednesday 06 July 2022, 11:00-12:30 Isaac Newton Institute Seminar Series Formally Verifed Numerical MethodsVS2W01 - Vistas in Verified Software Andrew Appel (Princeton University). Seminar Room 1, Newton Institute. Wednesday 06 July 2022, 09:30-10:30 Isaac Newton Institute Seminar Series Bloch-Kato Conjectures and Rational Points on CurvesKAH2 - K-theory, algebraic cycles and motivic homotopy theory David Corwin (Ben-Gurion University). Seminar Room 2, Newton Institute. Tuesday 05 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Verifying a Virtualization Stack at BedRock SystemsVS2W01 - Vistas in Verified Software Gregory Malecha (Bed Rock Systems). Seminar Room 1, Newton Institute. Tuesday 05 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Program Verification: a 70+-Year HistoryVS2W01 - Vistas in Verified Software Moshe Vardi (Rice University). Seminar Room 1, Newton Institute. Tuesday 05 July 2022, 14:30-15:30 MRC Biostatistics Unit Seminars BSU Seminar: "Design and Inference for Enrichment Trials with a Continuous Biomarker"This will be a hybrid seminar. If you would like to attend virtually, please register for free here - https://us02web.zoom.us/meeting/register/tZErduCprzwiEtQhPshDBMXcqhwlvdZtp_IP Prof William Rosenberger, George Mason University. Seminar Room 12, School of Clinical Medicine, Hills Rd, Cambridge CB2 0SP. Tuesday 05 July 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Extracting a certified OCaml library from Coq.VS2W01 - Vistas in Verified Software Timothy Griffin (University of Cambridge), Mukesh Tiwari (University of Cambridge). Seminar Room 1, Newton Institute. Tuesday 05 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series The soluble graph of a finite groupGRA2 - Groups, representations and applications: new perspectives Tim Burness (University of Bristol). Seminar Room 2, Newton Institute. Tuesday 05 July 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Network Verification for Azure ReliabilityVS2W01 - Vistas in Verified Software Andrey Rybalchenko (Microsoft (UK)). Seminar Room 1, Newton Institute. Tuesday 05 July 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Experiments with Concurrent Kleene AlgebraVS2W01 - Vistas in Verified Software Bernhard Möller (Universität Augsburg). Seminar Room 1, Newton Institute. Tuesday 05 July 2022, 09:30-10:30 Artificial Intelligence Research Group Talks (Computer Laboratory) The Problem of Size Generalization in Graph Neural NetworksRecording: https://www.youtube.com/watch?v=W4jNbgtBl_k Davide Buffelli , Universita' di Padova. Monday 04 July 2022, 17:00-18:00 Isaac Newton Institute Seminar Series PanelVS2W01 - Vistas in Verified Software . Seminar Room 1, Newton Institute. Monday 04 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Bott’s residue formula in A1-enumerative geometryKAH2 - K-theory, algebraic cycles and motivic homotopy theory Sabrina Pauli (Universität Duisburg-Essen). Seminar Room 2, Newton Institute. Monday 04 July 2022, 16:00-17:00 Isaac Newton Institute Seminar Series TBAVS2W01 - Vistas in Verified Software David Basin (ETH Zürich). Seminar Room 1, Newton Institute. Monday 04 July 2022, 14:30-15:30 Causal Inference Reading Group Causal de Finetti: On the Identification of Invariant Causal Structure in Exchangeable DataSiyuan Guo (University of Cambridge). MR12, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Monday 04 July 2022, 13:30-15:00 Isaac Newton Institute Seminar Series TBAVS2W01 - Vistas in Verified Software Philippa Gardner (Imperial College London). Seminar Room 1, Newton Institute. Monday 04 July 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Stainless as a Verifying CompilerVS2W01 - Vistas in Verified Software Viktor Kuncak (EPFL - Ecole Polytechnique Fédérale de Lausanne). Seminar Room 1, Newton Institute. Monday 04 July 2022, 11:15-12:15 Isaac Newton Institute Seminar Series TBAVS2W01 - Vistas in Verified Software Daniel Kroening (University of Oxford). Seminar Room 1, Newton Institute. Monday 04 July 2022, 10:00-11:00 Quantum machine learning from a theoretical perspectiveRonald de Wolf (QuSoft, CWI and University of Amsterdam). Zoom: https://maths-cam-ac-uk.zoom.us/j/99470224885?pwd=Uk9SbGhhNmFVWnVLQnB6Q0h4TWtXZz09. Friday 01 July 2022, 14:00-15:15 Engineering Department Bio- and Micromechanics Seminars Architected Materials Beyond the Laboratory: harnessing self-architecture and exploring extreme conditionsCarlos M Portela, MIT. LR5. Friday 01 July 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Growth in groups and CFSG-free proofsGRA2 - Groups, representations and applications: new perspectives Laszlo Pyber (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences). Seminar Room 1, Newton Institute. Thursday 30 June 2022, 16:00-17:00 Computer Laboratory Systems Research Group Seminar Trustworthy Digital Identity - Systems ArchitectureJon Crowcroft, CL and Turing institute. https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09. Thursday 30 June 2022, 15:00-16:00 Controlling imperfect robot swarmsHector Garcia de Marina, Universidad de Granada. Baker Building - Board Room, Department of Engineering / Online (Zoom). Thursday 30 June 2022, 14:00-15:00 A Comparative Study on the Loss Functions for Image Enhancement NetworksAamir Mustafa, University of Cambridge. William Gates Building, Level 2 (Rainbow Corridor), Seminar Room: SS03. Thursday 30 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series From the order of vanishing of $L$-function of elliptic curves to the universal main conjecture for eigencuspforms and backKAH2 - K-theory, algebraic cycles and motivic homotopy theory Olivier Fouquet (Université de Franche-Comté). Seminar Room 2, Newton Institute. Wednesday 29 June 2022, 16:00-17:00 Critical weaknesses in shielding strategies for COVID-19Cameron Smith & Kit Yates, University of Bath. Zoom. Wednesday 29 June 2022, 16:00-17:00 Machine Learning Reading Group @ CUED The role of meta-learning for few-shot classificationEleni Triantafillou, Google Brain. Cambridge University Engineering Department, CBL Seminar room BE4-38. Wednesday 29 June 2022, 11:00-12:30 Isaac Newton Institute Seminar Series Localization theorem for algebraic stacksKAH2 - K-theory, algebraic cycles and motivic homotopy theory Charanya Ravi (Max Planck Institute for Mathematics). Seminar Room 2, Newton Institute. Tuesday 28 June 2022, 16:00-17:00 Social Signals in the Wild: Multimodal Machine Learning for Human-Robot InteractionAngelica Lim (Simon Fraser University). William Gates Building, Level 2 (Rainbow Corridor), Seminar Room: SS03. Tuesday 28 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Monodromy groups of rational functionsGRA2 - Groups, representations and applications: new perspectives Michael Zieve (University of Michigan). Seminar Room 2, Newton Institute. Tuesday 28 June 2022, 11:15-12:15 Noise-Aware Differentially Private Synthetic DataAntti Honkela, University of Helsinki. Tuesday 28 June 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Motivic invariants of birational mapsKAH2 - K-theory, algebraic cycles and motivic homotopy theory Evgeny Shinder (University of Sheffield). Seminar Room 2, Newton Institute. Monday 27 June 2022, 16:00-17:00 HEP phenomenology joint Cavendish-DAMTP seminar Fabrizio Caola - Three-loop scattering amplitudes in QCDFabrizio Caola (Oxford). Friday 24 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Special values of Zeta-functions of regular schemes projective over the integersKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Stephen Lichtenbaum (Brown University). Seminar Room 1, Newton Institute. Friday 24 June 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Applications of arithmetic holonomicity theoremsKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Yunqing Tang (Princeton University). Seminar Room 1, Newton Institute. Friday 24 June 2022, 13:30-14:30 Causal Inference Reading Group Counterfactual inference in sequential experimental designRaaz Dwivedi (Harvard and MIT). MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Friday 24 June 2022, 13:30-15:00 Isaac Newton Institute Seminar Series Multiplicative properties of higher regulators via current transformsKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Paulo Lima-Filho (Texas A&M University). Seminar Room 1, Newton Institute. Friday 24 June 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Tame class field theory over local fieldsKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Amalendu Krishna (Indian Institute of Science). Seminar Room 1, Newton Institute. Friday 24 June 2022, 09:45-10:45 Isaac Newton Institute Seminar Series Fusion system, p-completed classifying spaces, loops, (co)singularity categoriesGRA2 - Groups, representations and applications: new perspectives David Benson (University of Aberdeen). Seminar Room 2, Newton Institute. Thursday 23 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Extended Period Mapping - Clay LecturerKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Phillip Griffiths (Institute for Advanced Study, Princeton). Seminar Room 1, Newton Institute. Thursday 23 June 2022, 15:00-16:00 Isaac Newton Institute Seminar Series TBAKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Gregory Pearlstein (Texas A&M University). Seminar Room 1, Newton Institute. Thursday 23 June 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Panel DiscussionTGM124 - Modelling to Support Resilience for Pandemics – Open Questions . Thursday 23 June 2022, 12:30-13:00 Isaac Newton Institute Seminar Series Talk 15 The SPI-M/SAGE Route into Policy: Reflections and Future PlanningTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Louise Dyson (University of Warwick). Thursday 23 June 2022, 12:05-12:30 Isaac Newton Institute Seminar Series Talk 14 The Post Pandemic City: Exploring Urban ResilienceTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Michael Batty (University College London). Thursday 23 June 2022, 11:40-12:05 Isaac Newton Institute Seminar Series Regulators in function fields arithmeticKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Quentin Gazda (Max Planck Institute for Mathematics). Seminar Room 1, Newton Institute. Thursday 23 June 2022, 11:35-12:15 Isaac Newton Institute Seminar Series Zagier's polylogarithm conjecture on $\zeta_F(4)$ and an explicit 4-ratioKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Steven Charlton (Universität Hamburg). Seminar Room 1, Newton Institute. Thursday 23 June 2022, 10:55-11:35 Isaac Newton Institute Seminar Series Talk 13 In-host Modelling, What’s Done at Epi Scale, Genomics and What’s Happening in ImmunologyTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Tom Finnie (UK Health Security Agency). Thursday 23 June 2022, 10:55-11:20 Isaac Newton Institute Seminar Series Talk 12 Incorporating Behaviour into Models - Challenges and QuestionsTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Edward Hill (University of Warwick). Thursday 23 June 2022, 10:30-10:55 Isaac Newton Institute Seminar Series Talk 11 Modelling for Vaccine Evolution – What Needs to be Done for Next Time?TGM124 - Modelling to Support Resilience for Pandemics – Open Questions Anna Seale (University of Warwick). Thursday 23 June 2022, 10:05-10:30 Isaac Newton Institute Seminar Series Short Introduction and Recap from YesterdayTGM124 - Modelling to Support Resilience for Pandemics – Open Questions . Thursday 23 June 2022, 10:00-10:05 Isaac Newton Institute Seminar Series Elliptic KZB equations via the universal vector extensionKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Tiago Jardim da Fonseca (Universidade Estadual de Campinas). Seminar Room 1, Newton Institute. Thursday 23 June 2022, 09:45-10:25 Isaac Newton Institute Seminar Series Gateway RAMP Final Dissemination. Thursday 23 June 2022, 09:00-17:00 Isaac Newton Institute Seminar Series Dinner at Murray Edwards CollegeTGM124 - Modelling to Support Resilience for Pandemics – Open Questions . Wednesday 22 June 2022, 19:00-19:00 Isaac Newton Institute Seminar Series Drinks Reception/NetworkingTGM124 - Modelling to Support Resilience for Pandemics – Open Questions . Wednesday 22 June 2022, 16:45-18:00 Isaac Newton Institute Seminar Series Questions and DiscussionTGM124 - Modelling to Support Resilience for Pandemics – Open Questions . Wednesday 22 June 2022, 16:15-16:45 Isaac Newton Institute Seminar Series Title and abstract tba (copy)KAH2 - K-theory, algebraic cycles and motivic homotopy theory . Seminar Room 2, Newton Institute. Wednesday 22 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Talk 10 Models for Vulnerable Settings: Hazard Assessment, Analysis and PlanningTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Ian Hall (University of Manchester). Wednesday 22 June 2022, 15:50-16:15 Isaac Newton Institute Seminar Series Talk 9 Methods for Estimating the R NumberTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Anne Cori (Imperial College London). Wednesday 22 June 2022, 15:25-15:50 Isaac Newton Institute Seminar Series Tea and Coffee BreakTGM124 - Modelling to Support Resilience for Pandemics – Open Questions . Wednesday 22 June 2022, 15:00-15:25 Isaac Newton Institute Seminar Series Talk 8 Early Days Modelling for New ThingsTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Rosalind Eggo (London School of Hygiene and Tropical Medicine). Wednesday 22 June 2022, 14:35-15:00 Isaac Newton Institute Seminar Series Talk 7 Modelling to Support Decision Making – Personal ReflectionsTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Charlotte Watts (Foreign, Commonwealth and Development Office). Wednesday 22 June 2022, 14:15-14:35 A tropical version of Donagi's n-gonal constructionFelix Röhrle, University of Frankfurt. Wednesday 22 June 2022, 14:15-15:15 Isaac Newton Institute Seminar Series Talk 6 Lessons from Zoonoses – Future Emerging Threats and How to Respond to ThemTGM124 - Modelling to Support Resilience for Pandemics – Open Questions James Wood (University of Cambridge). Wednesday 22 June 2022, 13:50-14:15 Isaac Newton Institute Seminar Series Active Brownian Particles and ChemotaxisFDE2 - Fractional differential equations Oscar de Wit (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 22 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Active Brownian Particles and chemotaxisFKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022 Oscar de Wit (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 22 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Active Brownian Particles and chemotaxisTUR - Mathematical aspects of turbulence: where do we stand? Oscar de Wit (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 22 June 2022, 13:00-14:00 Gut microbiome, cognitive function and brain structure: a multi-omics integration analysisJusheng Zheng, School of Life Sciences, Westlake University, China. Virtual (see abstract for Zoom link). Wednesday 22 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series DiscussionTGM124 - Modelling to Support Resilience for Pandemics – Open Questions . Wednesday 22 June 2022, 12:30-12:50 Isaac Newton Institute Seminar Series Talk 5 Modelling Outbreaks: Models, Data and PolicyTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Matt Keeling (University of Warwick). Wednesday 22 June 2022, 12:05-12:30 Isaac Newton Institute Seminar Series Talk 4 Mobility and Human Behaviour – Urban AnalyticsTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Fred Shone (Arup). Wednesday 22 June 2022, 11:40-12:05 Isaac Newton Institute Seminar Series Rationally Inequivalent Points on Generic HypersurfacesKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Xi Chen (University of Alberta). Seminar Room 1, Newton Institute. Wednesday 22 June 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Phase Transitions in Geophysical TurbulenceFKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022 Santiago Benavides (University of Warwick). Seminar Room 2, Newton Institute. Wednesday 22 June 2022, 11:00-12:00 Machine Learning Reading Group @ CUED Benefits and Shortcomings of AssistanceDmitrii Krasheninnikov and Lauro Langosco, University of Cambridge. Cambridge University Engineering Department, CBL Seminar room BE4-38. Wednesday 22 June 2022, 11:00-12:30 Isaac Newton Institute Seminar Series Phase Transitions in Geophysical TurbulenceTUR - Mathematical aspects of turbulence: where do we stand? Santiago Benavides (University of Warwick). Seminar Room 2, Newton Institute. Wednesday 22 June 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Phase Transitions in Geophysical Turbulence (copy)FDE2 - Fractional differential equations Santiago Benavides (University of Warwick). Seminar Room 2, Newton Institute. Wednesday 22 June 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Talk 3 Aerosols, Ventilation and the Environment: Competing Agonist-AntagonistsTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Stuart Dalziel (University of Cambridge). Wednesday 22 June 2022, 10:55-11:20 Isaac Newton Institute Seminar Series Talk 2 Dynamic Microsimulation for Epidemics – Urban AnalyticsTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Mark Birkin (University of Leeds). Wednesday 22 June 2022, 10:25-10:55 Isaac Newton Institute Seminar Series Talk 1 Background/ContextTGM124 - Modelling to Support Resilience for Pandemics – Open Questions Mike Cates (University of Cambridge), Julia Gog (University of Cambridge). Wednesday 22 June 2022, 10:05-10:25 Isaac Newton Institute Seminar Series p-adic integrals and rational points on families of curvesKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Netan Dogra (King's College London). Seminar Room 1, Newton Institute. Wednesday 22 June 2022, 09:45-10:45 Isaac Newton Institute Seminar Series Gateway RAMP Final Dissemination. Wednesday 22 June 2022, 09:00-17:00 Isaac Newton Institute Seminar Series Differential equations and mixed Hodge structuresKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Matt Kerr (Washington University in St. Louis). Seminar Room 1, Newton Institute. Tuesday 21 June 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Motivic cohomology of singular varietiesKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Matthew Morrow (Institut de Mathématiques de Jussieu). Seminar Room 1, Newton Institute. Tuesday 21 June 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Universal Weil cohomologyKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Bruno Kahn (Institut de Mathématiques de Jussieu). Seminar Room 1, Newton Institute. Tuesday 21 June 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Bounds for the diameters of orbital graphs of affine groupsGRA2 - Groups, representations and applications: new perspectives Attila Maróti (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences). Seminar Room 2, Newton Institute. Tuesday 21 June 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Borel regulator, zeta-motives and moduli of abelian varieties (tropical or otherwise)KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Francis Brown (University of Oxford). Seminar Room 1, Newton Institute. Tuesday 21 June 2022, 09:45-10:45 Isaac Newton Institute Seminar Series Gateway RAMP Final Dissemination. Tuesday 21 June 2022, 09:00-17:00 Artificial Intelligence Research Group Talks (Computer Laboratory) Neighbourhood matching creates realistic surrogate temporal networksAntonio Longa, FBK. Monday 20 June 2022, 17:00-18:00 Isaac Newton Institute Seminar Series Degeneration loci of l-adic local systemsKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Anna Cadoret (Sorbonne Université). Seminar Room 1, Newton Institute. Monday 20 June 2022, 15:00-16:00 Seminars on Quantitative Biology @ CRUK Cambridge Institute Deciphering Shared Intratumor Transcriptional Heterogeneity of Human TumorsValentina Boeva, Swiss Institute of Bioinformatics. Monday 20 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series On the modularity of elliptic curves over imaginary quadratic fieldsKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Ana Caraiani (Imperial College London). Seminar Room 1, Newton Institute. Monday 20 June 2022, 13:30-14:30 Small-Scale Structure in Vector Dark MatterZoom link: https://zoom.us/j/91709058845. Mustafa Amin, Rice University. CMS, Pav. B, CTC Common Room (B1.19) [Potter Room]. Monday 20 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Height pairings for algebraic cycles. Biextensions, generalized cross-ratios, Tamagawa numbers, and the Birch and Swinnerton Dyer conjectureKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Spencer Bloch (University of Chicago). Seminar Room 1, Newton Institute. Monday 20 June 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Path integrals and p-adic L-functionsKA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights Minhyong Kim (International Centre for Mathematical Sciences). Seminar Room 1, Newton Institute. Monday 20 June 2022, 09:45-10:45 Excluded volume and order in a system of Brownian needlesMaria Bruna, DAMTP. MR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge. Friday 17 June 2022, 16:00-17:00 Localization theorems in Kähler geometryAlexia Corradini, Institut Polytechnique de Paris. MR13. Friday 17 June 2022, 16:00-17:00 HEP phenomenology joint Cavendish-DAMTP seminar Robin Schuermann - NNLO Photon Fragmentation in Antenna SubtractionRobin Schuermann. Friday 17 June 2022, 16:00-17:00 Engineering Department Structures Research Seminars Clamping Stresses in Reinforced ConcreteEvan Bentz, University of Toronto. CivEng Seminar Room (1-33) (Civil Engineering Building). Friday 17 June 2022, 16:00-17:00 Engineering Department Dynamics and Vibration Tea Time Talks CVDC Truck DemoDr Francesco Amoruso, CUED. Friday 17 June 2022, 15:30-17:00 Engineering Department Structures Research Seminars Upcycling Structural Design – new developmentsCorentin Fivet, EPFL. CivEng Seminar Room (1-33) (Civil Engineering Building). Friday 17 June 2022, 15:00-16:00 (CANCELLED) Stochastic Causal Programming for Bounding Treatment EffectsRicardo Silva (UCL). MR12, Centre for Mathematical Sciences. Friday 17 June 2022, 14:00-15:00 Logic and Semantics Seminar (Computer Laboratory) Finite-state polynomial computationMikołaj Bojanczyk, University of Warsaw. SS03. Friday 17 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Lower bound on the radius of analyticity for solutions of Navier-StokesTUR - Mathematical aspects of turbulence: where do we stand? Milton da Costa Lopes Filho (Universidade Federal do Rio de Janeiro (UFRJ)). Seminar Room 2, Newton Institute. Friday 17 June 2022, 14:00-15:00 Geometric Group Theory (GGT) Seminar Computing bounded cohomology of discrete groupsFrancesco Fournier-Facio (ETH Zurich). MR13. Friday 17 June 2022, 13:45-14:45 Black tsunamis and naked singularitiesMarija Tomasevic (CPHT, Ecole Polytechnique). Zoom. Friday 17 June 2022, 13:00-14:00 Pitfalls with ablation in neural network architecturesChristina Lioma (University of Copenhagen). Friday 17 June 2022, 12:00-13:00 Isaac Newton Institute Seminar Series On finite presentation for the tame fundamental groupKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Vasudevan Srinivas (Tata Institute of Fundamental Research). Seminar Room 1, Newton Institute. Friday 17 June 2022, 11:30-12:30 Isaac Newton Institute Seminar Series Hermitian K-theory of stable infinity categoriesKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Baptiste Calmès (Université d’Artois). Seminar Room 1, Newton Institute. Friday 17 June 2022, 10:00-11:00 Isaac Newton Institute Seminar Series A nilpotent variant cdh-topologyKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Shane Kelly (University of Tokyo). Seminar Room 1, Newton Institute. Thursday 16 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Cycles in Permutation GroupsGRA2 - Groups, representations and applications: new perspectives Cheryl Praeger (University of Western Australia). Seminar Room 2, Newton Institute. Thursday 16 June 2022, 16:00-17:00 Non-Stationary Representation Learning in Sequential Linear BanditsYuzhen Qin, University of California, Riverside. JBD seminar room, Department of Engineering / Online (Zoom). Thursday 16 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Algebraic Morava K-theory and algebraic groupsKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Nikita Semenov (Ludwig-Maximilians-Universität München). Seminar Room 1, Newton Institute. Thursday 16 June 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Bacterial Turbulence: A comparison with its fluid-turbulence counterpartTUR - Mathematical aspects of turbulence: where do we stand? Anupam Gupta (Indian Institute of Technology). Seminar Room 2, Newton Institute. Thursday 16 June 2022, 14:00-15:30 Isaac Newton Institute Seminar Series TBAKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory . Seminar Room 1, Newton Institute. Thursday 16 June 2022, 13:30-14:30 Quantum Fields and Strings Seminars Line Operator Quantum Numbers and AnomaliesT. Daniel Brennan (Chicago). Thursday 16 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Projective bundle formula for derived cobordismKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Toni Annala (University of British Columbia). Seminar Room 1, Newton Institute. Thursday 16 June 2022, 11:30-12:30 Language Technology Lab Seminars Gold Doesn't Always Glitter: Spectral Removal of Linear and Nonlinear Guarded Attribute InformationYftah Ziser, University of Edinburgh. https://cam-ac-uk.zoom.us/j/97599459216?pwd=QTRsOWZCOXRTREVnbTJBdXVpOXFvdz09. Thursday 16 June 2022, 11:00-12:00 Estimating RSV seasonality from pandemic disruptions: a modelling studyFabienne Krauer, The London School of Hygiene & Tropical Medicine. Thursday 16 June 2022, 11:00-12:00 Isaac Newton Institute Seminar Series Strong A^1-invariance of A^1-connected components of a reductive algebraic groupKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Anand Sawant (Tata Institute of Fundamental Research). Seminar Room 1, Newton Institute. Thursday 16 June 2022, 10:00-11:00 What activity types posed the greatest risk of SARS-CoV-2 infection for a university community?Kirsty Bolton (University of Nottingham) & Emma Fairbanks (Swiss Tropical and Public Health Institute). Centre for Mathematical Sciences MR12, CMS. Wednesday 15 June 2022, 16:00-17:00 The implicit boundary integral methodRichard Tsai (UT Austin). Centre for Mathematical Sciences, MR5. Wednesday 15 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Adapting the Fokas transform method to solve certain fractional PDEsFDE2 - Fractional differential equations Arran Fernandez (Eastern Mediterranean University). Seminar Room 2, Newton Institute. Wednesday 15 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Adapting the Fokas transform method to solve certain fractional PDEsFKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022 Arran Fernandez (Eastern Mediterranean University). Seminar Room 2, Newton Institute. Wednesday 15 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Adapting the Fokas transform method to solve certain fractional PDEsTUR - Mathematical aspects of turbulence: where do we stand? Arran Fernandez (Eastern Mediterranean University). Seminar Room 2, Newton Institute. Wednesday 15 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series The slices of KGL over arbitrary basesKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Tom Bachmann (Ludwig-Maximilians-Universität München). Seminar Room 1, Newton Institute. Wednesday 15 June 2022, 11:30-12:30 Isaac Newton Institute Seminar Series On Energy Conservation for the hydrostatic Euler equations: an Onsager ConjectureTUR - Mathematical aspects of turbulence: where do we stand? Daniel Boutros (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 15 June 2022, 11:00-12:00 Isaac Newton Institute Seminar Series On Energy Conservation for the hydrostatic Euler equations: an Onsager ConjectureFDE2 - Fractional differential equations Daniel Boutros (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 15 June 2022, 11:00-12:00 Isaac Newton Institute Seminar Series On Energy Conservation for the hydrostatic Euler equations: an Onsager ConjectureFKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022 Daniel Boutros (University of Cambridge). Seminar Room 2, Newton Institute. Wednesday 15 June 2022, 11:00-12:00 Machine Learning Reading Group @ CUED Discussion: Pre-Train Your Loss: Easy Bayesian Transfer Learning with Informative PriorsSpeaker to be confirmed. Cambridge University Engineering Department, CBL Seminar room BE4-38. Wednesday 15 June 2022, 11:00-12:30 Isaac Newton Institute Seminar Series Motivic Euler characteristics and the Motivic Segal-Becker TheoremKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Roy Joshua (Ohio State University). Seminar Room 1, Newton Institute. Wednesday 15 June 2022, 10:00-11:00 Artificial Intelligence Research Group Talks (Computer Laboratory) Neural Sequence Models for Mathematical ReasoningRESCHEDULED, NOTE THE UNUSUAL TIME Yuhuai(Tony) Wu, Stanford University & Google. Zoom. Tuesday 14 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series The Hilbert scheme of points in affine spaceKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Burt Totaro (University of California, Los Angeles). Seminar Room 1, Newton Institute. Tuesday 14 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Convergence to equilibrium and photon condensation in the Kompaneets model of Compton scatteringFKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022 Robert Pego (Carnegie Mellon University). Seminar Room 2, Newton Institute. Tuesday 14 June 2022, 14:50-15:35 Isaac Newton Institute Seminar Series A version of Vorst's conjecture in positive and mixed characteristicKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Georg Tamme (Johannes Gutenberg-Universität Mainz). Seminar Room 1, Newton Institute. Tuesday 14 June 2022, 14:30-15:30 Hecke orbits on Shimura varieties of Hodge typePol van Hoften (Stanford University). MR13. Tuesday 14 June 2022, 14:30-15:30 Computer Laboratory Security Seminar No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic AnalysisArwa Al Alsadi, Delft University of Technology. Webinar - link on talks.cam page after 12 noon Tuesday. Tuesday 14 June 2022, 14:00-15:00 MRC Biostatistics Unit Seminars BSU Seminar: “Optimising the discovery and development of gene silencing drugs with genetics and genomics”This will be a virtual seminar. To register for free, please click here: https://us02web.zoom.us/meeting/register/tZEudeGqrDgpH9w6XLGADT0ZoJB-ARc5EdD0 Dan Swerdlow, Silence Therapeutics . Tuesday 14 June 2022, 14:00-15:00 Exit sets for vector valued GFF and interplay with planar O(N) modelsChristophe Garban (Lyon). MR12, Centre for Mathematical Sciences. Tuesday 14 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series TBAKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory . Seminar Room 1, Newton Institute. Tuesday 14 June 2022, 13:30-14:30 Isaac Newton Institute Seminar Series A proof of Harris-type theorems based on semigroup argumentsFKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022 José Alfredo Cañizo Rincón (Universidad de Granada). Seminar Room 2, Newton Institute. Tuesday 14 June 2022, 13:30-14:15 DAMTP Statistical Physics and Soft Matter Seminar Diffusion of active and passive tracers in crowded environments: insights from lattice gas modelsPierre Illien, Sorbonne Universite CNRS. Center for Mathematical Sciences, Lecture room MR13. Tuesday 14 June 2022, 13:00-14:00 Isaac Newton Institute Seminar Series Stacks and equivariant cohomologyKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Adeel Khan (Institute of Mathematics, Academia Sinica, Taipei, Taiwan). Seminar Room 1, Newton Institute. Tuesday 14 June 2022, 11:30-12:30 Isaac Newton Institute Seminar Series Standard Generators of Finite Fields and their Cyclic SubgroupsGRA2 - Groups, representations and applications: new perspectives Frank Lübeck (RWTH Aachen University). Seminar Room 2, Newton Institute. Tuesday 14 June 2022, 11:15-12:15 Isaac Newton Institute Seminar Series On the logarithmic Hochschild-Kostant-Rosenberg theoremKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Federico Binda (University of Milan). Seminar Room 1, Newton Institute. Tuesday 14 June 2022, 10:00-11:00 Isaac Newton Institute Seminar Series EndTGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons . Monday 13 June 2022, 21:30-21:30 Isaac Newton Institute Seminar Series Panel discussionTGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons . Monday 13 June 2022, 21:00-21:30 Isaac Newton Institute Seminar Series Three public-facing talksTGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons . Monday 13 June 2022, 19:30-21:00 Isaac Newton Institute Seminar Series Main poster session with finger buffet and refreshmentsTGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons . Monday 13 June 2022, 18:00-19:00 Isaac Newton Institute Seminar Series Elementary excitations for the 3D Navier-Stokes equationsTUR - Mathematical aspects of turbulence: where do we stand? Koji Ohkitani (Research Institute for Mathematical Sciences , Kyoto University). Seminar Room 2, Newton Institute. Monday 13 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Policy focus session: How the scientific community responds to emergencies -- lessons from the pandemic (5 minute presentations from each of 5-6 panel members followed by a panel discussion.)TGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons . Monday 13 June 2022, 16:00-18:00 Isaac Newton Institute Seminar Series Motivic Hochschild homologyKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Kyle Ormsby (Reed College). Seminar Room 1, Newton Institute. Monday 13 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series Flash talks by poster presentersTGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons . Monday 13 June 2022, 15:00-15:30 Isaac Newton Institute Seminar Series Pencils of quadrics and period index questions for hyperelliptic curvesKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Parimala Raman (Emory University). Seminar Room 1, Newton Institute. Monday 13 June 2022, 14:30-15:30 Partial Differential Equations seminar Orientation mixing in active suspensionsHelge Dietert (Paris Diderot). Monday 13 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series TBAKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory . Seminar Room 1, Newton Institute. Monday 13 June 2022, 13:30-14:30 Isaac Newton Institute Seminar Series Session 2 of ECR ShowcaseTGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons . Monday 13 June 2022, 13:25-15:00 Effects and uses of CMB lensingZoom link: https://zoom.us/j/99304579109 Antony Lewis (U. Sussex). CMS, Pav. B, CTC Common Room (B1.19) [Potter Room]. Monday 13 June 2022, 13:00-14:00 (Modeling) Morality? On Machine Learning and PhrenologyZeerak Talat (Digital Democracies Institute, Simon Fraser University). Monday 13 June 2022, 12:00-13:00 Isaac Newton Institute Seminar Series The relation between Quillen K-theory and Milnor K-theory in degree 4KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Oliver Roendigs (Universität Osnabrück). Seminar Room 1, Newton Institute. Monday 13 June 2022, 11:30-12:30 Isaac Newton Institute Seminar Series Session 1 of ECR ShowcaseTGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons . Monday 13 June 2022, 10:30-12:45 Isaac Newton Institute Seminar Series Representations of Galois groups and Algebraic K-theory of fieldsKA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory Gunnar Carlsson (Stanford University). Seminar Room 1, Newton Institute. Monday 13 June 2022, 10:00-11:00 HEP phenomenology joint Cavendish-DAMTP seminar Christopher Lester - Data-data comparisons as searches for parity violation, symmetry violation and emusChristopher Lester (Cambridge). Friday 10 June 2022, 16:00-17:00 Translating aerodynamic features from insects and birds to bioinspired aircraftRichard Bomphrey, The Royal Veterinary College. Fluid Mechanics Webinar Series. Friday 10 June 2022, 16:00-17:00 Engineering Department Dynamics and Vibration Tea Time Talks Poster SessionSpeaker to be confirmed. Friday 10 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series CloseSASW09 - International conference on computability, complexity and randomness . Seminar Room 1, Newton Institute. Friday 10 June 2022, 16:00-17:00 Computer Laboratory Security Seminar Exploring Internet services mis-configuration at scaleDanny Willems and Gregory Boddin, LeakIX; Raphael Proust, Nomadic Labs. Webinar & FW11, Computer Laboratory, William Gates Building.. Friday 10 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series How many subgroups are there in a finite group?GRA2 - Groups, representations and applications: new perspectives Gareth Tracey (University of Oxford). Seminar Room 2, Newton Institute. Friday 10 June 2022, 15:50-16:50 Isaac Newton Institute Seminar Series Lecture series - break. Seminar Room 2, Newton Institute. Friday 10 June 2022, 15:10-15:50 Mapping class groups of h-cobordant manifoldsSamuel Muñoz Echániz. MR16. Friday 10 June 2022, 15:00-16:00 Engineering Department Structures Research Seminars BRE Structural Testing and InvestigationDavid Stewart, BRE Group. CivEng Seminar Room (1-33) (Civil Engineering Building). Friday 10 June 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Toward deciding the AE-theory of the Sigma02-enumeration degreesSASW09 - International conference on computability, complexity and randomness Steffen Lempp (University of Wisconsin-Madison). Seminar Room 1, Newton Institute. Friday 10 June 2022, 14:30-15:30 Isaac Newton Institute Seminar Series Decomposition of spin representations of symmetric groups in characteristic 2GRA2 - Groups, representations and applications: new perspectives Lucia Morotti (Leibniz Universität Hannover). Seminar Room 2, Newton Institute. Friday 10 June 2022, 14:10-15:10 Logic and Semantics Seminar (Computer Laboratory) Symmetries in quantitative semanticsHugo Paquet, University of Oxford. SS03. Friday 10 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Singularity formation in the Euler equationTUR - Mathematical aspects of turbulence: where do we stand? Tarek Elgindi (Duke University). Friday 10 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Learning and randomnessSASW09 - International conference on computability, complexity and randomness Tomasz Steifer (Pontificia Universidad Católica de Chile, Polish Academy of Sciences). Seminar Room 1, Newton Institute. Friday 10 June 2022, 13:30-14:30 Isaac Newton Institute Seminar Series On Sharpness for Fusion SystemsGRA2 - Groups, representations and applications: new perspectives Valentina Grazian (Università degli Studi di Milano - Bicocca). Seminar Room 2, Newton Institute. Friday 10 June 2022, 13:00-14:00 Analysis and Applications of Deep Cascade LearningThis is a seminar held jointly by CMIH and Cambridge Image Analysis (CIA). Please note the change of date; it will take place on Friday instead of the normal Wednesday. Doris Xin Du. Friday 10 June 2022, 13:00-14:00 An aperitivo of efforts against harming online contents: propaganda, hate speech, spamAlberto Barrón-Cedeño (University of Bologna). Friday 10 June 2022, 12:00-13:00 Isaac Newton Institute Seminar Series Degree spectra of computable functions on natural numbers with standard orderSASW09 - International conference on computability, complexity and randomness Dariusz Kalociński (Polish Academy of Sciences). Seminar Room 1, Newton Institute. Friday 10 June 2022, 11:15-12:15 Isaac Newton Institute Seminar Series Methods for finding rational pointsKAH2 - K-theory, algebraic cycles and motivic homotopy theory Netan Dogra (King's College London). Seminar Room 2, Newton Institute. Friday 10 June 2022, 10:15-11:15 Isaac Newton Institute Seminar Series Which Weihrauch degrees correspond to axiom systems?SASW09 - International conference on computability, complexity and randomness Vasco Brattka (Universität der Bundeswehr München, University of Cape Town). Seminar Room 1, Newton Institute. Friday 10 June 2022, 10:00-11:00 Isaac Newton Institute Seminar Series Weihrauch reducibility on multi-represented spacesSASW09 - International conference on computability, complexity and randomness Takayuki Kihara (Nagoya University). Seminar Room 1, Newton Institute. Friday 10 June 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Automorphic forms, Galois representationsKAH2 - K-theory, algebraic cycles and motivic homotopy theory Fred Diamond (King's College London). Seminar Room 2, Newton Institute. Friday 10 June 2022, 09:00-10:00 Isaac Newton Institute Seminar Series Generalizing a question of Gromov, Part IISASW09 - International conference on computability, complexity and randomness Johanna Franklin (Hofstra University, None / Other). Seminar Room 1, Newton Institute. Thursday 09 June 2022, 16:00-17:00 Isaac Newton Institute Seminar Series title and abstract tbcGRA2 - Groups, representations and applications: new perspectives Emmanuel Breuillard (University of Oxford). Seminar Room 2, Newton Institute. Thursday 09 June 2022, 16:00-17:00 Computer Laboratory Systems Research Group Seminar Are we stuck with the current Internet Protocol (IP)? (And does it matter if we are?)Saleem Bhatti, U. St Andrews. https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09. Thursday 09 June 2022, 15:00-16:00 Language Technology Lab Seminars Cross-lingual Learning, and Applications in Dialog and TranslationJunjie Hu, University of Wisconsin-Madison. https://cam-ac-uk.zoom.us/j/97599459216?pwd=QTRsOWZCOXRTREVnbTJBdXVpOXFvdz09. Thursday 09 June 2022, 15:00-16:00 Isaac Newton Institute Seminar Series Multifunctions computing sequentially discontinuous multifunctionsSASW09 - International conference on computability, complexity and randomness Giovanni Solda (Universiteit Gent). Seminar Room 1, Newton Institute. Thursday 09 June 2022, 14:30-15:30 On the discrimination of quantum measurementsAleksandra Krawiec, Institute of Theoretical and Applied Informatics, Polish Academy of Sciences. MR2 Centre for Mathematical Sciences. Thursday 09 June 2022, 14:15-15:15 Distributed Control of DC Microgrids with Flexible StructureMahdieh S. Sadabadi, Queen Mary University of London. Dyson Teaching Room, Department of Engineering / Online (Zoom). Thursday 09 June 2022, 14:00-15:00 Isaac Newton Institute Seminar Series Classification problem for effective structuresSASW09 - International conference on computability, complexity and randomness Ekaterina Fokina (Vienna University of Technology). Seminar Room 1, Newton Institute. Thursday 09 June 2022, 13:30-14:30 Quantum Fields and Strings Seminars Cauchy Slice HolographyGoncalo Araujo-Regado (DAMTP). Thursday 09 June 2022, 13:00-14:00 Please see above for contact details for this list. |
Other listsHistory of Medicine Seminars General talks Wolfson College Lunchtime Seminar SeriesOther talksThe Unhelpful Habit of Being Judgemental The botanical art of Clarence Bicknell Regulators of Muscle Stem Cell Fate and Function A superpopulation treatment to case-control data analysis Managing Model Risk in Banking DiCE: The Infinitely Differentiable Monte-Carlo Estimator |