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:
- Sandrine Blazy, Inria Rennes
- Ming Fu, Huawei
- Joost-Pieter Katoen, RWTH Aachen University
- Marta Kwiatkowska, Oxford University
- Peter O’Hearn, Facebook London and UCL
- Andreas Rossberg, Dfinity Foundation
- Peter Sewell, Cambridge University
- Jim Woodcock, University of York
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.
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.
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.