VeTSS Verified Software Workshop, 24th-25th September 2019

The VeTSS workshop on`Verified Software’ will take place on 24th-25th September 2019 at the Isaac Newton Institute for Mathematical Sciences, (INI), Cambridge. This is a forerunner to the six-week summer programme on`Verified Software’ in the summer of 2020,

The workshop comprises two days of talks by world-leading experts from academia, industry and government. Its aim is to bring together verification, systems and security experts interested in formal analysis, industrialists interested in software validation, and government scientists interested in reliable software systems, and to introduce them to the current generation of UK PhD students and postdocs.

The workshop is organised and supported by VeTSS and the Isaac Newton Institute for Mathematical Sciences, Cambridge.


Details of the programme are being finalised and will be announced shortly. Speakers include:

There will also talks by researchers on  projects funded  in the recent VeTSS call for research proposals and  short talks for PhD students, RAs and industrialists to introduce themselves to each other and the audience.


To register, please complete this short online booking form.

There is no charge for the workshop and workshop dinner. The workshop dinner will be held at Westminster College on Tuesday 24th September, with dinner places allocated on a first come first served basis.

Poster Session

We encourage PhD students and RAs to bring a poster, which you will be able to advertise if you wish  in the short talks. Please indicate on the registration form if you plan to bring a poster.

Travel Grants

PhD students may apply for a travel grant, see the Travel grants page.

Travel and Accommodation

Participants are expected to make their own travel and accommodation arrangements.

We do not have any discounted rates and are not in a position to recommend any accommodation in Cambridge.  The Cambridge tourist office website has a search facility  with which to select accommodation by location and price. You may also consider staying at a Cambridge college, nearby ones are Westminster College, Robinson College, Trinity Hall (Wychfield Site) and Selwyn College.