We solicit short papers and posters for the workshop. Submissions will be considered in following categories:
All submissions should be formatted according to the LNCS submission guidelines, and should be submitted as Portable Document Format (PDF) files using the Easychair submission site DThree19. Submissions will be evaluated on quality as well as relevance to the workshop's theme. The deadline for initial submission is 10 March, 2019 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. We also plan to have post-proceedings publication for all accepted papers; the details would be updated by late March, 2019.
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. 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 computer vision in the context of modern machine learning. Ample time will be provided for networking and informal discussions.