Title Event Type Date  

Formally Verifed Numerical Methods

Andrew Appel Princeton University

VS2W01 Seminar 6 July 2022 – 09:30 to 10:30

Verified Secure Routing

Peter Müller ETH Zürich

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

Abstract nested Hoare triples for modular specification of safety and liveness properties of the I/O behaviour of programs

Bart Jacobs KU Leuven

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

TBA

Sergey Bratus Defense Advanced Research Projects Agency (DARPA)

VS2W01 Seminar 6 July 2022 – 14:30 to 15:30

Syntomic complexes of regular schemes

Akhil Mathew University of Chicago; Clay Mathematics Institute

KAH2 Seminar 6 July 2022 – 16:00 to 17:00

The business of proof

Byron Cook Amazon; University College London

VS2W01 Seminar 6 July 2022 – 16:00 to 17:00

Cooperative Verification: Combination Approaches that Share Information

Dirk Beyer Ludwig-Maximilians-Universität München

VS2W01 Seminar 7 July 2022 – 09:30 to 10:30

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

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

Supported By