[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


************************************************************************ 
CALL FOR PAPERS 
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 

Abstract 
******************* 
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. 

Submissions 
******************* 
We invite contributions on the use of formal methods and model-driven
software 
engineering for robotics applications. Submissions will be considered in the
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, 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 is 
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. 

Speakers 
********* 
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