Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Second Call for Papers -- FVAV 2017 - Workshop...


view this post on Zulip Email Gateway (Aug 22 2022 at 15:28):

From: Sven Linker <s.linker@liverpool.ac.uk>
(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:


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:


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:

Programme Chairs:


Last updated: Mar 29 2024 at 04:18 UTC