Verified Trustworthy Software Systems audio and video recordings

Royal Society Discussion and Scientific Meeting on Verified Trustworthy Software
Systems and the associated Specialist Meeting at Imperial College London.

The meeting, organised by Philippa Gardner with Mike Gordon FRS (Cambridge),
Greg Morrisett (Cornell), Peter O’Hearn (UCL, Facebook) and Fred Schneider (Cornell),

 

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)