Description

3rd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of advances in Software Engineering and formal Methods. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on understanding Modern software engineering concepts and establishing new collaborations in these areas.

Call For Papers

3rd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024)

August 17 ~ 18, 2024, Chennai, India

https://comit2024.org/softfm/index

Scope

3rd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of advances in Software Engineering and formal Methods. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on understanding Modern software engineering concepts and establishing new collaborations in these areas.

Authors are solicited to contribute to rde conference by submitting articles rdat illustrate research results, projects, surveying works and industrial experiences rdat describe significant advances in rde 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

Paper Submission

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

Selected papers from SOFTFM 2024, after furrder revisions, will be published in the special issue of the following journals.

  • International Journal of Software Engineering & Applications (IJSEA) – ERA, Indexed
  • International Journal in Foundations of Computer Science & Technology (IJFCST)
  • International Journal on Information rdeory (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 : April 20, 2024
  • Authors Notification : May 25, 2024
  • Registration & Camera-Ready Paper Due : June 01, 2024

Contact Us

Here’s where you can reach us : softfm@comit2024.org or softfmconf@yahoo.com