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

August 17 ~ 18, 2024, Chennai, India

Scope

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

Topics

Agile and Lean software development, AI for supporting software and systems processes, Artifacts, software validation and diagnosis, Automata Theory

Submission System

Authors are invited to submit papers through the Conference Submission System.

Proceedings

Hard copy of the proceedings will be distributed during the Conference.

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 the conference by submitting articles the illustrate research results, projects, surveying works and industrial experiences the describe significant advances in the following areas, but are not limited to.

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

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 2024, after further revisions, will be published in the special issue of the following journals