================================================================== Call for Papers ================================================================== Workshop on Formal Verification of Autonomous Vehicles https://sites.google.com/site/fvav2017/ 19th September 2017 University of Turin, Italy (co-located with iFM 2017, http://ifm2017.di.unito.it/) ================================================================== ------------------------------------------------------------------ Important Dates: - Paper Submission: Monday, 18th June 2017 - Notification: Monday, 10th July 2017 - Workshop: Tuesday, 19th September 2017 ------------------------------------------------------------------ Objectives and Scope: Current technology is at reach to develop road vehicles that can act fully autonomously. One of the recognised major difficulties is to make the systems safe, as autonomy requires not only avoidance of misbehaviour but also assurance of availability and reliability. This fact has been acknowledged both within the academic society, in the form of an increasing interest in this topic, and within industry, by generally agreeing that these vehicles adhere to the highest levels of international standards, e.g., SIL3/SIL4 for IEC 61508, and ASIL D for ISO 26262. These levels imply the consideration of various formal methods in the development, including static code analysis, model checking, and formal specification and verification. However, incorporating formal methods into the design of autonomous vehicles presents significant new challenges, particularly due to the complex integration of discrete and continuous controllers. The main challenges associated with the formal design of autonomous vehicles includes modelling, specification, verification and synthesis. The aim of this workshop is to bring together researchers from the formal verification community that are developing formal methods for autonomous vehicles and industrial researchers working, e.g., in the area of control theory or robotics, interested in applying verification techniques for designing and developing of autonomous vehicles. Topics of interest of the workshop include, but are not limited to: * formal models for autonomous systems * languages and logics for specification and verification * interactive and automated theorem proving * model checking * agent programming languages * real-time and hybrid systems * program synthesis * quantitative and probabilistic verification * requirement analysis * verification for learning approaches * run-time verification * applications, implementations and case studies ------------------------------------------------------------------ Submission Guideline: Accepted papers will appear in the conference proceedings published in the Electronic Proceedings in Theoretical Computer Science (EPTCS) and must be prepared according to the EPTCS guidelines for authors (see http://info.eptcs.org/). Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page: https://easychair.org/conferences/?conf=fvav2017 The page limitations mentioned below include all text, figures and references. At least one author of each accepted paper must attend FVAV 2017 to present. There are two categories of papers which can be submitted: regular and short papers. Papers in each category will be reviewed by at least 3 members of the Programme Committee. * *Regular Papers* (up to 15 pages, including references) should present original unpublished results. We welcome theoretical papers, applications of formal methods in industrial practise, system descriptions and case studies within the context of autonomous vehicles. * *Short Papers* (up to 7 pages, including references) may present novel but not necessarily thoroughly worked out ideas, and problem statements. ------------------------------------------------------------------ Invited Speaker: Werner Damm (OFFIS Oldenburg, Germany) (https://www.offis.de/en/offis/person/werner-damm.html) ------------------------------------------------------------------ Organisation: Programme Committee: * Matthias Althoff (Technische Universität München, Germany) * Mikael Asplund (Linköping University, Sweden) * Georgios Fainekos (Arizona State University, US) * Michael Fisher (University of Liverpool, UK) * Christoph Gladisch (Bosch, Germany) * Cornel Izbasa (Opensynergy, Germany) * Owen McAree (Sheffield University, UK) * Helen Monkhouse (Horiba-Mira, UK) * Ernst-Rüdiger Olderog (Carl von Ossietzky University Oldenburg, Germany) * Patrizio Pelliccione (Chalmers University of Technology, Sweden) * S. Ramesh (General Motors, US) * Nick Reed (TRL, UK) * Shinichi Shiraishi (Toyota Info Technology Center, US) Programme Chairs: * Lukas Bulwahn (BMW Car IT GmbH, Germany) * Maryam Kamali (University of Liverpool, UK) * Sven Linker (University of Liverpool, UK)