[robotics-worldwide] [meetings] CFP: RSS 2015 Workshop: Abstraction and Synthesis of Correct-by-Construction Robotics Software (AbSynth 2015)

Arun Kumar Ramaswamy arun-kumar.ramaswamy at ensta-paristech.fr
Wed Apr 8 01:09:13 PDT 2015

Workshop on Abstraction and Synthesis of Correct-by-Construction Robotics Software (AbSynth 2015)
at the 2015 Robotics: Science and Systems Conference (RSS 2015)
July 16-17, 2015 Rome, Italy
Workshop website: http://www.aimslab.org/AbSynth2015

Important Dates
Submission deadline: May 4, 2015
Notification of acceptance: May 12, 2015
Workshop: July 16-17, 2015

The increasing use of automation in safety- and mission-critical situations encourages the development of theories and techniques that can provide formal guarantees on the performance of the system. Model-Driven Software Engineering (MDSE) and Formal Methods (FM) are closely related in that that they both seek abstractions that preserve the important properties of the underlying concrete system, as well as provide rigorous methods for system design to ensure desirable behavior with respect to complex specifications. However, much like the divergence of classical AI and Robotics into separate fields concerned with high-level and low-level details of the same systems (i.e. robots), FM and MDSE have diverged. MDSE research in robotics is aligned with the primary goal of creating quality low-level software for robotic systems, while formal methods apply chiefly to the design and validation of systems at a high-level of abstraction. It is clear, however, that the two are complementary, and that a reunification is overdue. Quality, reliable software for robotic systems created using MDSE will facilitate the abstraction and modeling of robotic systems, which further promotes the adoption of FM in constructing robotic systems with a high degree of autonomy.

We invite contributions on the use of formal methods and model-driven software engineering for robotics applications. Submissions will be considered in following categories:

Position papers — 2 pages
Work-in-progress — 4 pages
Papers describing tools — 4 pages
All submissions should be formatted according to the RSS conference paper guidelines, and should be submitted as Portable Document Format (PDF) files using the Easychair submission site https://easychair.org/conferences/?conf=absynth2015. Submissions will be evaluated on quality as well as relevance to the workshop's theme. The deadline for initial submission is May 4, 2015 at 23:59 PDT.

All accepted papers will be presented during a poster session, and a subset will be selected for a short oral presentation. 

To foster dialogue and collaboration between researchers, this workshop will be designed to be as interactive as possible, with organized discussions and informal breakout sessions across both days. As such, a large part of this effort is to bring together a community of robotic researchers who are working in the area of formal methods and MDSE. Ample time will be provided for networking and informal discussions.

Prof. Alessandro Abate, University of Oxford, UK
Prof. Erika Abraham, RWTH Aachen University, Germany
Prof. Calin Belta, Boston University, USA
Prof. Davide Brugali, University of Bergamo, Italy
Prof. Goran Frehse, Universite Joseph Fourier, France
Prof. Felix Ingrand, LAAS, France
Prof. Joost-Pieter Katoen, RWTH Aachen University, Germany
Prof. Hadas Kress-Gazit, Cornell University, USA
Prof. Jun Liu, University of Sheffield, UK

Workshop Organisers
Benjamin Johnson, Naval Research Laboratory, USA
Vasumathi Raman, Caltech, USA
Jie Fu, UPenn, USA
Shashank Pathak, IIT, Italy
Arunkumar Ramaswamy, Vedecom Institute, France; ENSTA-ParisTech, France
Prof. Bruno Monsuez, ENSTA-ParisTech, France
Prof. Adriana Tapus, ENSTA-ParisTech, France

Contact: absynth2015 at easychair.org

More information about the robotics-worldwide mailing list