The International Workshop on Verification and Validation of Autonomous Systems (VaVAS)was held 18-19th July, 2018 at the University of Oxford, UK. It was a workshop held as part of the Federated Logic Conference (FLOC).The workshop aimed to bring together researchers working on a range of techniques for verification and validation of autonomous systems, ranging from formal methods to simulation and testing, to present recent work in the area, discuss key difficulties,  and stimulate collaboration.

The workshop was the final event organised by the EPSRC funded Verification and Validation of Autonomous Systems Network. Previous events have focused on particular issues including dynamic testing, ethical, social and trustworthy behaviour, software, sensing and control models, road vehicles, industrial perspectives and legal/regulatory aspects; see vavas.org.

The VaVAS programme included three invited speakers:

• Calin Belta, Boston University, USA. Formal Synthesis of Control Strategies for Dynamical Systems
• Jérémie Guiochet, University of Toulouse III, France. Trust me - I am autonomous
• Florian Lier, Bielefeld University, Germany. Reproducibility in Robotics - The Big 5 Issues

We would like to thank all the people who contributed to making the workshop a success. In particular, we thank the invited speakers for their thought provoking talks, authors for submitting and presenting their work and all the attendees for contributing to the discussion. We also extend our thanks to the Program Committee for their support in reviewing the submissions and the FLOC organisers. We thank Gill Prescott the network administrator for her assistance with organisation.

We acknowledge and thank the EPSRC for their funding via the network supporting the workshop.