posted by user: sadegh_rk || 356 views || tracked by 2 users: [display]

ICFMSD 2022 : International Conference on Formal Methods for Software Development

FacebookTwitterLinkedInGoogle

Link: https://waset.org/formal-methods-for-software-development-conference-in-may-2022-in-dubai
 
When May 5, 2022 - May 6, 2022
Where Dubai, United Arab Emirates
Abstract Registration Due Dec 23, 2021
Submission Deadline Dec 30, 2021
Notification Due Jan 17, 2022
Final Version Due Apr 8, 2022
Categories    formal methods   verification   testing   software engineering
 

Call For Papers


The International Research Conference Aims and Objectives

The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations. With its high quality, it provides an exceptional value for students, academics and industry researchers.

International Conference on Formal Methods for Software Development aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Formal Methods for Software Development. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Formal Methods for Software Development.
Call for Contributions

Prospective authors are kindly encouraged to contribute to and help shape the conference through submissions of their research abstracts, papers and e-posters. Also, high quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or theoretical work in all areas of Formal Methods for Software Development are cordially invited for presentation at the conference. The conference solicits contributions of abstracts, papers and e-posters that address themes and topics of the conference, including figures, tables and references of novel research materials

Topics:

Verification and validation of cyber-physical systems, IoT systems, and autonomous systems
Integration of FMs (Formal Methods) with the rest of the software development lifecycle
Use of formal methods in Continuous Integration and Deployment contexts
Rigorous software engineering approaches and their tool support
Model-based approaches, including model-driven development
Scalability of FM applications
Prescriptive/objective guidance in the use of FMs
FMs in a certification context
“lightweight” or usable FMs
Formal approaches to safety and security-related issues
Requirements formalization, formal specification, and verification
Performance analysis based on formal approaches
Case studies developed/analyzed with formal approaches
Success stories and/or ability of FMs to handle real-world problems
Experimental validation
Application experiences

Related Resources

ICFEM 2022   23th International Conference on Formal Engineering Methods
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
ICSEA 2022   The Seventeenth International Conference on Software Engineering Advances
MoWiN 2022   11th International Conference on Mobile & Wireless Networks
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
ECOOP 2022   European Conference on Object-Oriented Programming
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
MLAIJ 2022   Machine Learning and Applications: An International Journal
TASE 2022   Theoretical Aspects of Software Engineering
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies