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

Vasu Raman vasu at caltech.edu
Wed Apr 29 04:39:22 PDT 2015

Workshop on Abstraction and Synthesis of Correct-by-Construction Robotics
(AbSynth 2015) at the 2015 Robotics: Science and Systems Conference (RSS
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
guarantees on the performance of the system. Model-Driven Software
(MDSE) and Formal Methods (FM) are closely related in that that they both
abstractions that preserve the important properties of the underlying
system, as well as provide rigorous methods for system design to ensure
behavior with respect to complex specifications. However, much like the
of classical AI and Robotics into separate fields concerned with high-level
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
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,
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
engineering for robotics applications. Submissions will be considered in the

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, 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
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 is 
designed to be as interactive as possible, with organized discussions and
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
methods and MDSE. Ample time will be provided for networking and informal 

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 
Jie Fu, UPenn, USA 
Benjamin Johnson, Naval Research Laboratory, USA 
Shashank Pathak, IIT, Italy 
Vasu Raman, Caltech, USA 
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 

View this message in context: http://robotics-worldwide.1046236.n5.nabble.com/meetings-CFP-RSS-2015-Workshop-Abstraction-and-Synthesis-of-Correct-by-Construction-Robotics-Softwar-tp5711334.html
Sent from the robotics-worldwide mailing list archive at Nabble.com.

More information about the robotics-worldwide mailing list