8^th International Conference on Formal Methods in Software Engineering (FormaliSE 2020)

May 25-26, Seoul, South Korea

Scope & Topics

8^thInternational Conference on Formal Methods in Software Engineering (FormaliSE 2020) The software industry has a long-standing and well-earned reputation for failing to deliver high-quality software. Much progress has been achieved from the early days of software development; still, nowadays, even considering the state of the art of the technologies used, the success of software projects is often not guaranteed. Many of the approaches used for developing large, complex software system are still not able to ensure the correct behavior --- and the general quality --- of the delivered product, despite the efforts of the (often very qualified and skilled) software engineers involved. This is where formal methods can play a significant role.

Topics of Interest :

• approaches and tools for verification and validation;
• application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems;
• scalability of formal methods applications;
• integration of formal methods within the software development lifecycle (e.g., change management, CI/CD)
• requirements formalization and formal specification;
• model-based engineering approaches;
• performance analysis based on formal approaches;
• formal methods in a certification context;
• formal approaches for safety and security-related issues;
• usability of formal methods;

Paper Submission

Papers submitted to FormaliSE 2020 must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for FormaliSE 2020.Submissions to FormaliSE 2020 that meet the above requirements can be made via
the submission site https://formalise2020.hotcrp.com/ by the submission deadline.
Each paper will be reviewed by at least three program committee members. Papers will be judged on the basis of their clarity, relevance, originality, and contribution to the field.

Important Dates