FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems
FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems

FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems

Event Date: December 07, 2020 - December 07, 2020
Submission Deadline: September 11, 2020
Notification of Acceptance: October 23, 2020
Camera Ready Version Due: November 06, 2020


This one day workshop will bring together researchers working on a range of techniques for formal verification of autonomous systems, to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities. This workshop will include invited speakers, contributed papers, and experience reports.

FMAS202 will be held **online**, due to the ongoing disruption caused by COVID-19. Since many of the conferences that we were looking to for hosting the workshop are not accepting satellite events, FMAS2020 will run on its own.

Call for Papers


Autonomous -- and Robotic -- Systems present unique challenges for formal methods. They are embodied entities that can interact with the real world and make autonomous decisions. Amongst others, they can be viewed as safety-critical, cyber-physical, hybrid, and real-time systems. Key issues for formal methods applied to autonomous systems include capturing how the system will deal with a dynamic external environment and verification of the system's decision making capabilities -- including planning, safety, ethical, and reconfiguration choices. Some autonomous systems require certification before deployment, others require public trust for wide adoption; both of these scenarios are being tackled by formal methods.

The goals of this workshop are to bring together leading researchers in this area to present recent and ongoing work, including experience reports and case studies as well as identify future directions for this emerging application of formal methods. This workshop is concerned with the use of formal methods to specify, model, or verify autonomous or robotic systems, in whole or in part. Submissions may focus on case studies that identify the challenges for formal methods in this area, or experience reports that provide guidelines for tackling these challenges.

We are especially interested in work using integrated formal methods, discussing the future directions of the field, using Runtime Verification or other approaches to deal with the _reality gap_, the cross over of safety and security, and verification of systems against safety assurance arguments or standards documents.


Submission Information

Topics of interest include (but are not limited to):

* Experience reports/case studies on applying formal methods to autonomous and/or robotic systems,
* Novel formal methods that can be applied to autonomous and/or robotic systems,
* The modification of existing formal methods to suit autonomous and/or robotic systems, and
* Future directions for formal methods for autonomous and/or robotic systems.

There are two categories of submission:

* Short papers -- 6 pages, suitable for overviews of an approach or work-in-progress. Work from PhD students is particularly welcome;
* Long papers -- 15 pages, suitable for descriptions of completed studies, new approaches, or new directions.

Best Deals


FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems will take place in Online. It’s a 1 day event starting on Dec 07, 2020 (Monday) and will be winded up on Dec 07, 2020 (Monday).

FMAS 2020 falls under the following areas: FORMAL METHODS, AUTONOMOUS SYSTEMS, ROBOTICS, FORMAL VERIFICATION, etc. Submissions for this Workshop can be made by Sep 11, 2020. Authors can expect the result of submission by Oct 23, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Nov 06, 2020 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the FMAS 2020

  • Short Name: FMAS 2020
  • Full Name: Second Workshop on Formal Methods for Autonomous Systems
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of FMAS 2020
  • Event Type: Workshop
  • Website Link:
  • Location/Address: Online

Credits and Sources

[1] FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems

Check other Conferences, Workshops, Seminars, and Events


SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Dec 06, 2021
TASE 2021: The 15th International Symposium on Theoretical Aspects of Software Engineering
Aug 25, 2021
VWLD 2021: Vienna World Logic Day Lecture
Jan 14, 2021
FormaliSE 2021: International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
May 24, 2021


ICAS 2021: The Seventeenth International Conference on Autonomic and Autonomous Systems
Valencia, Spain
May 30, 2021
ASYS 2020: IEEE COMPSAC Symposium on Autonomous Systems
Madrid, Spain
Jul 13, 2020
IEEE ICAS 2020: 2020 IEEE International Conference on Autonomous Systems
Montreal, Quebec, Canada
Aug 12, 2020
FT4DAS 2019: Formal Techniques for Dependable Autonomous Systems
Turku, Finland
Sep 10, 2019
ICUFN 2019: [ICUFN 2019, IEEE] (Extended Deadline (Hard): March 31, 2019) [July 2 (Tue.) ~ July 5 (Fri.) 2019]
Zagreb, Croatia
Jul 2, 2019


IJITCS 2021: International Journal of Information Technology Convergence and services

SMC-IT 2021: 8th IEEE International Conference on Space Mission Challenges for Information Technology
Jul 27, 2021
IEEE ICDL 2021: The IEEE International Conference on Development and Learning
Beijing, China
Aug 23, 2021
RiE 2021: 12th International Conference on Robotics in Education
Apr 28, 2021
MLAIJ 2021: Machine Learning and Applications: An International Journal



Indocrypt 2020: 21st International Conference on Cryptology in India
Bengaluru, India
Dec 13, 2020
VSC @IEEE WETICE 2020: Track on Validating Software for Critical Systems (VSC)
Basque Coast - Bayonne, France
Jun 10, 2020
GandAlf 2019: The Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Bordeaux, France
Sep 2, 2019
FVPS 2019: 2nd Workshop on Formal Verification of Physical Systems
Prague, Czech Republic
Jul 8, 2019
FT4DAS 2019: Formal Techniques for Dependable Autonomous Systems
Turku, Finland
Sep 10, 2019