3rd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024)
Agile and Lean software development, AI for supporting software and systems processes, Artifacts, software validation and diagnosis, Automata Theory
Authors are invited to submit papers through the Conference Submission System.
Hard copy of the proceedings will be distributed during the Conference.
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.