[robotics-worldwide] CFP - Workshop on Formal Methods for Robotics and Automation - July 15th, Snowbird, Utah (part of the CAV 2011 workshops)

Hadas Kress-Gazit 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 (
http://www.cs.utah.edu/events/conferences/cav2011/index.php?page=index).
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:
http://web.mae.cornell.edu/hadaskg/CAV11/index.html

Hadas.

-- 
=========================
Hadas Kress-Gazit, PhD.
Assistant Professor
Sibley School of Mechanical and Aerospace Engineering
Cornell University
210 Upson Hall
Phone: 607-255-1592
http://web.mae.cornell.edu/hadaskg/


More information about the robotics-worldwide mailing list