posted by user: aircc_cfp || 16047 views || tracked by 19 users: [display]

SOFTFM 2024 : 3rd International Conference on Software Engineering Advances and Formal Methods

FacebookTwitterLinkedInGoogle

Link: https://comit2024.org/softfm/index
 
When Aug 17, 2024 - Aug 18, 2024
Where Chennai, India
Submission Deadline Aug 3, 2024
Notification Due Aug 10, 2024
Final Version Due Aug 13, 2024
Categories    artificial intelligence   engineering   machine learning   computer science
 

Call For Papers

3rd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024)

August 17 ~ 18, 2024, Chennai, India

Scope & Topics

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 that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the following areas, but are not limited to:

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

  • Agile and Lean software development
  • AI for supporting software and systems processes
  • Artifacts, software validation and diagnosis
  • Automata Theory
  • CI/CD, Agile and Devops
  • Develops in health care, education & business
  • Devops Models, Practices, Challenges
  • Empirical Study
  • Formal Languages
  • Hybrid processes for software and systems
  • Intelligent software systems
  • IoT software engineering
  • Lean & Agile software Development & practices
  • Legacy systems
  • Open source software
  • Open Source Software development
  • Performance Evaluation, Application & Tools
  • Program Semantics
  • Scaled Agile Framework (SAFe) in the real World
  • Service-oriented Software Engineering (SOSE)
  • Software as a Service ( Saas)
  • Software Automation
  • Software Engineering challenges
  • Software Engineering for Big Data
  • Software Engineering for Machine Learning
  • Software performance
  • Software reliability and large-scale distribution
  • Software Security

Paper Submission

Authors are invited to submit papers through the conference Submission System by August 03, 2024 (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 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 2024, after further revisions, w ill be published in the special issue of the following journals.

Important Dates

Submission Deadline: August 03, 2024 (Final Call)
Authors Notification: August 10, 2024
Final Manuscript Due: August 13, 2024

Co - Located Events

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

Related Resources

Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
BIOSE 2025   8th International Conference on Bioscience & Engineering
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
ICIST 2026   2026 The 5th International Conference on Intelligent Science and Technology (ICIST 2026)
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
Ei/Scopus-IPCML 2025   2025 International Conference on Image Processing, Communications and Machine Learning (IPCML 2025)
IEEE CCAI 2026   IEEE--2026 6th International Conference on Computer Communication and Artificial Intelligence (CCAI 2026)
Ei/Scopus-AI2A 2025   2025 5th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2025)
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design