Home

International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022)

October 22 ~ 23, 2022, Sydney, Australia

More Details...

Scope Call for Participation Program Schedule

International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of advances in Software Engineering and formal Methods.

Due to the current COVID-19 pandemic, registered authors are now able to present their work through our online platforms ^New

Call for Papers

International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022) 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 that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the areas of software engineering formal method advances.

Topics of interest include, but are not limited to, the following

Devops Models, Practices, Challenges
Open Source Software development
Scaled Agile Framework (SAFe) in the real World
Software reliability and large-scale distribution
Hybrid processes for software and systems
Lean & Agile software Development & practices
CI/CD, Agile and Devops
Software Automation
Software as a Service ( Saas)
Software Engineering challenges
Performance Evaluation, Application & Tools
Artifacts, software validation and diagnosis
Empirical Study
Devops in health care, education & business

AI for supporting software and systems processes
Intelligent software systems
Legacy systems
Software Engineering for Machine Learning
IoT software engineering
Service-oriented Software Engineering (SOSE)
Software Engineering for Big Data
Software performance
Software Security
Agile and Lean software development
Open source software
Formal Languages
Automata Theory
Program Semantics

Paper Submission

Authors are invited to submit papers through the conference Submission System by CLOSED. 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 Computer Science Conference Proceedings in Computer Science & Information Technology (CS & IT) series (Confirmed).