University of Cambridge > Talks.cam > All CMS events

All CMS events

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

All events at the Centre for Mathematical Sciences. This list is used as a source for events displayed on the DAMTP website at http://www.damtp.cam.ac.uk/.

What lists provides data to what service

Tell a friend about this list:

If you have a question about this list, please contact: Chris Mortimer; John Sutton; D. Finucane; Julie Bazin; Eva Myers; Owen Dunn; Alex Boggis; Dr. Frank Lee; Deryck Thake; Kyle Hawthorne; mh332. If you have a question about a specific talk, click on that talk to find its organiser.

167 upcoming talks and 20113 talks in the archive: show all (slow!).

DPMMS Conferences

Mordell 2022 - 100 years of elliptic curves

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

Uservarious.

HouseMR2.

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

Isaac Newton Institute Seminar Series

The concept of "mass" according to physicists and mathematicians

NCN2 - New connections in number theory and physics

UserMarcus Berg (Karlstad University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Concurrency Meeting: New applications of Rely/Guarantee thinking

VSO2 - Verified software

UserCliff Jones (Newcastle University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 12 August 2022, 11:45-12:10

Isaac Newton Institute Seminar Series

Concurrency Meeting: On Formalising Predicated Execution and Predicate-Aware Scheduling

VSO2 - Verified software

UserYann Herklotz (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 12 August 2022, 11:20-11:45

Isaac Newton Institute Seminar Series

Concurrency Meeting: Simulating Operational Memory Models

VSO2 - Verified software

UserDan Iorga (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 12 August 2022, 10:35-11:00

Isaac Newton Institute Seminar Series

Concurrency Meeting: CSP in Practice: Timed Verification of Robot Software

VSO2 - Verified software

UserMatthew Windsor (University of York).

HouseSeminar Room 1, Newton Institute.

ClockFriday 12 August 2022, 10:10-10:35

Isaac Newton Institute Seminar Series

Concurrency Meeting: On the fluidization of Petri nets

VSO2 - Verified software

UserEsti Fraca (University College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 12 August 2022, 09:25-09:50

Isaac Newton Institute Seminar Series

Concurrency Meeting: Making concurrency functional

VSO2 - Verified software

UserGlynn Winskel (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 12 August 2022, 09:00-09:25

Isaac Newton Institute Seminar Series

Penumbral Moonshine: Relations and Implications 1

NCN2 - New connections in number theory and physics

UserJeff Harvey (University of Chicago).

HouseSeminar Room 2, Newton Institute.

ClockThursday 11 August 2022, 14:00-15:00

Topology talk

Mapping class group of manifolds which look like 3-dimensional complete intersections

UserMatthias Kreck, Hausdorff center for Mathematics.

HouseMR13.

ClockThursday 11 August 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

Concurrency Meeting: Idioms for Interactions

VSO2 - Verified software

UserNobuko Yoshida (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockThursday 11 August 2022, 13:25-13:50

Isaac Newton Institute Seminar Series

Concurrency Meeting: When Concurrency Strikes: Behaviour Oriented Concurrency

VSO2 - Verified software

UserMatthew Parkinson (Microsoft (UK)).

HouseSeminar Room 1, Newton Institute.

ClockThursday 11 August 2022, 13:00-13:25

Isaac Newton Institute Seminar Series

From Drinfeld-Sokolov bihamiltonian structures to Dubrovin-Frobenius manifolds

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

UserYassir Dinar (Sultan Qaboos University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 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

UserAnne Taormina (Durham University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 10 August 2022, 16:00-17:00

Topology talk

The quotients of the congruence subgroups of braid groups

UserPeter Patzt, University of Oklahoma.

HouseMR13.

ClockWednesday 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 1

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

UserAlexander Tovbis (University of Central Florida).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 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-E

NCN2 - New connections in number theory and physics

UserTerry Gannon (University of Alberta).

HouseNo Room Required.

ClockTuesday 09 August 2022, 18:00-19:00

Isaac Newton Institute Seminar Series

The Langlands Program as Electric-Magnetic Duality IV

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

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

String scattering and automorphic representations

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

UserAxel Kleinschmidt (Max-Planck-Institut für Gravitationphysik).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Small representations II

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

UserGordan Savin (University of Utah).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Intro to the theta correspondence III

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

UserStephen Kudla (University of Toronto).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

String scattering and generalized automorphic forms III

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

UserOliver Schlotterer (Uppsala Universitet).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Small representations I

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

UserGordan Savin (University of Utah).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

The Langlands Program as Electric-Magnetic Duality III

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

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

UserKen McLaughlin (Colorado State University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Automorphic forms and representation theory, III

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

UserSolomon Friedberg (Boston College).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Mock Modular Forms and Applications III

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

UserMiranda Cheng (Universiteit van Amsterdam).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Ecosystem: Discussion

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 03 August 2022, 16:40-17:00

Cambridge Statistics Clinic

Statistics Clinic Summer 2022 II

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

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

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

Isaac Newton Institute Seminar Series

Ecosystem: CertiKOS approaches

VSO2 - Verified software

User Zhong Shao (Yale University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 03 August 2022, 16:20-16:35

Isaac Newton Institute Seminar Series

Ecosystem: seL4 approaches

VSO2 - Verified software

UserThomas Sewell (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 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

UserKen McLaughlin (Colorado State University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 03 August 2022, 15:30-16:30

Isaac Newton Institute Seminar Series

Ecosystem: BedRock

VSO2 - Verified software

UserGregory Malecha (Bed Rock Systems).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 03 August 2022, 15:30-15:45

Isaac Newton Institute Seminar Series

Ecosystem: RefinedC

VSO2 - Verified software

UserMichael Sammler (Max Planck Institute for Software Systems).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 03 August 2022, 15:05-15:20

Isaac Newton Institute Seminar Series

Ecosystem: VeriFast

VSO2 - Verified software

UserBart Jacobs (KU Leuven).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 03 August 2022, 14:40-14:55

Isaac Newton Institute Seminar Series

Ecosystem: VST

VSO2 - Verified software

UserAndrew Appel (Princeton University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 03 August 2022, 14:15-14:30

Isaac Newton Institute Seminar Series

Ecosystem: Introduction

VSO2 - Verified software

UserPeter Sewell (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 03 August 2022, 14:00-14:15

Isaac Newton Institute Seminar Series

Group photo

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

User.

HouseNo Room Required.

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

Isaac Newton Institute Seminar Series

String amplitudes and automorphic forms II

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

UserMarcus Berg (Karlstad University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Intro to the theta correspondence II

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

UserStephen Kudla (University of Toronto).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Automorphic forms and representation theory, II

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

UserSolomon Friedberg (Boston College).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

String scattering and generalized automorphic forms II

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

UserOliver Schlotterer (Uppsala Universitet).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

The Langlands Program as Electric-Magnetic Duality II

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

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Discussion

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

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Intro to the theta correspondence I

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

UserStephen Kudla (University of Toronto).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Automorphic forms and representation theory, I

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

UserSolomon Friedberg (Boston College).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Mock Modular Forms and Applications II

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

UserMiranda Cheng (Universiteit van Amsterdam).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

The Langlands Program as Electric-Magnetic Duality I

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

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

String scattering and generalized automorphic forms i

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

UserOliver Schlotterer (Uppsala Universitet).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

String amplitudes and automorphic forms

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

UserMarcus Berg (Karlstad University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Security and crypto

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Mock Modular Forms and Applications I

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

UserMiranda Cheng (Universiteit van Amsterdam).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Security and crypto

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Closing Ceremony and Awards

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Oral Session 9

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Compiler verification

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Industrial Panel (MathWorks, Microsoft, Nvidia)

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Base-two permutation groups and applications

GR2W02 - Simple groups, representations and applications

UserTim Burness (University of Bristol).

HouseSeminar Room 1, Newton Institute.

ClockFriday 29 July 2022, 11:40-12:30

Isaac Newton Institute Seminar Series

Keynote Speaker

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Invariable generation and totally deranged elements of simple groups

GR2W02 - Simple groups, representations and applications

UserScott Harper (University of Bristol).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Compiler verification

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Oral Session 8

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

A Prolog-assisted search for simple Lie algebras

GR2W02 - Simple groups, representations and applications

UserDavid Stewart (University of Newcastle upon Tyne).

HouseSeminar Room 1, Newton Institute.

ClockFriday 29 July 2022, 09:30-10:20

Isaac Newton Institute Seminar Series

Oral Session 7

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Gala Dinner

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseNo Room Required.

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

Isaac Newton Institute Seminar Series

Microsoft Workshop *(Gold Sponsor MIUA)

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Update on the CGLSS Project II

GR2W02 - Simple groups, representations and applications

UserInna Capdeboscq (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 16:20-17:10

Isaac Newton Institute Seminar Series

Update on the CGLSS Project I

GR2W02 - Simple groups, representations and applications

UserRonald Solomon (Ohio State University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 15:00-15:50

Isaac Newton Institute Seminar Series

Oral Session 6

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Simple groups, characteristic covering numbers and tensor product growth of representations

GR2W02 - Simple groups, representations and applications

UserAner Shalev (Hebrew University of Jerusalem).

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 14:00-14:50

Isaac Newton Institute Seminar Series

Abstract Submissions: Poster Session

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Abstract Submissions: Flash Talks

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Flash Podium Talk Microsoft

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Tame automorphism groups of polynomial rings with property (T) and infinitely many alternating group quotients

GR2W02 - Simple groups, representations and applications

UserMartin Kassabov (Cornell University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 28 July 2022, 11:40-12:30

Isaac Newton Institute Seminar Series

Keynote Speaker

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Permutation groups and relational complexity

GR2W02 - Simple groups, representations and applications

UserColva Roney-Dougal (University of St Andrews).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Oral Session 5

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Irreducible restrictions of representations of symmetric and alternating groups

GR2W02 - Simple groups, representations and applications

UserAlexander Kleshchev (University of Oregon).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Oral Session 4

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

On the inverse problem for isometry groups of norms

GR2W02 - Simple groups, representations and applications

UserEmmanuel Breuillard (University of Oxford).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Accountable AI-based Software in Complex Sociotechnical Context

VSO2 - Verified software

UserRuzica Piskac (Yale University).

HouseDiscussion Room, Newton Institute.

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

Isaac Newton Institute Seminar Series

Safety verification of neural-network-based controllers

VSO2 - Verified software

UserRajeev Alur (University of Pennsylvania).

HouseDiscussion Room, Newton Institute.

ClockWednesday 27 July 2022, 16:30-17:00

Isaac Newton Institute Seminar Series

Vacuum states in hydrodynamic models.

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

UserRoberto Camassa (University of North Carolina).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Building Certifiably Safe and Correct Large-scale Autonomous Systems

VSO2 - Verified software

UserChuchu Fan (Massachusetts Institute of Technology).

HouseDiscussion Room, Newton Institute.

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

Isaac Newton Institute Seminar Series

Symplectic matrices and the Bloch group

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

UserDon Zagier (Max-Planck-Institut für Mathematik, Bonn).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Oral Session 3

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

WiMIUA Workshop Hors d'oeuvre Closing Event WiMIUA Workshop

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Poster Session & Coffee Break

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Rust verification

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

The logic of autonomous dynamic systems

VSO2 - Verified software

UserAndre Platzer (Carnegie Mellon University).

HouseDiscussion Room, Newton Institute.

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

Isaac Newton Institute Seminar Series

Oral Session 2

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Break

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Fusion systems on maximal class p-groups

GR2W02 - Simple groups, representations and applications

UserValentina Grazian (Università degli Studi di Milano - Bicocca).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 27 July 2022, 11:40-12:10

Isaac Newton Institute Seminar Series

Rank 2 Amalgams and Fusion Systems

GR2W02 - Simple groups, representations and applications

UserMartin van Beek (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Oral session 1

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Rust verification

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Classifying quotients of the Highwater algebra

GR2W02 - Simple groups, representations and applications

UserJustin McInroy (University of Chester).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Keynote Speaker

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Opening Ceremony

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Realizing representations in fusion systems

GR2W02 - Simple groups, representations and applications

UserRobert Oliver (Université Paris 13).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Registration Desk Opens

TGM113 - Medical Image Understanding and Analysis 2022

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Rothschild Lecture: Commuting Sets in Groups and Algebras

GRA2 - Groups, representations and applications: new perspectives

UserRobert Guralnick (University of Southern California).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Drinks Reception

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

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Next Steps

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

User.

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 16:45-17:00

Isaac Newton Institute Seminar Series

Integrating Genomics and Multi-omics at Population Scale for Disease Insights

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

UserAdam Butterworth (University of Cambridge).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Fusion systems and finite simple groups

GR2W02 - Simple groups, representations and applications

UserMichael Aschbacher (CALTECH (California Institute of Technology)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 26 July 2022, 16:00-16:50

Isaac Newton Institute Seminar Series

Logarithmic intersection theory and enumerative geometry

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

UserDhruv Ranganathan (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Explainability in Machine Learning

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

UserRachael Warrington (The Smith Institute).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Addressing the Carbon Footprint of Computational Science

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

UserLoïc Lannelongue (University of Cambridge).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

A wave-by-wave study of particle dynamics in the surf zone

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

UserHenrik Kalisch (Universitetet i Bergen).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

A Landmarking Approach for the Dynamic Scheduling of Cardiovascular Risk Assessments

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

UserJessica Barrett (MRC Biostatistics Unit).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Double coset random walks

GR2W02 - Simple groups, representations and applications

UserPersi Diaconis (Stanford University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Formal Wasm: Wasm GC extension

VSO2 - Verified software

UserAndreas Rossberg (None / Other).

HouseDiscussion Room, Newton Institute.

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

Isaac Newton Institute Seminar Series

Questions and Answers

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

User.

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:55-13:55

Isaac Newton Institute Seminar Series

Survival analysis-based uncertainty estimation for regression problems

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

UserSören Dittmer (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:50-12:55

Isaac Newton Institute Seminar Series

Automated Quality Control of Chest X-rays

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

UserIan Selby (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:45-12:50

Isaac Newton Institute Seminar Series

Federated Deep Learning in Clinical Applications

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

UserJosh Kaggie (University of Cambridge).

HouseCentre for Mathematical Sciences.

ClockTuesday 26 July 2022, 12:40-12:45

Isaac Newton Institute Seminar Series

On Image Quality Assessment for Deep Learning in Medical Imaging

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

UserAnna Breger (University of Cambridge).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Deep Learning for Image Reconstruction in CT

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

UserSubhadip Mukherjee (University of Cambridge).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Spectral Decomposition of Protein Structures in Heterogeneous Cryo-EM

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

UserCarlos Esteve Yague (University of Cambridge).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Nonlinear motion separation via untrained generator networks with disentangled latent space variables and applications to cardiac MRI

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

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

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Multi-Modal Hypergraph Diffusion Networks for Alzheimer Classification

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

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

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

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

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

UserSamuel Tull (University of Cambridge).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Investigating Bias in Full Blood Count Data

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

UserDaniel Kreuter (University of Cambridge).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Tea and Coffee Break

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

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Last steps in a proof of the McKay Conjecture on character degrees

GR2W02 - Simple groups, representations and applications

UserBritta Späth (Bergische Universität Wuppertal).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 26 July 2022, 11:40-12:10

Isaac Newton Institute Seminar Series

Emulation and Uncertainty Quantification in Cardiac Modelling

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

UserHao Gao (SofTMech - University of Glasgow).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

On the homotopy type of p-subgroup posets

GR2W02 - Simple groups, representations and applications

UserKevin Piterman (Philipps-Universität Marburg).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Algebraic K-theory of monoid algebras

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

UserHusney Parvez Sarwar (Indian Institute of Technology).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

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

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

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

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

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

UserNick Ovenden (University College London).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Welcome and Introduction

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

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

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Invariable generation of finite simple groups by two elements of prime or prime power order

GR2W02 - Simple groups, representations and applications

UserJohn Shareshian (Washington University in St. Louis).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Fusion systems, localities and the classification of finite simple groups

GR2W02 - Simple groups, representations and applications

UserEllen Henke (Technische Universität Dresden).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 26 July 2022, 09:00-09:50

Isaac Newton Institute Seminar Series

Formal Wasm: WasmCert Isabelle and WasmCert-Coq

VSO2 - Verified software

UserConrad Watt (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Formal Wasm: Discussion

VSO2 - Verified software

User.

HouseDiscussion Room, Newton Institute.

ClockMonday 25 July 2022, 17:00-17:30

Isaac Newton Institute Seminar Series

Counting (tropical) curves

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

UserTim Gräfnitz (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockMonday 25 July 2022, 16:30-17:30

Isaac Newton Institute Seminar Series

Local Systems and Simple Groups II

GR2W02 - Simple groups, representations and applications

UserPham Tiep (Rutgers, The State University of New Jersey).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 July 2022, 16:00-16:50

Isaac Newton Institute Seminar Series

The log-local-open Correspondence

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

UserYannik Schüler (University of Sheffield).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Local Systems and Simple Groups I

GR2W02 - Simple groups, representations and applications

UserNick Katz (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 July 2022, 14:30-15:20

Isaac Newton Institute Seminar Series

Formal Wasm: Wasm with capability types

VSO2 - Verified software

UserAmal Ahmed (Northeastern University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Ennola duality for representations of finite reductive groups

GR2W02 - Simple groups, representations and applications

UserOlivier Dudas (Université Denis Diderot).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 July 2022, 13:30-14:20

Isaac Newton Institute Seminar Series

Formal Wasm: Lightning Talks

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Conjugacy class numbers and pi-subgroups

GR2W02 - Simple groups, representations and applications

UserGunter Malle (Technische Universität Kaiserslautern).

HouseSeminar Room 1, Newton Institute.

ClockMonday 25 July 2022, 11:20-12:10

Isaac Newton Institute Seminar Series

Formal Wasm: Wasm 2.0 and Beyond

VSO2 - Verified software

UserAndreas Rossberg (None / Other).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Good locally testable codes

GR2W02 - Simple groups, representations and applications

UserAlex Lubotzky (Hebrew University of Jerusalem).

HouseSeminar Room 1, Newton Institute.

ClockMonday 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

User Ziiyad Hanna (University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockFriday 22 July 2022, 16:45-17:30

Isaac Newton Institute Seminar Series

Jan Saxl Memorial Day: Wine Reception: Isaac Newton Institute

GRA2 - Groups, representations and applications: new perspectives

User.

HouseNo Room Required.

ClockFriday 22 July 2022, 16:15-17:15

Isaac Newton Institute Seminar Series

Close

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Model Checking: SMT-Based Software Model Checking

VSO2 - Verified software

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

HouseSeminar Room 2, Newton Institute.

ClockFriday 22 July 2022, 16:00-16:45

Isaac Newton Institute Seminar Series

Jan Saxl Memorial Day: Exceptional Polynomials and Generation by Conjugates

GRA2 - Groups, representations and applications: new perspectives

UserRobert Guralnick (University of Southern California).

HouseCentre for Mathematical Sciences.

ClockFriday 22 July 2022, 15:20-15:50

Isaac Newton Institute Seminar Series

Model Checking: Accelerating Statistical Model Checking for COVID19

VSO2 - Verified software

UserKim Larsen (Aalborg Universitet).

HouseSeminar Room 2, Newton Institute.

ClockFriday 22 July 2022, 15:00-15:25

Isaac Newton Institute Seminar Series

Jan Saxl Memorial Day: A survey of the work of Jan Saxl

GRA2 - Groups, representations and applications: new perspectives

UserMartin Liebeck (Imperial College London).

HouseCentre for Mathematical Sciences.

ClockFriday 22 July 2022, 14:40-15:10

Isaac Newton Institute Seminar Series

N. Takahashi's 3 Conjectures

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserMichel van Garrel (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Model checking: Neural Termination Analysis

VSO2 - Verified software

UserDaniel Kroening (Amazon Web Services).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Jan Saxl Memorial Day: Representations and tensor product growth

GRA2 - Groups, representations and applications: new perspectives

UserPham Tiep (Rutgers, The State University of New Jersey).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

On 2-elementary K3 surfaces and string dualities

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserAndreas Malmendier (University of Connecticut).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Jan Saxl Memorial Day: Lunch

GRA - Groups, representations and applications: new perspectives

User.

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Jan Saxl Memorial Day: Fifty years around Jan: Some history and some mathematics

GRA2 - Groups, representations and applications: new perspectives

UserPeter Cameron (University of St Andrews).

HouseCentre for Mathematical Sciences.

ClockFriday 22 July 2022, 11:40-12:10

Isaac Newton Institute Seminar Series

Frobenius constants for families of elliptic curves

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserBidisha Roy (Polish Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Model Checking: Parameter Synthesis in Probabilistic Models

VSO2 - Verified software

UserJoost-Pieter Katoen (RWTH Aachen University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Jan Saxl Memorial Day: On a result of Rodgers and Saxl

GRA2 - Groups, representations and applications: new perspectives

UserNick Gill (The Open University).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Degenerations, fibrations and higher rank Landau-Ginzburg models

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserFenglong You (University of Oslo).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Jan Saxl Memorial Day: The pleasure of working with Jan Saxl

GRA2 - Groups, representations and applications: new perspectives

UserCheryl Praeger (University of Western Australia).

HouseCentre for Mathematical Sciences.

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

Isaac Newton Institute Seminar Series

Model Checking: Reasoning about Parameterized Loop Programs sans Loop Invariants

VSO2 - Verified software

UserSupratik Chakraborty (Indian Institute of Technology).

HouseSeminar Room 2, Newton Institute.

ClockFriday 22 July 2022, 09:30-10:15

Isaac Newton Institute Seminar Series

Integrality of instanton numbers

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserMasha Vlasenko (Polish Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Coffee at Isaac Newton Institute: Jan Saxl Memorial

GRA2 - Groups, representations and applications: new perspectives

User.

HouseNo Room Required.

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

Isaac Newton Institute Seminar Series

Unwinding the Gelfand—Cetlin toric degeneration on the mirror

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserElana Kalashnikov (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Algorithms for matrix groups: success, failure, challenge

GRA2 - Groups, representations and applications: new perspectives

UserEamonn O'Brien (University of Auckland).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Hanging gardens and divisors from Adinkras

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserAmanda Francis (American Mathematical Society).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Rust Verification

VSO2 - Verified software

UserJacques-Henri Jourdan (CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserLawrence Barrott (Universiteit Leiden).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Rust Verification

VSO2 - Verified software

UserVytautas Astrauskas .

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

From Feynman Amplitudes to multiple L-values

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserXiaohua Ai (Vodafone).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

K_2 and quantum curves

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserMatt Kerr (Washington University in St. Louis).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Rationality of MUMs and 2-functions

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserJohannes Walcher (Universität Heidelberg).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Software Foundations, 15 years on

VSO2 - Verified software

UserBenjamin Pierce (University of Pennsylvania).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Modularity of Calabi-Yau Varieties

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserNoriko Yui (Queen's University, Canada).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Ralph-Johan Back

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Mentorship for Formal Methods

VSO2 - Verified software

UserRuzica Piskac (Yale University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Hyperelliptic curves and planar 2-loop Feynman graphs

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserAndrew Harder (Lehigh University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Teaching Mechanized Semantics

VSO2 - Verified software

UserXavier Leroy (Collège de France).

HouseSeminar Room 2, Newton Institute.

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

Combinatorics Seminar

Monochromatic products and sums in N and Q

UserMatthew Bowen (McGill).

HouseMR12.

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

Combinatorics Seminar

Monochromatic products and sums in N and Q

UserMatthew Bowen (McGill).

HouseMR12.

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

Isaac Newton Institute Seminar Series

Twisted derived equivalences and string theory dualities with B-field

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserJonathan Rosenberg (University of Maryland, College Park).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

TBA

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserDaniel Kaplan (Universiteit Hasselt).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Diagonal pencils and Hasse-Witt invariants

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserUrsula Whitcher (American Mathematical Society).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Diagonal pencils and Hasse-Witt invariants

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserAdriana Salerno (National Science Foundation).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

The Aomoto polylogarithm via iterated integrals

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserHerbert Gangl (Durham University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Noncommutative Riemann hypothesis

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserGoncalo Tabuada (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 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

UserDani Kaufman (University of Copenhagen).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Cluster dualities and superpotentials for Grassmannian

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Calculating with fusion system and a couple of speculations

GRA2 - Groups, representations and applications: new perspectives

UserChris Parker (University of Birmingham).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Open mirror symmetry for Landau-Ginzburg models

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserTyler Kelly (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Welcome Talk

KA2W03 - Mathematical physics: algebraic cycles, strings and amplitudes

UserChristie Marr (Isaac Newton Institute).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Absorbing conditions for dispersive equations

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

UserPascal Noble (Université de Toulouse).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Panel Discussion

HY2W06 - Women in dispersive equations day

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Simplices in the Calabi-Yau web

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

UserWill Donovan (Tsinghua University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Interaction Dynamics of Singular Wave Fronts Computed by Particle Methods

HY2W06 - Women in dispersive equations day

UserAlina Chertock (North Carolina State University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Dark Structures on a Torus for the Nonlinear Schrodinger Model

HY2W06 - Women in dispersive equations day

UserJennie D'ambroise (SUNY Old Westbury).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Stokes waves are unstable

HY2W06 - Women in dispersive equations day

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

HouseSeminar Room 1, Newton Institute.

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

DAMTP BioLunch

Covariant Hydrodynamics of Membranes and Nematic Surfaces

UserDr. Sami Al-Izzi (Postdoctoral Fellow, EMBL-Australia Node in Single Molecule Science and School of Physics, UNSW).

HouseMR9, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

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

Isaac Newton Institute Seminar Series

Synthesis United: Boolean Functional Synthesis: Some Recent Advances

VSO2 - Verified software

UserSupratik Chakraborty (Indian Institute of Technology).

HouseSeminar Room 2, Newton Institute.

ClockMonday 18 July 2022, 13:00-13:45

Isaac Newton Institute Seminar Series

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

HY2W06 - Women in dispersive equations day

UserSonia Boscolo (Aston University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W06 - Women in dispersive equations day

UserKarima Khusnutdinova (Loughborough University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Random matrix models, integrable lattices and thermodynamic limit

HY2W06 - Women in dispersive equations day

UserCostanza Benassi (Northumbria University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Reactive Synthesis tutorial

VSO2 - Verified software

UserRoderick Bloem (Graz University of Technology).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W06 - Women in dispersive equations day

UserManuela Girotti (Saint Mary's University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Rigorous Asymptotics of the KdV Steplike Solutions

HY2W06 - Women in dispersive equations day

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Welcome Talk

HY2W06 - Women in dispersive equations day

UserChristie Marr (Isaac Newton Institute).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Dispersive Riemann problem for the Benjamin-Bona-Mahony equation

HY2W01 - Modulation theory and dispersive shock waves

UserThibault Congy (Northumbria University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Stability of waves on fluid of infinite depth with constant vorticity

HY2W01 - Modulation theory and dispersive shock waves

UserEmilian I Parau (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

About plane periodic waves of the nonlinear Schrödinger equations

HY2W01 - Modulation theory and dispersive shock waves

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Stattic Analysis (Barthe)

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserPatrick Sprenger (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserChristian Klein (Université de Bourgogne).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserMaxim Pavlov (Lebedev Physical Institute).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Static Analysis

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Modulation equations revisited

HY2W01 - Modulation theory and dispersive shock waves

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

An introduction to the theory of localities

GRA2 - Groups, representations and applications: new perspectives

UserEllen Henke (Technische Universität Dresden).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserPavel Lushnikov (University of New Mexico).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Initial-boundary value problems for Boussinesq-type systems

HY2W01 - Modulation theory and dispersive shock waves

UserDionyssis Mantzavinos (University of Kansas).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserVictor Shrira (Keele University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

p-adic Hodge theory and Chow groups of Calabi-Yau 3-folds

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

UserWayne Raskind (Wayne State University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Wave Breaking in Undular Bores

HY2W01 - Modulation theory and dispersive shock waves

UserHenrik Kalisch (Universitetet i Bergen).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Dispersive Shock Waves in Lattices: A Dimension Reduction Approach

HY2W01 - Modulation theory and dispersive shock waves

UserChristopher Chong (Bowdoin College).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserAli Demirci (Instanbul Technical University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserEfim Pelinovsky (None / Other).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Dispersive shock wave of the KP equation

HY2W01 - Modulation theory and dispersive shock waves

UserYuji Kodama (Ohio State University).

HouseSeminar Room 1, Newton Institute.

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

Cambridge Statistics Clinic

Statistics Clinic Summer 2022 I

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

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

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

Isaac Newton Institute Seminar Series

Free resolutions from opposite Schubert varieties in minuscule homogeneous spaces

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

UserSara Angela Filippini (Jagiellonian University).

HouseSeminar Room 2, Newton Institute.

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

Worms and Bugs

Introducing JUNE

UserFrank Krauss, Durham University.

HouseZoom.

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

Isaac Newton Institute Seminar Series

Verified Software Toolchains: Towards algebraic foundations for alignment

VSO2 - Verified software

UserDavid Naumann (Stevens Institute of Technology).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Verified Software Toolchains: Fiat-Cryptography

VSO2 - Verified software

User Adam Chlipala (Massachusetts Institute of Technology).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Generalized Rankine -- Hugoniot relations for shocks in dispersive media

HY2W01 - Modulation theory and dispersive shock waves

UserSergey Gavrilyuk (Aix Marseille Université).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Verified Software Toolchains: Foundational verification of C programs using VST

VSO2 - Verified software

UserLennart Beringer (Princeton University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 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

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Verified Software Toolchains: CN: A separation logic refinement type system for C

VSO2 - Verified software

UserDhruv Makwana (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 13 July 2022, 10:45-11:15

Isaac Newton Institute Seminar Series

Transition fronts and their universality classes

HY2W01 - Modulation theory and dispersive shock waves

UserAnna Vainchtein (University of Pittsburgh).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

The Mirror Clemens-Schmid Sequence

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

UserAlan Thompson (Loughborough University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserMichel Benoit (Electricté de France).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserRicardo Barros (Loughborough University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Dispersive shock waves in coastal flows

HY2W01 - Modulation theory and dispersive shock waves

UserTed Johnson (University College London).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Modulation of short surface waves by long internal waves

HY2W01 - Modulation theory and dispersive shock waves

UserWooyoung  Choi (New Jersey Institute of Technology).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

A recursive formula for plethysm coefficients and some applications

GRA2 - Groups, representations and applications: new perspectives

UserStacey Law (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserKarima Khusnutdinova (Loughborough University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Three-dimensional internal waves in the lower atmosphere

HY2W01 - Modulation theory and dispersive shock waves

UserXudan Luo (Chinese Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Modulated Waves in Electrodynamics and Optics. Historical Perspective

HY2W01 - Modulation theory and dispersive shock waves

UserLev Ostrovsky (University of Colorado Boulder).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

HY2W01 - Modulation theory and dispersive shock waves

UserNicolas Pavloff (Université Paris-Saclay).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Néron models of generalized Jacobians

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

UserAnthony Scholl (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

The hydrodynamics of soliton gases

HY2W01 - Modulation theory and dispersive shock waves

UserBenjamin Doyon (King's College London).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Linearisable Abel equations and the Gurevich-Pitaevskii problem

HY2W01 - Modulation theory and dispersive shock waves

UserStanislav Opanasenko (Loughborough University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Modulational Stability for Equations of Whitham Type

HY2W01 - Modulation theory and dispersive shock waves

UserWesley Perkins (Lehigh University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Verified Machine Learning

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Frequency Downshifting: A Dispersive Whitham Perspective

HY2W01 - Modulation theory and dispersive shock waves

UserDaniel Ratliff (Northumbria University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Verified Machine Learning

VSO2 - Verified software

User.

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Whitham modulation theory and water waves

HY2W01 - Modulation theory and dispersive shock waves

UserThomas Bridges (University of Surrey).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

VS2W01 - Vistas in Verified Software

UserNeel Krishnaswami (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

A soliton gas versus a soliton

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

UserTamara Grava (SISSA).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

TBA

VS2W01 - Vistas in Verified Software

UserThomas Henzinger (IST Austria).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Interpreters for Free

VS2W01 - Vistas in Verified Software

UserPhilip Wadler (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Automatic Detecting Billion $ Coding Errors with Static Program Analysis

VS2W01 - Vistas in Verified Software

UserMooly Sagiv (Tel Aviv University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Static Analysis for Data Scientists

VS2W01 - Vistas in Verified Software

UserCaterina Urban (INRIA).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

GRA2 - Groups, representations and applications: new perspectives

UserAlexandre Zalesski (University of East Anglia).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Contributed Talks

VS2W01 - Vistas in Verified Software

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

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

VS2W01 - Vistas in Verified Software

UserNikhil Swamy (Microsoft (USA)).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Wrestling with real systems

VS2W01 - Vistas in Verified Software

UserPeter Sewell (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

In Defense of Software Testing & On Techniques for Continuous Testing

VS2W01 - Vistas in Verified Software

UserCristian Cadar (Imperial College London).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Cooperative Software Verification: Combination Approaches that Share Information

VS2W01 - Vistas in Verified Software

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

The business of proof

VS2W01 - Vistas in Verified Software

UserByron Cook (Amazon).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Syntomic complexes of regular schemes

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

UserAkhil Mathew (University of Chicago).

HouseSeminar Room 2, Newton Institute.

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

Worms and Bugs

Identifying sources of transmission for zoonotic mosquito-borne viruses

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

HouseZoom.

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

Isaac Newton Institute Seminar Series

TBA

VS2W01 - Vistas in Verified Software

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Verified Secure Routing

VS2W01 - Vistas in Verified Software

UserPeter Müller (ETH Zürich).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Formally Verifed Numerical Methods

VS2W01 - Vistas in Verified Software

UserAndrew Appel (Princeton University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Bloch-Kato Conjectures and Rational Points on Curves

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

UserDavid Corwin (Ben-Gurion University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Verifying a Virtualization Stack at BedRock Systems

VS2W01 - Vistas in Verified Software

UserGregory Malecha (Bed Rock Systems).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Program Verification: a 70+-Year History

VS2W01 - Vistas in Verified Software

UserMoshe Vardi (Rice University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Extracting a certified OCaml library from Coq. 

VS2W01 - Vistas in Verified Software

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

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

The soluble graph of a finite group

GRA2 - Groups, representations and applications: new perspectives

UserTim Burness (University of Bristol).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Network Verification for Azure Reliability

VS2W01 - Vistas in Verified Software

UserAndrey Rybalchenko (Microsoft (UK)).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Experiments with Concurrent Kleene Algebra

VS2W01 - Vistas in Verified Software

UserBernhard Möller (Universität Augsburg).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Panel

VS2W01 - Vistas in Verified Software

User.

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Bott’s residue formula in A1-enumerative geometry

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

UserSabrina Pauli (Universität Duisburg-Essen).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

TBA

VS2W01 - Vistas in Verified Software

UserDavid Basin (ETH Zürich).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 July 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

TBA

VS2W01 - Vistas in Verified Software

UserPhilippa Gardner (Imperial College London).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Stainless as a Verifying Compiler

VS2W01 - Vistas in Verified Software

UserViktor Kuncak (EPFL - Ecole Polytechnique Fédérale de Lausanne).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 July 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

TBA

VS2W01 - Vistas in Verified Software

UserDaniel Kroening (University of Oxford).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Growth in groups and CFSG-free proofs

GRA2 - Groups, representations and applications: new perspectives

UserLaszlo Pyber (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

ClockThursday 30 June 2022, 16:00-17: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 back

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

UserOlivier Fouquet (Université de Franche-Comté).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 29 June 2022, 16:00-17:00

Worms and Bugs

Critical weaknesses in shielding strategies for COVID-19

UserCameron Smith & Kit Yates, University of Bath.

HouseZoom.

ClockWednesday 29 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Localization theorem for algebraic stacks

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

UserCharanya Ravi (Max Planck Institute for Mathematics).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 28 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Monodromy groups of rational functions

GRA2 - Groups, representations and applications: new perspectives

UserMichael Zieve (University of Michigan).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 28 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Motivic invariants of birational maps

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

UserEvgeny Shinder (University of Sheffield).

HouseSeminar Room 2, Newton Institute.

ClockMonday 27 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Special values of Zeta-functions of regular schemes projective over the integers

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserStephen Lichtenbaum (Brown University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 24 June 2022, 15:00-16:00

Isaac Newton Institute Seminar Series

Applications of arithmetic holonomicity theorems

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserYunqing Tang (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 24 June 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Multiplicative properties of higher regulators via current transforms

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserPaulo Lima-Filho (Texas A&M University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 24 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Tame class field theory over local fields

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserAmalendu Krishna (Indian Institute of Science).

HouseSeminar Room 1, Newton Institute.

ClockFriday 24 June 2022, 09:45-10:45

Isaac Newton Institute Seminar Series

Fusion system, p-completed classifying spaces, loops, (co)singularity categories

GRA2 - Groups, representations and applications: new perspectives

UserDavid Benson (University of Aberdeen).

HouseSeminar Room 2, Newton Institute.

ClockThursday 23 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Extended Period Mapping - Clay Lecturer

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserPhillip Griffiths (Institute for Advanced Study, Princeton).

HouseSeminar Room 1, Newton Institute.

ClockThursday 23 June 2022, 15:00-16:00

Isaac Newton Institute Seminar Series

TBA

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserGregory Pearlstein (Texas A&M University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 23 June 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Panel Discussion

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

User.

HouseNo Room Required.

ClockThursday 23 June 2022, 12:30-13:00

Isaac Newton Institute Seminar Series

Talk 15 The SPI-M/SAGE Route into Policy: Reflections and Future Planning

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserLouise Dyson (University of Warwick).

HouseNo Room Required.

ClockThursday 23 June 2022, 12:05-12:30

Isaac Newton Institute Seminar Series

Talk 14 The Post Pandemic City: Exploring Urban Resilience

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserMichael Batty (University College London).

HouseNo Room Required.

ClockThursday 23 June 2022, 11:40-12:05

Isaac Newton Institute Seminar Series

Regulators in function fields arithmetic

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserQuentin Gazda (Max Planck Institute for Mathematics).

HouseSeminar Room 1, Newton Institute.

ClockThursday 23 June 2022, 11:35-12:15

Isaac Newton Institute Seminar Series

Zagier's polylogarithm conjecture on $\zeta_F(4)$ and an explicit 4-ratio

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserSteven Charlton (Universität Hamburg).

HouseSeminar Room 1, Newton Institute.

ClockThursday 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 Immunology

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserTom Finnie (UK Health Security Agency).

HouseNo Room Required.

ClockThursday 23 June 2022, 10:55-11:20

Isaac Newton Institute Seminar Series

Talk 12 Incorporating Behaviour into Models - Challenges and Questions

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserEdward Hill (University of Warwick).

HouseNo Room Required.

ClockThursday 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

UserAnna Seale (University of Warwick).

HouseNo Room Required.

ClockThursday 23 June 2022, 10:05-10:30

Isaac Newton Institute Seminar Series

Short Introduction and Recap from Yesterday

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

User.

HouseNo Room Required.

ClockThursday 23 June 2022, 10:00-10:05

Isaac Newton Institute Seminar Series

Elliptic KZB equations via the universal vector extension

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserTiago Jardim da Fonseca (Universidade Estadual de Campinas).

HouseSeminar Room 1, Newton Institute.

ClockThursday 23 June 2022, 09:45-10:25

Isaac Newton Institute Seminar Series

Dinner at Murray Edwards College

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

User.

HouseNo Room Required.

ClockWednesday 22 June 2022, 19:00-19:00

Isaac Newton Institute Seminar Series

Drinks Reception/Networking

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

User.

HouseNo Room Required.

ClockWednesday 22 June 2022, 16:45-18:00

Isaac Newton Institute Seminar Series

Questions and Discussion

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

User.

HouseNo Room Required.

ClockWednesday 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

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 22 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Talk 10 Models for Vulnerable Settings: Hazard Assessment, Analysis and Planning

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserIan Hall (University of Manchester).

HouseNo Room Required.

ClockWednesday 22 June 2022, 15:50-16:15

Isaac Newton Institute Seminar Series

Talk 9 Methods for Estimating the R Number

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserAnne Cori (Imperial College London).

HouseNo Room Required.

ClockWednesday 22 June 2022, 15:25-15:50

Isaac Newton Institute Seminar Series

Tea and Coffee Break

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

User.

HouseNo Room Required.

ClockWednesday 22 June 2022, 15:00-15:25

Isaac Newton Institute Seminar Series

Talk 8 Early Days Modelling for New Things

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserRosalind Eggo (London School of Hygiene and Tropical Medicine).

HouseNo Room Required.

ClockWednesday 22 June 2022, 14:35-15:00

Isaac Newton Institute Seminar Series

Talk 7 Modelling to Support Decision Making – Personal Reflections

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserCharlotte Watts (Foreign, Commonwealth and Development Office).

HouseNo Room Required.

ClockWednesday 22 June 2022, 14:15-14:35

Algebraic Geometry Seminar

A tropical version of Donagi's n-gonal construction

UserFelix Röhrle, University of Frankfurt.

HouseCMS MR9.

ClockWednesday 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 Them

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserJames Wood (University of Cambridge).

HouseNo Room Required.

ClockWednesday 22 June 2022, 13:50-14:15

Isaac Newton Institute Seminar Series

Active Brownian Particles and Chemotaxis

FDE2 - Fractional differential equations

UserOscar de Wit (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 22 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Active Brownian Particles and chemotaxis

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

UserOscar de Wit (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 22 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Active Brownian Particles and chemotaxis

TUR - Mathematical aspects of turbulence: where do we stand?

UserOscar de Wit (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 22 June 2022, 13:00-14:00

CMIH Hub seminar series

Gut microbiome, cognitive function and brain structure: a multi-omics integration analysis

UserJusheng Zheng, School of Life Sciences, Westlake University, China.

HouseVirtual (see abstract for Zoom link).

ClockWednesday 22 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Discussion

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

User.

HouseNo Room Required.

ClockWednesday 22 June 2022, 12:30-12:50

Isaac Newton Institute Seminar Series

Talk 5 Modelling Outbreaks: Models, Data and Policy

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserMatt Keeling (University of Warwick).

HouseNo Room Required.

ClockWednesday 22 June 2022, 12:05-12:30

Isaac Newton Institute Seminar Series

Talk 4 Mobility and Human Behaviour – Urban Analytics

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserFred Shone (Arup).

HouseNo Room Required.

ClockWednesday 22 June 2022, 11:40-12:05

Isaac Newton Institute Seminar Series

Rationally Inequivalent Points on Generic Hypersurfaces

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserXi Chen (University of Alberta).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 22 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Phase Transitions in Geophysical Turbulence

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

UserSantiago Benavides (University of Warwick).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 22 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Phase Transitions in Geophysical Turbulence

TUR - Mathematical aspects of turbulence: where do we stand?

UserSantiago Benavides (University of Warwick).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 22 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Phase Transitions in Geophysical Turbulence (copy)

FDE2 - Fractional differential equations

UserSantiago Benavides (University of Warwick).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 22 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Talk 3 Aerosols, Ventilation and the Environment: Competing Agonist-Antagonists

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserStuart Dalziel (University of Cambridge).

HouseNo Room Required.

ClockWednesday 22 June 2022, 10:55-11:20

Isaac Newton Institute Seminar Series

Talk 2 Dynamic Microsimulation for Epidemics – Urban Analytics

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserMark Birkin (University of Leeds).

HouseNo Room Required.

ClockWednesday 22 June 2022, 10:25-10:55

Isaac Newton Institute Seminar Series

Talk 1 Background/Context

TGM124 - Modelling to Support Resilience for Pandemics – Open Questions

UserMike Cates (University of Cambridge), Julia Gog (University of Cambridge).

HouseNo Room Required.

ClockWednesday 22 June 2022, 10:05-10:25

Isaac Newton Institute Seminar Series

p-adic integrals and rational points on families of curves

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserNetan Dogra (King's College London).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 22 June 2022, 09:45-10:45

Isaac Newton Institute Seminar Series

Differential equations and mixed Hodge structures

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserMatt Kerr (Washington University in St. Louis).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 June 2022, 15:00-16:00

Isaac Newton Institute Seminar Series

Motivic cohomology of singular varieties

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserMatthew Morrow (Institut de Mathématiques de Jussieu).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 June 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Universal Weil cohomology

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserBruno Kahn (Institut de Mathématiques de Jussieu).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Bounds for the diameters of orbital graphs of affine groups

GRA2 - Groups, representations and applications: new perspectives

UserAttila Maróti (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 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

UserFrancis Brown (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 21 June 2022, 09:45-10:45

Isaac Newton Institute Seminar Series

Degeneration loci of l-adic local systems

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserAnna Cadoret (Sorbonne Université).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 June 2022, 15:00-16:00

Isaac Newton Institute Seminar Series

On the modularity of elliptic curves over imaginary quadratic fields

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserAna Caraiani (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 June 2022, 13:30-14:30

Cosmology Lunch

Small-Scale Structure in Vector Dark Matter

Zoom link: https://zoom.us/j/91709058845.

UserMustafa Amin, Rice University.

HouseCMS, Pav. B, CTC Common Room (B1.19) [Potter Room].

ClockMonday 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 conjecture

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserSpencer Bloch (University of Chicago).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Path integrals and p-adic L-functions

KA2W02 - Arithmetic geometry, cycles, Hodge theory, regulators, periods and heights

UserMinhyong Kim (International Centre for Mathematical Sciences).

HouseSeminar Room 1, Newton Institute.

ClockMonday 20 June 2022, 09:45-10:45

DPMMS Conferences

Combinatorics Meets Model Theory

UserVarious.

HouseMR4.

ClockMonday 20 June 2022, 09:00-17:00

Junior Geometry Seminar

Localization theorems in Kähler geometry

UserAlexia Corradini, Institut Polytechnique de Paris.

HouseMR13.

ClockFriday 17 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Lower bound on the radius of analyticity for solutions of Navier-Stokes

TUR - Mathematical aspects of turbulence: where do we stand?

UserMilton da Costa Lopes Filho (Universidade Federal do Rio de Janeiro (UFRJ)).

HouseSeminar Room 2, Newton Institute.

ClockFriday 17 June 2022, 14:00-15:00

Geometric Group Theory (GGT) Seminar

Computing bounded cohomology of discrete groups

UserFrancesco Fournier-Facio (ETH Zurich).

HouseMR13.

ClockFriday 17 June 2022, 13:45-14:45

DAMTP Friday GR Seminar

Black tsunamis and naked singularities

UserMarija Tomasevic (CPHT, Ecole Polytechnique).

HouseZoom.

ClockFriday 17 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

On finite presentation for the tame fundamental group

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserVasudevan Srinivas (Tata Institute of Fundamental Research).

HouseSeminar Room 1, Newton Institute.

ClockFriday 17 June 2022, 11:30-12:30

Isaac Newton Institute Seminar Series

Hermitian K-theory of stable infinity categories

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserBaptiste Calmès (Université d’Artois).

HouseSeminar Room 1, Newton Institute.

ClockFriday 17 June 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

A nilpotent variant cdh-topology

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserShane Kelly (University of Tokyo).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Cycles in Permutation Groups

GRA2 - Groups, representations and applications: new perspectives

UserCheryl Praeger (University of Western Australia).

HouseSeminar Room 2, Newton Institute.

ClockThursday 16 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Algebraic Morava K-theory and algebraic groups

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserNikita Semenov (Ludwig-Maximilians-Universität München).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 June 2022, 14:30-15:30

Combinatorics Seminar

Infinite Maker-Breaker games

UserNathan Bowler (Hamburg) .

HouseMR12.

ClockThursday 16 June 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

Bacterial Turbulence: A comparison with its fluid-turbulence counterpart

TUR - Mathematical aspects of turbulence: where do we stand?

UserAnupam Gupta (Indian Institute of Technology).

HouseSeminar Room 2, Newton Institute.

ClockThursday 16 June 2022, 14:00-15:30

Isaac Newton Institute Seminar Series

TBA

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

User.

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 June 2022, 13:30-14:30

Quantum Fields and Strings Seminars

Line Operator Quantum Numbers and Anomalies

UserT. Daniel Brennan (Chicago).

HousePotter Room, DAMTP.

ClockThursday 16 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Projective bundle formula for derived cobordism

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserToni Annala (University of British Columbia).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 June 2022, 11:30-12:30

Isaac Newton Institute Seminar Series

Strong A^1-invariance of A^1-connected components of a reductive algebraic group

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserAnand Sawant (Tata Institute of Fundamental Research).

HouseSeminar Room 1, Newton Institute.

ClockThursday 16 June 2022, 10:00-11:00

Worms and Bugs

What activity types posed the greatest risk of SARS-CoV-2 infection for a university community?

UserKirsty Bolton (University of Nottingham) & Emma Fairbanks (Swiss Tropical and Public Health Institute).

House Centre for Mathematical Sciences MR12, CMS.

ClockWednesday 15 June 2022, 16:00-17:00

CCIMI Seminars

The implicit boundary integral method

UserRichard Tsai (UT Austin).

HouseCentre for Mathematical Sciences, MR5.

ClockWednesday 15 June 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

Adapting the Fokas transform method to solve certain fractional PDEs

FDE2 - Fractional differential equations

UserArran Fernandez (Eastern Mediterranean University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 15 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Adapting the Fokas transform method to solve certain fractional PDEs

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

UserArran Fernandez (Eastern Mediterranean University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 15 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Adapting the Fokas transform method to solve certain fractional PDEs

TUR - Mathematical aspects of turbulence: where do we stand?

UserArran Fernandez (Eastern Mediterranean University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 15 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

The slices of KGL over arbitrary bases

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserTom Bachmann (Ludwig-Maximilians-Universität München).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 15 June 2022, 11:30-12:30

Isaac Newton Institute Seminar Series

On Energy Conservation for the hydrostatic Euler equations: an Onsager Conjecture

TUR - Mathematical aspects of turbulence: where do we stand?

UserDaniel Boutros (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 15 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

On Energy Conservation for the hydrostatic Euler equations: an Onsager Conjecture

FDE2 - Fractional differential equations

UserDaniel Boutros (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 15 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

On Energy Conservation for the hydrostatic Euler equations: an Onsager Conjecture

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

UserDaniel Boutros (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 15 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Motivic Euler characteristics and the Motivic Segal-Becker Theorem

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserRoy Joshua (Ohio State University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 15 June 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

The Hilbert scheme of points in affine space

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserBurt Totaro (University of California, Los Angeles).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Convergence to equilibrium and photon condensation in the Kompaneets model of Compton scattering

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

UserRobert Pego (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 14 June 2022, 14:50-15:35

Isaac Newton Institute Seminar Series

A version of Vorst's conjecture in positive and mixed characteristic

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserGeorg Tamme (Johannes Gutenberg-Universität Mainz).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 June 2022, 14:30-15:30

Number Theory Seminar

Hecke orbits on Shimura varieties of Hodge type

UserPol van Hoften (Stanford University).

HouseMR13.

ClockTuesday 14 June 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

TBA

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 June 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

A proof of Harris-type theorems based on semigroup arguments

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

UserJosé Alfredo Cañizo Rincón (Universidad de Granada).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 14 June 2022, 13:30-14:15

Isaac Newton Institute Seminar Series

Stacks and equivariant cohomology

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserAdeel Khan (Institute of Mathematics, Academia Sinica, Taipei, Taiwan).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 June 2022, 11:30-12:30

Isaac Newton Institute Seminar Series

Standard Generators of Finite Fields and their Cyclic Subgroups

GRA2 - Groups, representations and applications: new perspectives

UserFrank Lübeck (RWTH Aachen University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 14 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

On the logarithmic Hochschild-Kostant-Rosenberg theorem

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserFederico Binda (University of Milan).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 14 June 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

End

TGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons

User.

HouseNo Room Required.

ClockMonday 13 June 2022, 21:30-21:30

Isaac Newton Institute Seminar Series

Panel discussion

TGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons

User.

HouseNo Room Required.

ClockMonday 13 June 2022, 21:00-21:30

Isaac Newton Institute Seminar Series

Three public-facing talks

TGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons

User.

HouseNo Room Required.

ClockMonday 13 June 2022, 19:30-21:00

Isaac Newton Institute Seminar Series

Main poster session with finger buffet and refreshments

TGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons

User.

HouseNo Room Required.

ClockMonday 13 June 2022, 18:00-19:00

Isaac Newton Institute Seminar Series

Elementary excitations for the 3D Navier-Stokes equations

TUR - Mathematical aspects of turbulence: where do we stand?

UserKoji Ohkitani (Research Institute for Mathematical Sciences , Kyoto University).

HouseSeminar Room 2, Newton Institute.

ClockMonday 13 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Motivic Hochschild homology

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserKyle Ormsby (Reed College).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Flash talks by poster presenters

TGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons

User.

HouseNo Room Required.

ClockMonday 13 June 2022, 15:00-15:30

Isaac Newton Institute Seminar Series

Pencils of quadrics and period index questions for hyperelliptic curves

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserParimala Raman (Emory University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 June 2022, 14:30-15:30

Partial Differential Equations seminar

Orientation mixing in active suspensions

UserHelge Dietert (Paris Diderot).

HouseCMS, MR13.

ClockMonday 13 June 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

TBA

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

User.

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 June 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

Session 2 of ECR Showcase

TGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons

User.

HouseNo Room Required.

ClockMonday 13 June 2022, 13:25-15:00

Cosmology Lunch

Effects and uses of CMB lensing

Zoom link: https://zoom.us/j/99304579109

UserAntony Lewis (U. Sussex).

HouseCMS, Pav. B, CTC Common Room (B1.19) [Potter Room].

ClockMonday 13 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

The relation between Quillen K-theory and Milnor K-theory in degree 4

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserOliver Roendigs (Universität Osnabrück).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 June 2022, 11:30-12:30

Isaac Newton Institute Seminar Series

Session 1 of ECR Showcase

TGM125 - Modelling the COVID-19 Pandemic: Achievements and Lessons

User.

HouseNo Room Required.

ClockMonday 13 June 2022, 10:30-12:45

Isaac Newton Institute Seminar Series

Representations of Galois groups and Algebraic K-theory of fields

KA2W01 - Algebraic K-theory, motivic cohomology and motivic homotopy theory

UserGunnar Carlsson (Stanford University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 13 June 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

Close

SASW09 - International conference on computability, complexity and randomness

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 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

UserGareth Tracey (University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockFriday 10 June 2022, 15:50-16:50

Junior Geometry Seminar

Mapping class groups of h-cobordant manifolds

UserSamuel Muñoz Echániz.

HouseMR16.

ClockFriday 10 June 2022, 15:00-16:00

Isaac Newton Institute Seminar Series

Toward deciding the AE-theory of the Sigma02-enumeration degrees

SASW09 - International conference on computability, complexity and randomness

UserSteffen Lempp (University of Wisconsin-Madison).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 June 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

Decomposition of spin representations of symmetric groups in characteristic 2

GRA2 - Groups, representations and applications: new perspectives

UserLucia Morotti (Leibniz Universität Hannover).

HouseSeminar Room 2, Newton Institute.

ClockFriday 10 June 2022, 14:10-15:10

Isaac Newton Institute Seminar Series

Singularity formation in the Euler equation

TUR - Mathematical aspects of turbulence: where do we stand?

UserTarek Elgindi (Duke University).

HouseNo Room Required.

ClockFriday 10 June 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

Learning and randomness

SASW09 - International conference on computability, complexity and randomness

UserTomasz Steifer (Pontificia Universidad Católica de Chile, Polish Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 June 2022, 13:30-14:30

DAMTP Friday GR Seminar

Title to be confirmed

UserBilyana Tomova (DAMTP).

HousePotter room.

ClockFriday 10 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

On Sharpness for Fusion Systems

GRA2 - Groups, representations and applications: new perspectives

UserValentina Grazian (Università degli Studi di Milano - Bicocca).

HouseSeminar Room 2, Newton Institute.

ClockFriday 10 June 2022, 13:00-14:00

CMIH Hub seminar series

Analysis and Applications of Deep Cascade Learning

This 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.

UserDoris Xin Du.

HouseThis talk will be held in a hybrid format at MR 2, Centre of Mathematical Sciences, CB3 0WA. Alternatively you can also join with Zoom (see abstract for Zoom link)..

ClockFriday 10 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Degree spectra of computable functions on natural numbers with standard order

SASW09 - International conference on computability, complexity and randomness

UserDariusz Kalociński (Polish Academy of Sciences).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Methods for finding rational points

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

UserNetan Dogra (King's College London).

HouseSeminar Room 2, Newton Institute.

ClockFriday 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

UserVasco Brattka (Universität der Bundeswehr München, University of Cape Town).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 June 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

Weihrauch reducibility on multi-represented spaces

SASW09 - International conference on computability, complexity and randomness

UserTakayuki Kihara (Nagoya University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 10 June 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Automorphic forms, Galois representations

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

UserFred Diamond (King's College London).

HouseSeminar Room 2, Newton Institute.

ClockFriday 10 June 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Generalizing a question of Gromov, Part II

SASW09 - International conference on computability, complexity and randomness

UserJohanna Franklin (Hofstra University, None / Other).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

title and abstract tbc

GRA2 - Groups, representations and applications: new perspectives

UserEmmanuel Breuillard (University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockThursday 09 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Multifunctions computing sequentially discontinuous multifunctions

SASW09 - International conference on computability, complexity and randomness

UserGiovanni Solda (Universiteit Gent).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 June 2022, 14:30-15:30

CQIF Seminar

On the discrimination of quantum measurements

UserAleksandra Krawiec, Institute of Theoretical and Applied Informatics, Polish Academy of Sciences.

HouseMR2 Centre for Mathematical Sciences.

ClockThursday 09 June 2022, 14:15-15:15

Isaac Newton Institute Seminar Series

Classification problem for effective structures

SASW09 - International conference on computability, complexity and randomness

UserEkaterina Fokina (Vienna University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 June 2022, 13:30-14:30

Quantum Fields and Strings Seminars

Cauchy Slice Holography

UserGoncalo Araujo-Regado (DAMTP).

HousePotter Room, DAMTP.

ClockThursday 09 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

On Ramsey-like theorems on the rationals and the Rado graph

SASW09 - International conference on computability, complexity and randomness

UserPeter Cholak (University of Notre Dame).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Hodge theory, Mumford-Tate groups

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

UserDonu Arapura (Purdue University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 09 June 2022, 10:15-11:15

Isaac Newton Institute Seminar Series

Luzin's N and randomness reflection

SASW09 - International conference on computability, complexity and randomness

UserArno Pauly (Swansea University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 June 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

Subclasses of the weakly computable reals

SASW09 - International conference on computability, complexity and randomness

UserKenshi Miyabe (Meiji University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 09 June 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Iwasawa theory : ONLINE

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

UserMahesh Kakde (Indian Institute of Science).

HouseSeminar Room 2, Newton Institute.

ClockThursday 09 June 2022, 09:00-10:00

Cambridge Statistics Clinic

Statistics Clinic Easter 2022 IV

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

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockWednesday 08 June 2022, 16:30-18:00

Isaac Newton Institute Seminar Series

Chuck Weibel: K-theory, motivic cohomology, Chow groups II

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

UserCharles Weibel (Rutgers, The State University of New Jersey).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 08 June 2022, 14:15-15:30

Algebraic Geometry Seminar

Geometry of stable pairs

UserFatemeh Rezaee, University of Edinburgh.

HouseCMS MR13.

ClockWednesday 08 June 2022, 14:15-15:15

Isaac Newton Institute Seminar Series

Akilesh Verma title and abstract tba

FDE2 - Fractional differential equations

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 08 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Akilesh Verma title and abstract tba

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 08 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Akilesh Verma title and abstract tba

TUR - Mathematical aspects of turbulence: where do we stand?

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 08 June 2022, 13:00-14:00

Isaac Newton Institute Seminar Series

Computability and Set Theoretic Aspects of Hausdorff Dimension

SASW09 - International conference on computability, complexity and randomness

UserTheodore Slaman (University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 08 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Jo Evans title and abstract tba

TUR - Mathematical aspects of turbulence: where do we stand?

UserJo Evans (University of Warwick).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 08 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Jo Evans title and abstract tba

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

UserJo Evans (University of Warwick).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 08 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Jo Evans title and abstract tba

FDE2 - Fractional differential equations

User.

HouseSeminar Room 2, Newton Institute.

ClockWednesday 08 June 2022, 11:00-12:00

Isaac Newton Institute Seminar Series

Step functions in the Weihrauch lattice

SASW09 - International conference on computability, complexity and randomness

UserLinda Westrick (Pennsylvania State University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 08 June 2022, 10:00-11:00

Isaac Newton Institute Seminar Series

Studying Introreducibility

SASW09 - International conference on computability, complexity and randomness

UserDaniel Turetsky (Victoria University of Wellington).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 08 June 2022, 09:00-10:00

Isaac Newton Institute Seminar Series

Finish & Drinks/Networking Reception (Posters)

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

User.

HouseNo Room Required.

ClockTuesday 07 June 2022, 16:30-17:30

Isaac Newton Institute Seminar Series

Intermittency in turbulence and the 3D Navier-Stokes regularity problem - virtual talk

TUR - Mathematical aspects of turbulence: where do we stand?

UserAseel Farhat (Florida State University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 07 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Finite-State Mutual Dimension

SASW09 - International conference on computability, complexity and randomness

UserAdam Case (Drake University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 June 2022, 16:00-17:00

Isaac Newton Institute Seminar Series

Panel Discussion and Q&A

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

User.

HouseNo Room Required.

ClockTuesday 07 June 2022, 15:30-16:30

Isaac Newton Institute Seminar Series

How Do We Measure the Impact of Asymptomatic Testing in the UK?

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserMichael Tildesley (University of Warwick).

HouseNo Room Required.

ClockTuesday 07 June 2022, 14:50-15:15

Isaac Newton Institute Seminar Series

Nikita Simonov - Stability in Gagliardo-Nirenberg-Sobolev inequalities

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

User.

HouseSeminar Room 2, Newton Institute.

ClockTuesday 07 June 2022, 14:50-15:35

Isaac Newton Institute Seminar Series

Insertion in normal numbers

SASW09 - International conference on computability, complexity and randomness

UserVerónica Becher (Universidad de Buenos Aires).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 June 2022, 14:30-15:30

Isaac Newton Institute Seminar Series

COVID-19 Testing Protocols at School

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserVittoria Colizza (INSERM).

HouseNo Room Required.

ClockTuesday 07 June 2022, 14:25-14:50

Isaac Newton Institute Seminar Series

Lessons Learnt from the UK’s Test, Trace and Isolate Programme

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserElizabeth Fearon (London School of Hygiene and Tropical Medicine).

HouseNo Room Required.

ClockTuesday 07 June 2022, 14:00-14:25

Probability

A dynamical approach to lattice Yang-Mills

UserHao Shen (Wisconsin, Madison).

HouseMR12, Centre for Mathematical Sciences.

ClockTuesday 07 June 2022, 14:00-15:00

Isaac Newton Institute Seminar Series

20 years of K-triviality

SASW09 - International conference on computability, complexity and randomness

UserAndre Nies (University of Auckland).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 June 2022, 13:30-14:30

Isaac Newton Institute Seminar Series

title and abstract tba

FKT - Frontiers in kinetic theory: connecting microscopic to macroscopic scales - KineCon 2022

UserJacques Smulevici (Sorbonne Université).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 07 June 2022, 13:30-14:15

Isaac Newton Institute Seminar Series

Testing Care Home Staff

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserIan Hall (University of Manchester, The Alan Turing Institute, Public Health England).

HouseNo Room Required.

ClockTuesday 07 June 2022, 12:35-13:00

Isaac Newton Institute Seminar Series

Testing to Control Transmission in Hospitals

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserStephanie Evans (Public Health England).

HouseNo Room Required.

ClockTuesday 07 June 2022, 12:10-12:35

Isaac Newton Institute Seminar Series

COVID-19 Testing Policies at Universities

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserKirsty Joy Bolton (University of Nottingham).

HouseNo Room Required.

ClockTuesday 07 June 2022, 11:45-12:10

Isaac Newton Institute Seminar Series

Unconditional Hardness of Approximation

SASW09 - International conference on computability, complexity and randomness

UserAnuj Dawar (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 07 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

Simple binary permutation groups

GRA2 - Groups, representations and applications: new perspectives

UserNick Gill (The Open University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 07 June 2022, 11:15-12:15

Isaac Newton Institute Seminar Series

The Liverpool Mass Asymptomatic Testing Pilot Study and Measuring Sensitivity in the Real World

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserGirvan Burnside (University of Liverpool).

HouseNo Room Required.

ClockTuesday 07 June 2022, 11:00-11:25

Isaac Newton Institute Seminar Series

Within-Host Viral Dynamics and Implications for Asymptomatic Testing

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserTimothy Russell (London School of Hygiene and Tropical Medicine).

HouseNo Room Required.

ClockTuesday 07 June 2022, 10:35-11:00

Isaac Newton Institute Seminar Series

The Development, Testing and Rollout of Lateral Flow Testing in the UK

TGM123 - Asymptomatic Testing and COVID-19: A Retrospective Assessment and Lessons Learned

UserTim Peto (University of Oxford).

HouseNo Room Required.

ClockTuesday 07 June 2022, 10:10-10:35

Please see above for contact details for this list.

 

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