[robotics-worldwide] [meetings] Call for Contributions: 5th Workshop on Formal Methods for Robotics

Calin Belta calin.belta at gmail.com
Mon Mar 24 05:04:30 PDT 2014

Call for contributions
RSS 2014 Workshop: The 5th Workshop on Formal Methods for Robotics

July 12, Berkeley, CA (Full day workshop)

Workshop Abstract
Guaranteeing safety, predictability and reliability of robots is crucial for the assimilation of such systems into society, be it at home or in the workplace. While every robotics researcher working with or on a robot is aware of safety issues, only recently people have begun looking at ways to either formally prove or guarantee by design different behavioral properties such as safety and correctness. This full day workshop brings together leading researchers from the robotics, formal methods and hybrid systems communities, as well as researchers from industry. We will discuss the state of the art, existing tools, and challenges that must be addressed in order to create safe and reliable systems that can be proven to be correct, either by design or by verification. This workshop follows the successful workshops held at ICRA 2009, 2010, CAV 2011 and RSS 2013.
We invite researchers to submit three types of contributions to the workshop:

Position papers: Researchers are invited to submit a position paper describing the challenges and successes of creating formal methods for robotics. Authors of accepted position papers will be invited to give a presentation in the workshop and to contribute to a journal paper that will summarize the workshop discussion.   

Tool demonstrations: Researchers are invited to demonstrate tools they have developed that are used or can be used for the synthesis and/or verification of robotic systems. Abstracts submitted should briefly describe the tool and the short demonstration that will be shown during the workshop.

Posters: Researchers are invited to present their latest results or an overview of their research during a poster session. Topics include, but are not limited to, verification of robotic systems, use of model checking and deductive verification techniques, correct by design planner/controller synthesis, use of logic to specify and reason about tasks, lessons that can be learned from hardware/software verification, hybrid systems in the context of robotics, control theoretic approaches to abstractions of system dynamics, applications of formal methods to robotic systems.

Submission: Position papers and tool and poster abstracts should be emailed to hadaskg at cornell.edu and cbelta at bu.edu by May 5th, 2014. Position papers and abstracts are limited to 2 and 1 page(s) in RSS format, respectively.

Important Dates:

Submission: May 5th, 2014

Notification: May 23rd, 2014

Workshop date: July 12th, 2014


Hadas Kress-Gazit - Cornell University
Calin Belta – Boston University

More information about the robotics-worldwide mailing list