[robotics-worldwide] Call For Demos and Posters - RSS 2013 workshop on Formal Methods for Robotics

Hadas Kress-Gazit hadaskg at cornell.edu
Tue Apr 16 06:42:45 PDT 2013

*Call for tool demonstrations and posters
**RSS 2013 Workshop: The 4th Workshop on Formal Methods for Robotics*

June 27th, Berlin Germany - 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 workshop brings together
leading researchers in the field of robotics, together with top researchers
from the formal methods and hybrid systems communities to 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.

* *

We invite researchers to submit two types of contributions to the workshop:

*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

*Posters:* Researchers are invited to present their latest results or a
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.

Abstracts (1-2 pages in the RSS format) should be emailed to
hadaskg at cornell.edu by May 5th, 2013.

*Important Dates:*

Abstract submission: May 5th, 2013

Abstract notification: May 12th, 2013

Workshop date: June 27th, 2013

* *

Hadas Kress-Gazit - Cornell University
Lydia Kavraki – Rice University

Hadas Kress-Gazit, PhD.
Assistant Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University
210 Upson Hall
Phone: 607-255-1592

More information about the robotics-worldwide mailing list