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.

Authors are solicited to contribute to the conference by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the following areas, but are not limited to.

Paper Submission

Authors are invited to submit papers through the conference Submission System by Closed. 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 Indexedd

• International Journal of Ambient Systems and Applications (IJASA)

• International Journal of Programming Languages and Applications (IJPLA)

• Advanced Computational Intelligence: An International Journal (ACII)