Title | Event | Type | Date | |
---|---|---|---|---|
Formally Verifed Numerical Methods Andrew Appel Princeton University |
VS2W01 | Seminar | 6 July 2022 – 09:30 to 10:30 | |
Peter Müller ETH Zürich |
VS2W01 | Seminar | 6 July 2022 – 11:00 to 12:00 | |
Bart Jacobs KU Leuven |
VS2W01 | Seminar | 6 July 2022 – 13:30 to 14:30 | |
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 | |
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 | |
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 | |
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 |