VaVAS-2018: International Workshop on the Verification and Validation of Autonomous Systems Oxford, UK, July 18-19, 2018 |
Conference website | https://sites.google.com/site/wsvavas2018/ |
Submission link | https://easychair.org/conferences/?conf=vavas2018 |
Conference program | https://easychair.org/smart-program/FLoC2018/ |
Submission deadline | April 22, 2018 |
**NEW**
We are pleased to announce the EPSRC Network on the Verification and Validation of Autonomous Systems will provide limited travel and subsistence support of up to 300 pounds for PhD students submitting to and participating in this workshop. See the workshop webpage for how to apply.
Autonomous systems are being increasingly developed and used in many areas of society, from driverless cars and unmanned air vehicles, to web-bots and companion robots. A defining characteristic of such systems is that they make decisions for themselves about what to do given their current state, the state of the environment, and the purpose of the system. A key aspect of ensuring that systems with such complex (and often safety-critical) behaviour can be safely deployed is verification and validation.
The workshop aims 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 will include invited speakers, contributed papers, demonstrations and panel sessions.
Submission Guidelines
Submitted contributions should not exceed eight pages using the LaTeX article format. Submitted papers should be in PDF and uploaded to
https://easychair.org/conferences/?conf=vavas2017
Submission of extended abstracts relating to noteworthy, previously published papers is welcome. Three types of submission will be considered:
- Papers of up to eight pages covering novel research
- Extended abstracts (demo) of up to two pages describing demonstrations to be presented at the workshop
- Extended abstracts (paper) of up to two pages reporting on work in progress or previously published work
Each submission should be clearly identified as belonging to one of these categories.
Submissions should make clear the relevance to verification and validation of autonomous systems, identify the main contribution of the work, explain its significance, its novelty, and include comparisons with the relevant literature. Extended abstracts (demo) should describe a demonstration to be presented at the workshop and, if possible, include links to a video relating to the proposed demonstration.
Accepted papers will be collected together as an informal pre-proceedings and made available via the workshop website. Submissions from PC members are encouraged.
List of Topics
The topics covered by the workshop include, but are not limited to, the following:
- Verification of specific autonomous systems.
- Ethics, trust and privacy;
- Routes to certification for autonomous systems;
- Combinations of several approaches;
- Statistical approaches to autonomous systems;
- Simulation approaches to autonomous systems;
- Testing approaches to autonomous systems;
- Formal verification techniques for autonomous systems;
Committees
Program Committee
- Rob Alexander, University of York, UK
- Francesco Belardinelli, University of Evry, France
- Rob Hierons, Brunel University, UK
- Cristian Mattarei, Stanford University, USA
- Alice Miller, University of Glasgow, UK
- Eric Mercer, Brigham Young University, USA
- Dave Parker, University of Birmingham, UK
- Franco Raimondi, Middlesex University, UK
- Kristin Rozier, University of Iowa, USA
- Maria Slavkovic, University of Bergen, Norway
- Antonios Tsourdos, Cranfield University, UK
Organizing committee
Workshop General Chair
- Michael Fisher, University of Liverpool
Workshop Programme Co-Chairs
- Clare Dixon, University of Liverpool
- Brian Logan, University of Nottingham
- Alessio Lomuscio, Imperial College London
Invited Speakers
- Jérémie Guiochet, University of Toulouse III
- Calin Belta, Boston University
- Florian Lier, University of Bielefeld
Publication
Accepted papers will be collected together as an informal pre-proceedings that will be available via the workshop website.
Depending on the success of the event, a journal issue may be organised following the workshop. All papers submitted to the special issue will be re-refereed and will have to adhere to the usual standards of high quality journal articles, including novelty.
Venue
VaVAS 2018 is a satellite workshop of the Federated Logic Conference 2018 (FLoC 2018), 17-18 July 2018, University of Oxford, Oxford, UK.
Sponsors
The workshop is funded by EPSRC through the Network on the Verification and Validation of Autonomous Systems. This is the final workshop organised by the Network which has run a series of events over the last three years about specific topics.
Information about the network and previous events are accessible from https://vavas.org/