posted by user: sadegh_rk || 2423 views || tracked by 3 users: [display]

ICFEME 2022 : International Conference on Formal Engineering Methods and Applications

FacebookTwitterLinkedInGoogle

Link: https://waset.org/formal-engineering-methods-and-applications-conference-in-may-2022-in-singapore
 
When May 3, 2022 - May 4, 2022
Where Singapore
Submission Deadline Feb 1, 2022
Notification Due Feb 15, 2022
Final Version Due Apr 2, 2022
Categories    formal methods   verification   security   software testing
 

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 Engineering Methods and Applications 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 Engineering Methods and Applications. 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 Engineering Methods and Applications.
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 Engineering Methods and Applications 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.
Guidelines for Authors

Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers. Downloadable versions of the check list for Full-Text Papers and Abstract Papers.

Please refer to the Paper Submission Guideline, Abstract Submission Guideline and Author Information before submitting your paper.
Conference Proceedings

All submitted conference papers will be blind peer reviewed by three competent reviewers. The peer-reviewed conference proceedings are indexed in the Open Science Index, Google Scholar, Semantic Scholar, Zenedo, OpenAIRE, BASE, WorldCAT, Sherpa/RoMEO, and other index databases. Impact Factor Indicators.
Special Journal Issues

16. International Conference on Formal Engineering Methods and Applications has teamed up with the Special Journal Issue on Formal Engineering Methods and Applications. A number of selected high-impact full text papers will also be considered for the special journal issues. All submitted papers will have the opportunity to be considered for this Special Journal Issue. The paper selection will be carried out during the peer review process as well as at the conference presentation stage. Submitted papers must not be under consideration by any other journal or publication. The final decision for paper selection will be made based on peer review reports by the Guest Editors and the Editor-in-Chief jointly. Selected full-text papers will be published online free of charge.

Related Resources

IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
SEMIT 2024   5th International Conference on Software Engineering and Managing Information Technology
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
WiMoA 2024   16th International Conference on Wireless, Mobile Network & Applications
ICFEM 2024   International Conference on Formal Engineering Methods
CSIA 2024   15th International Conference on Communications Security & Information Assurance
ACM ICSCA 2025   ACM--2025 14th International Conference on Software and Computer Applications (ICSCA 2025)
CEVVE 2024   2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)
Vibroengineering Romania 2024   Vibroengineering Conference on The Use of Vibrations in Industrial Applications
CSITY 2024   10th International Conference on Computer Science, Engineering and Information Technology