[robotics-worldwide] [meetings] (DEADLINE EXTENDED) Call for Demos: ICRA 2020 Workshop "Transforming Specifications into Robot Programs: A Survey of Formal Methods Tools for Non-Experts"

Jonathan DeCastro jonathan.decastro at tri.global
Thu Mar 19 05:18:45 PDT 2020

Call for Tool Demonstrations

Transforming Specifications into Robot Programs:
A Survey of Formal Methods Tools for Non-Experts

A Full-Day Workshop at ICRA 2020
31 May 2020
Paris, France

Submission deadline: Friday 17 April 2020
Submission link: fmrworkshop at gmail.com
Website: https://urldefense.com/v3/__https://wordpress.lehigh.edu/crv519/fmr2020/__;!!LIr3w8kk_Xxm!7TeW9DrFDp1euAG2OIShWzExTIQprdpTYALbgSl59ItnKxpfPMJecL0cYqT-XuK8qrJrWLLM$ 

The formal methods community has produced many successful results and tools
in computer science, and over the past two decades has initiated a steady
effort in moving towards applications in robotics.  However, most
researchers and practitioners in robotics are unaware of or find it
difficult to adopt these methods due to: 1) the high initial effort to use,
and 2) a disconnect between the method and tool developers and the larger
community.  This workshop seeks to bring together the robotics and formal
methods communities in a hands-on event that will demystify the current
state-of-the-art, bridge the knowledge-transfer gap, and foster continued
collaboration between the communities.  We aim to encourage roboticists to
adopt and include in their research automated synthesis and formal
verification tools, and direct the formal methods community to the needs of
robotics practitioners.

We solicit contributed tool demonstrations. The tools will be highlighted
via ~5 min lightning talks, followed by a short ~15-minute period for
general feedback, and wrapping up in individual breakout sessions at tables
where the tools will be demonstrated.

Demonstrations should include:
(1) how to define a simple example to use the tool,
(2) a realistic example that can also be executed by interested
researchers, and
(3) videos or demos on real robots.

The submission should be in the form of a one-page document, including:
* Abstract for the lightning talk
* Demonstration plan at the workshop
* URL for the tool
The site can be a static website or github repository that includes the
tool’s name, description (abstract), purpose, authors, licensing
information, and citation information.

We will accept both open and closed source tools, but will require, at a
minimum, that they be freely available to use and distribute for academic
purposes and be accessible by all workshop participants.  Acceptance will
be based on: installation and dependencies, examples and reproducibility of
examples, how easy it is to create new cases, API and use with other tools
(e.g. ROS), documentation, and overall generality.

Tool demonstrations should be submitted to: fmrworkshop at gmail.com

Important Dates
Tool Demonstration Submission Deadline: 17 April 2020
Acceptance Notifications: 26 April 2020
Presentation Submission Deadline: 15 May 2020
Workshop Date: 31 May 2020

Confirmed Speakers
Prof. Calin Belta, Boston University, USA
Prof. Lydia Kavraki, Rice University, USA
Prof. Hadas Kress-Gazit, Cornell University, USA
Prof. Marco Pavone, Stanford University, USA
Prof. Sanjit A. Seshia, University of California, Berkeley, USA
Prof. Angela Schoellig, University of Toronto, Canada
Prof. Dylan Shell, Texas A&M University, USA
Prof. Russ Tedrake, Massachusetts Institute of Technology, USA
Tichakorn (Nok) Wongpiromsarn, University of Texas at Austin, USA

The FMR 2020 Workshop Organizers,
    Cristian Ioan-Vasile, Lehigh University
    Jonathan DeCastro, Toyota Research Institute


Confidential or protected information may be contained in this email 
and/or attachment. Unless otherwise marked, all TRI email communications 
are considered "PROTECTED" and should not be shared or distributed. Thank 

More information about the robotics-worldwide mailing list