5th International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2026)

Memo

May 23 ~ 24, 2026, Vancouver, Canada https://wimnet2026.org/softfm/index   Scope   5th International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2026) 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.   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   Proceedings   The proceedings of the conference will be published by Computer Science Conference Proceedings in Computer Science & Information Technology (CS&IT) series(Confirmed). Hard copy of the proceedings will be distributed during the Conference.   Selected papers from SOFTFM 2026, after further revisions, will be published in the special issue of the following journals   International Journal of Software Engineering & Applications (IJSEA) International Journal in Foundations of Computer Science & Technology (IJFCST) International Journal on Information theory (IJIT) International Journal of Data Mining & Knowledge Management Process (IJDKP) 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 14, 2026 Authors Notification : March 28, 2026 Registration & Camera-Ready Paper Due : April 04, 2026   Contact Us   Here's where you can reach us : This email address is being protected from spambots. You need JavaScript enabled to view it.