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

Contributed Talks

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

Interpreters for Free

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

TBA

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

Verified Machine Learning

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

Verified Machine Learning

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

Supported By