Verified Trustworthy Software Systems audio and video recordings

Specialist Meeting at Imperial College, Video recordings:

Specialist Meeting Imperial College Timetable and Specialist Meeting Imperial College abstracts

Peter Sewell, Computer Laboratory, University of Cambridge, UK

Warren Hunt, The University of Texas, USA

Anna Slobodova, Centaur Technology, Inc, USA

Andrei Sabelfeld, Chalmers University of Technology, Sweden

Lujo Bauer, Carnegie Mellon University, USA

Alexandra Silva, University College London, UK

Derek Dreyer, Max Planck Institute for Software Systems (MPI-SWS), Germany

Alastair Donaldson, Department of Computing, Imperial College London

Chris Hawblitzel, Microsoft Research, USA

Paul E. McKenney, IBM Linux Technology Center Hillsboro, Oregon

If your schedule allows for it, you can also watch the meeting sessions in one go:

Specialist Meeting day one

Specialist Meeting day two


Scientific Meeting, The Royal Society, recorded audio of the presentations:

Royal Society Scientific Meeting Timetable

Presentations (by order of appearance at the meetings)