Verified Software Workshop, 24th-25th September 2019

VeTSS and the Isaac Newton Institute for Mathematical Sciences, (INI) welcomed over a hundred delegates to the `Verified Software’ workshop this September in Cambridge.

The workshop was a forerunner to the INI’s six-week summer programme on `Verified Software’ in the summer of 2020 and included talks by world-leading experts from academia, industry and government, a discussion event on Future Challenges by Tony Hoare, John Goodacre and Philippa Gardner and Poster and Lightning talks sessions for PhD students, RAs, academics, industrialists, and government employees to introduce themselves to each other and the audience.

For the full programme of talks, videos of the presentations and slides please see the workshop page.

Delicious Twitter Digg this StumbleUpon Facebook