4th International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2025)

4th International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2025)

June 28 ~ 29 2025 Copenhagen Denmark

https://comit2025.org/softfm/index

SCOPE

4th International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2025) will provide an excellent international forum for sharing knowledge and results in theory methodology and applications of Computer Science Engineering and Information Technology. The conference looks for significant contributions to all major fields of the Computer Science Engineering and Information Technology in theoretical and practical aspects.

Topics of interest

• Agile and Lean software development
• AI for supporting software and systems processes
• Artifacts software validation and diagnosis
• Automata Theory
• CI/CD Agile and Devops
• Develops in health care education & business
• Devops Models Practices Challenges
• Empirical Study
• Formal Languages
• Hybrid processes for software and systems
• Intelligent software systems
• IoT software engineering
• Lean & Agile software Development & practices
• Legacy systems
• Open source software
• Open Source Software development
• Performance Evaluation Application & Tools
• Program Semantics
• Scaled Agile Framework (SAFe) in the real World
• Service-oriented Software Engineering (SOSE)
• Software as a Service ( Saas)
• Software Automation
• Software Engineering challenges
• Software Engineering for Big Data
• Software Engineering for Machine Learning
• Software performance
• Software reliability and large-scale distribution
• Software Security

Paper Submission

Authors are invited to submit papers through the conference Submission System by February 11 2025. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this conference. The proceedings of the conference will be published by Computer Science Conference Proceedings in Computer Science & Information Technology (CS & IT) series (Confirmed).

Selected papers from SOFTFM 2025 after further revisions will be published in the special issue of the following journals.

• International Journal of Software Engineering & Applications (IJSEA) – Scopus ERA Indexed
• International Journal in Foundations of Computer Science & Technology (IJFCST)
• International Journal on Information theory (IJIT)
• International Journal of Data Mining & Knowledge Management Process (IJDKP) – WJCI Indexed
• International Journal of Ambient Systems and Applications (IJASA)
• International Journal of Programming Languages and Applications (IJPLA)
• Advanced Computational Intelligence: An International Journal (ACII)

Important Dates

• Submission Deadline: February 11 2025
• Authors Notification: April 19 2025
• Registration & Camera-Ready Paper Due: April 26 2025

Contact Us

Here’s where you can reach us:  [email protected] or  [email protected]

Host or Publisher 13th International Conference on Computer Science and Information Technology (CCSIT 2023)