posted by user: Llandilo || 2225 views || tracked by 1 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 Jun 4, 2022
Notification Due Aug 11, 2022
Final Version Due Aug 20, 2022
Categories    software engineering   machine learning   software architecture   software testing
 

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 June 04, 2022 . 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:June 04, 2022
Authors Notification: August 11, 2022
Final Manuscript Due: August 20, 2022

Co - Located Events


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

Related Resources

ICDM 2022   22nd IEEE International Conference on Data Mining
SBMF 2022   25th Brazilian Symposium on Formal Methods
MLDM 2023   18th International Conference on Machine Learning and Data Mining
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
ICMLA 2022   IEEE International conference on Machine Learning and Applications
FM 2023   Formal Methods
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
IJCNN 2023   International Joint Conference on Neural Networks