Title | Event | Type | Date | |
---|---|---|---|---|
Vistas in Proof-oriented Programming: F*, Everest, and Beyond Nikhil Swamy Microsoft (USA) |
VS2W01 | Seminar | 7 July 2022 – 14:30 to 15:30 | |
VS2W01 | Seminar | 7 July 2022 – 16:00 to 17:00 | ||
Unisingular irreducible representations of finite groups of Lie type in the natural characteristic Alexandre Zalesski University of East Anglia |
GRA2 | Seminar | 7 July 2022 – 16:00 to 17:00 | |
Automatic Detecting Billion $ Coding Errors with Static Program Analysis Mooly Sagiv Tel Aviv University |
VS2W01 | Seminar | 8 July 2022 – 09:30 to 10:30 | |
Philip Wadler University of Edinburgh |
VS2W01 | Seminar | 8 July 2022 – 11:00 to 12:00 | |
Static Analysis for Data Scientists Caterina Urban INRIA |
VS2W01 | Seminar | 8 July 2022 – 13:30 to 14:30 | |
Thomas Henzinger IST Austria |
VS2W01 | Seminar | 8 July 2022 – 14:30 to 15:30 | |
CN: A separation-logic refinement type system for production systems code verification Neel Krishnaswami University of Cambridge |
VS2W01 | Seminar | 8 July 2022 – 16:00 to 17:00 | |
Whitham modulation theory and water waves Thomas Bridges University of Surrey |
HY2W01 | Seminar | 11 July 2022 – 10:00 to 11:00 | |
VSO2 | Seminar | 11 July 2022 – 10:30 to 12:00 | ||
Frequency Downshifting: A Dispersive Whitham Perspective Daniel Ratliff Northumbria University |
HY2W01 | Seminar | 11 July 2022 – 11:30 to 12:00 | |
VSO2 | Seminar | 11 July 2022 – 13:30 to 15:00 | ||
Modulational Stability for Equations of Whitham Type Wesley Perkins Lehigh University; Lyon College |
HY2W01 | Seminar | 11 July 2022 – 14:00 to 14:30 | |
Linearisable Abel equations and the Gurevich-Pitaevskii problem Stanislav Opanasenko Loughborough University |
HY2W01 | Seminar | 11 July 2022 – 14:30 to 15:00 | |
The hydrodynamics of soliton gases Benjamin Doyon King's College London |
HY2W01 | Seminar | 11 July 2022 – 15:00 to 15:30 | |
Modulation theory in two-component Bose-Einstein condensates: the ferromagnetic paradigm Nicolas Pavloff Université Paris-Saclay |
HY2W01 | Seminar | 11 July 2022 – 16:00 to 16:30 | |
Modulated Waves in Electrodynamics and Optics. Historical Perspective Lev Ostrovsky University of Colorado Boulder; University of North Carolina |
HY2W01 | Seminar | 11 July 2022 – 16:30 to 17:00 | |
Three-dimensional internal waves in the lower atmosphere Xudan Luo Chinese Academy of Sciences |
HY2W01 | Seminar | 12 July 2022 – 10:30 to 11:00 | |
On surface and internal ring waves on currents: dispersive hydrodynamics in 3D Karima Khusnutdinova Loughborough University |
HY2W01 | Seminar | 12 July 2022 – 11:00 to 11:30 | |
A recursive formula for plethysm coefficients and some applications Stacey Law University of Cambridge |
GRA2 | Seminar | 12 July 2022 – 11:15 to 12:15 |