[robotics-worldwide] CFP - Workshop on Formal Methods for Robotics and Automation - July 15th, Snowbird, Utah (part of the CAV 2011 workshops)
hadaskg at cornell.edu
Mon Jun 20 12:53:35 PDT 2011
*Call For Participation - Workshop on Formal Methods for Robotics and
Automation - July 15th, Snowbird, Utah.*
Following the ICRA 2009 and 2010 workshops, we will be holding a Formal
Methods for Robotics and Automation workshop at CAV (Computer Aided
Verification) 2011 (
Holding the workshop at a formal methods conference will provide an
excellent opportunity to interact with formal methods researchers and create
cross disciplinary collaborations.
The advance registration deadline is *Friday, June 24*.
More information about the speakers and the schedule can be found at:
Hadas Kress-Gazit, PhD.
Sibley School of Mechanical and Aerospace Engineering
210 Upson Hall
More information about the robotics-worldwide