posted by user: LeonayBM || 2013 views || tracked by 2 users: [display]

SOFTFM 2023 : 2nd International Conference on Software Engineering Advances and Formal Methods

FacebookTwitterLinkedInGoogle

Link: https://comit2023.org/softfm/index
 
When Nov 18, 2023 - Nov 19, 2023
Where Zurich, Switzerland
Submission Deadline Jul 8, 2023
Notification Due Sep 7, 2023
Final Version Due Sep 14, 2023
Categories    software engineering   software architecture   software   software testing
 

Call For Papers

2nd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2023)

November 18 ~ 19, Zurich, Switzerland

Scope & Topics

2nd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2023) 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
  • Develops 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 July 08, 2023. 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 (H index 35) in Computer Science & Information Technology (CS & IT) series (Confirmed).

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

Important Dates

Submission Deadline :July 08, 2023
Authors Notification: September 07, 2023
Final Manuscript Due:September 14, 2023

Co - Located Events

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

Related Resources

NLPI 2023   4th International Conference on NLP & Information Retrieval
FMAS 2023   Fifth Workshop on Formal Methods for Autonomous Systems
IJGCA 2023   International Journal of Grid Computing & Applications
CE 2023   7th International Conference on Civil Engineering
EDUIT 2023   International Conference on Education & Information Technology
VSTTE 2023   International Conference on Verified Software: Theories, Tools, and Experiments
SOFEA 2023   International Conference on Software Engineering and Applications
AREA 2023   Agents and Robots for reliable Engineered Autonomy
VCOI 2023   International Conference on Vision and Computational Intelligence
ICFEM 2023   International Conference on Formal Engineering Methods