Scope

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

Topics

Agile and Lean software development, AI for supporting software and systems processes, Artifacts, software validation and diagnosis, Automata Theory

Submission System

Authors are invited to submit papers through the Conference Submission System.

Proceedings

Hard copy of the proceedings will be distributed during the Conference.

Welcome to SOFTFM 2024!

Scope Call for Participation  Program Schedule

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



Topics of Interest

  • 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

Proceedings

Proceedings of the conference will be published by Computer Science Conference Proceedings in Computer Science & Information Technology (CS&IT) series(Confirmed). Hard copy of the proceedings will be distributed during the Conference.

Important Dates

Third Batch : (Submissions after June 01, 2024)

Submission Deadline

Closed

Authors Notification

August 15, 2024

Registration & Camera-Ready Paper Due

August 16, 2024

Speakers



Deepanshu Sharma
NIT Hamirpur
India

Sujay R
PES University
India

Suki Perumal
PES University
India

Yash Nagraj
PES University
India

Robin Thomas
Oliveiot Innovations Pvt Ltd
India

B. Pavan
Jawaharlal Nehru Technological University
India

Hema Durairaj
India

Narendar Kumar Ale
University Of Cumberlands
USA

Naga Satya Praveen Kumar Yadati
USA

Pavan Kurariya
Centre for Development of Advanced Computing
India

Ravisha Rohilla
Indira Gandhi Delhi Technical University For Women
India