Title Event Type Date  

In Defense of Software Testing & On Techniques for Continuous Testing

Cristian Cadar Imperial College London

VS2W01 Seminar 7 July 2022 – 11:00 to 12:00

Wrestling with real systems

Peter Sewell University of Cambridge

VS2W01 Seminar 7 July 2022 – 13:30 to 14:30

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

A soliton gas versus a soliton

Tamara Grava SISSA; University of Bristol

HYD2 Seminar 8 July 2022 – 15:00 to 16:30

tba

Tamara Grava SISSA; University of Bristol

HYD2 Seminar 8 July 2022 – 15:00 to 16: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

Supported By