FormaliSE 2021 : International Conference on Formal Methods in Software Engineering

The software industry needs tools and methods 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 systems 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. Indeed, they have been developed to provide the means for greater precision and thoroughness in modeling, reasoning about, validating, and documenting the various aspects of software systems during their development. When carefully applied, formal methods can aid all aspects of software creation: user requirement formulation, design, implementation, verification/testing, and the creation of documentation.

After decades of research though, and despite significant advancement, formal methods are still not widely used in industrial software development. We believe that closer integration of formal methods in software engineering can help increase the quality of software applications, and at the same time highlight the benefits of formal methods in terms also of the generated return on investment (ROI).

The main objective of the conference is to foster the integration between the formal methods and the software engineering communities, to strengthen the — still too weak — links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems.

FormaliSE 2021 : International Conference on Formal Methods in Software Engineering will take place in Madrid, Spain. It’s a 2 days event starting on May 23, 2021 (Sunday) and will be winded up on May 24, 2021 (Monday).

FormaliSE 2021 falls under the following areas: COMPUTER SCIENCE, FORMAL METHODS, SOFTWARE DEVELOPMENT, etc. Submissions for this Conference can be made by Jan 12, 2021. Authors can expect the result of submission by Feb 22, 2021. Upon acceptance, authors should submit the final version of the manuscript on or before Mar 22, 2021 to the official website of the Conference.

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 FormaliSE 2021

• Short Name: FormaliSE 2021
• Full Name: International Conference on Formal Methods in Software Engineering
• Timing: 09:00 AM-06:00 PM (expected)
• Fees: Check the official website of FormaliSE 2021
• Event Type: Conference
• Website Link: https://www.formalise.org/
• Location/Address: Madrid, Spain