Summer School 2023

22-24 August 2023, University of Surrey, Guildford, UK

The 2023 VeTSS Summer School was held on 22-24 August 2023 at University of Surrey, Guildford, UK. You can find recordings of some of the lectures and the associated learning materials below.

If you are interested in attending the 2025 VeTSS Summer School, please the VSS 25 page or join our Zulip channel where details of programme and application form will be posted in early 2025.

Algebraic Semantics and Verification

Georg Struth, University of Sheffield

Build your Own Scalable Static Analysis with the Infer Platform

Jules Villard, Meta

Neural Network Verification with Vehicle

Ekaterina Komendantskaya, Southampton University and Luca Arnaboldi, University of Birmingham

Algebraic Semantics and Verification

Georg Struth University of Sheffield

Build your Own Scalable Static Analysis with the Infer Platform

Jules Villard, Meta

Neural Network Verification with Vehicle

Ekaterina Komendantskaya, Southampton University and Luca Arnaboldi, University of Birmingham