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