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

May 23 ~ 24, 2026, Vancouver, Canada

Hybrid -- Registered authors can present their work online or face to face.

Scope & Topics

5^th 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 include, but are not limited to, the following

• 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 April 25, 2026. 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 The proceedings of the conference will be published by Computer Science Conference Proceedings (H index 46) in Computer Science & Information Technology (CS & IT) series (Confirmed).

Selected papers from SOFTFM 2026, after further revisions, w ill 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

Co - Located Events

• 15^th International Conference on Artificial Intelligence and Soft Computing (AISO 2026)
  
• 15^th International Conference on Signal & Image Processing (SIP 2026)
  
• 13^th International Conference on Wireless and Mobile Network (WiMNeT 2026)
  
• 6^th International Conference on NLP & Data Mining (NLDM 2026)
  
• 6^th International Conference on Big Data, IoT and Machine Learning (BIOM 2026)
  
• 6^th International Conference on Cryptography and Blockchain (CRBL 2026)
  
• 5^th International Conference on Education, Pedagogy and Technology (EDUPT 2026)
  
• 10^th International Conference on Computer Science and Information Technology (COMIT 2026)
  

***** The invited talk proposals can be submitted to softfm@comit2026.org