posted by user: Busra || 12484 views || tracked by 13 users: [display]

SOFTFM 2022 : International Conference on Software Engineering Advances and Formal Methods

FacebookTwitterLinkedInGoogle

Link: https://comit2022.org/softfm/index
 
When Oct 22, 2022 - Oct 23, 2022
Where Sydney, Australia
Submission Deadline Oct 8, 2022
Notification Due Oct 15, 2022
Final Version Due Oct 18, 2022
Categories    big data   IOT   blockchain   robotics
 

Call For Papers

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

October 22 ~ 23, 2022, Sydney, Australia

Scope & Topics

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 October 08, 2022 (Final Call) . 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).


Selected papers from SOFTFM 2022, after further revisions, will be published in the special issue of the following journal.

Important Dates

Submission Deadline: October 08, 2022 (Final Call)
Authors Notification: October 15, 2022
Final Manuscript Due: October 18, 2022

Co - Located Events


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

Related Resources

BIOSE 2025   8th International Conference on Bioscience & Engineering
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
ICIAI 2026   2026 the 10th International Conference on Innovation in Artificial Intelligence (ICIAI 2026)
Ei/Scopus-MLBDM 2025   2025 5th International Conference on Machine Learning and Big Data Management (MLBDM 2025)
ICIST 2026   2026 The 5th International Conference on Intelligent Science and Technology (ICIST 2026)
BDIoT 2025   6th International Conference on Big Data & IoT
ICoSSE 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
IEEE BDAI 2025   IEEE--2025 the 8th International Conference on Big Data and Artificial Intelligence (BDAI 2025)