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

Website https://comit2025.org/softfm/index | Edit Freely

Category 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

Deadline: May 03, 2025 | Date: June 28, 2025-June 29, 2025

Venue/Country: Copenhagen, Denmark, Denmark

Updated: 2025-04-28 14:29:44 (GMT+9)

Call For Papers - CFP

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 May 03, 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 : May 03, 2025

Authors Notification : June 20, 2025

Registration & Camera-Ready Paper Due : June 24, 2025

Contact Us

Here’s where you can reach us: softfmcomit2025.org or softfmconfyahoo.com