[TYPES/announce] Second Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017

[Sven Linker]

(Apologies for duplicates)

==================================================================

                      2nd 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)