[robotics-worldwide] [meetings] CFP: ICRA 2020 Workshop on Verification of Autonomous Systems

Dejanira Araiza Illan dejanira.araiza.i at gmail.com
Wed Mar 18 20:07:24 PDT 2020


*Call for Posters*
Verification of Autonomous Systems - First Workshop of the new IEEE RAS TC

Full-Day Workshop at ICRA 2020
31 May 2020, Paris, France

Submission deadline: 23 March 2020
Submission email: vas.tc.workshop at gmail.com

Website and detailed program:
https://urldefense.com/v3/__http://robotistry.org/vaswg/icra2020/VerificationWorkshop.html__;!!LIr3w8kk_Xxm!6f0AX8PBsp5Vh4doUffLumrvSGXYhLeIyxu5-eHVw-a8HbhTpdOlySjeWqrvGmcsNEAEqySW$ 


Synopsis
--------
A wide range of diverse autonomous systems are being developed and
deployed, ranging from self- driving cars and unmanned air systems to
domestic robotic assistants and embedded AI components. Beyond simply
demonstrating these systems, it is becoming increasingly important to
provide evidence that the autonomous systems behave safely, reliably, and
ethically.

An autonomous system comprises hardware and software modules, functions in
a variety of environments, and interacts with people and other systems,
which leads to emergent behaviours. Hence, the verification of autonomous
systems requires new techniques beyond software verification and system
trials. As technology progresses and autonomous systems become more
complex, with added intelligence, adaptive capabilities, and greater
responsibilities for making critical decisions, the challenges to
verification increase. Correspondingly, new methodologies and tools related
to the design, verification and validation of autonomous systems are a
target worldwide.

Our goal is to bring together experts in verification techniques and
applications, autonomous system design, and robotic deployment, to discuss
and address the main challenges in the verification of autonomous systems.
In addition, since this will be the first workshop associated with the new
IEEE TC on Verification of Autonomous Systems we will provide a discussion
forum for future TC activities and directions.

Submission
----------
We are pleased to invite submissions of posters from scientists and
practitioners working on verification of autonomous systems. The posters
will be peer-reviewed and selected for presentation at the workshop during
our poster session.

Your poster submission should include:

-        Title (at the top)

-        Authors and affiliations

-        Size: A0

-        Minimum font size:  48pt for title and headings, 32pt for text,
readable at a distance of two meters

-        Saved as .pdf file, of maximum size 10MB



The posters should be submitted to: vas.tc.workshop at gmail.com


Important Dates
---------------
Submission Deadline:      23 March 2020
Acceptance Notifications:  2 April 2020
Workshop Date:             31 May 2020


Program
----------------
The workshop will include three technical panels, a poster presentation
session, and a dedicated session to introduce the TC and discuss our future
plans. Invited speakers include:

-        Ken Wallace, BAE Systems, UK

-        Hadas Kress-Gazit, Cornell University, US

-        Kristin Yvonne Rozier, Iowa State University, US

-        Raja Chatila, SIR/CNRS and University Pierre & Marie Curie, France

-        Radu Calinescu, University of York, UK

-        AJung Moon, McGill University, Canada

-        Eric Vorm, NRL, US

-        Leon Van Der Torre, University of Luxemburg, Luxemburg

-        Jon Elliott, Mitre, US



The workshop organizers,
   Signe Redfield, NRL, USA

   Michael Fisher, U. Liverpool, UK

   Dejanira Araiza-Illan, ROS-Industrial Consortium Asia Pacific, ARTC,
Singapore


This workshop is supported by the IEEE RAS TC on Verification of Autonomous
Systems (VAS) and the the IEEE RAS TC on Performance Evaluation &
Benchmarking of Robotic and Automation Systems (PEBRAS).


More information about the robotics-worldwide mailing list