[robotics-worldwide] Reminder - CFP - ICRA 2010 Workshop on "Formal Methods for Robotics and Automation" - Deadline March 1

Hadas Kress-Gazit hadaskg at cornell.edu
Wed Feb 24 14:48:39 PST 2010


Workshop on "Formal Methods for Robotics and Automation"

to be held as part of ICRA 2010

May 3rd, 2010 - Anchorage, Alaska

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. The results that will be presented in the
workshop combine and extend ideas from automata theory, logic, model
checking, hybrid systems and control and they pave the way toward creating
robotic “formal methods” – a body of work that will ultimately result in
provably correct robotic systems.

*Poster submission:*
We invite poster submissions from researchers working on different aspects
of formal methods for robotics and automation. Specific topics of interest
• Verification of robotic and automation systems
• Use of model checking and deductive verification techniques
• Correct by design planner/controller synthesis
• Automata theory in the context of robotics
• 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

Poster abstracts (1-2 pages) should be emailed to hadaskg at cornell.edu by *March
1, 2010*.

*Important Dates:*
March 1, 2010 Poster Abstract Submission Deadline
March 15, 2010 Notification of Acceptance
May 3, 2010 Workshop

Hadas Kress-Gazit
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