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

<!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-3"> <meta name="viewport" content="widrd=device-widrd, initial-scale=1.0"> <meta http-equiv="X-UA-Compatible" content="ie=edge"> <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.7.0/css/font-awesome.min.css"> <link rel="stylesheet" href="css/bootstrap.css"> <link rel="stylesheet" href="css/style.css"> <link rel="icon" type="image/png" href="img/logo.png"> <title>3rd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024)</title> <meta name="title" content="3rd International Conference on Computer Science and Information Technology (SOFTFM 2024)"> <meta name="description" content="3rd International Conference on Computer Science and Information Technology (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."> <meta name="robots" content="index, follow"> <meta name="keywords" content="Agile and Lean software development, AI for supporting software and systems processes, Artifacts, software validation and diagnosis, Automata Theory"> </head> <body> <nav class="navbar navbar-expand-md navbar-light bg-white fixed-top mb-3 py-1" style="opacity:0.7;"> <div class="container"> <a class="navbar-brand" href="index"><img src="img/logo.png" type="image/png" alt="Brand-Logo"><span class="brand"></span></a> <button class="navbar-toggler" data-toggle="collapse" data-target="#navbarCollapse"><span class="navbar-toggler-icon"></span></button> <div class="collapse navbar-collapse float-text-end" id="navbarCollapse"> <ul class="navbar-nav ml-auto px-3"> <li class="nav-item"> <a class="nav-link active" href="index">Home</a> </li> <li class="nav-item"> <a class="nav-link" href="papersubmission">Paper Submission</a> </li> <li class="nav-item"> <a class="nav-link" href="committee">Program Committee</a> </li> <li class="nav-item"> <a class="nav-link" href="papers">Accepted Papers</a> </li> <li class="nav-item"> <a class="nav-link" href="contact">Contact Us</a> </li> <li class="nav-item"> <a class="nav-link" href="venue">Venue</a> </li> </ul> </div> </div> </nav>  <section id="showcase"> <div id="myCarousel" class="carousel slide" data-ride="carousel"> <ol class="carousel-indicators"> <li data-target="#myCarousel" data-slide-to="0" class="active"></li> <li data-target="#myCarousel" data-slide-to="1"></li> </ol> <div class="carousel-inner"> <div class="carousel-item carousel-image-1 active" > <div class="container-fluid"> <div class="carousel-caption mb-5 d-sm-block cap"> <h2 class=" mb-5 text-white">3<sup>rd</sup> International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024)</h2> <h3 style="color:#50ABBE"><strong>August 17 ~ 18, 2024, Chennai, India</strong></h3> </div> </div> </div> <div class="carousel-item carousel-image-2"> <div class="container"> <div class="carousel-caption text-center mb-5 d-sm-block cap"> <h2 class=" mb-5 text-white">3<sup>rd</sup> International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024)</h2> <h3 style="color:#50ABBE"><strong>August 17 ~ 18, 2024, Chennai, India</strong></h3> </div> </div> </div> </div> </div> </section>  <section id="home-icons" class="text-dark py-5"> <div class="container"> <div class="row"> <div class="col-md-3 mb-4 text-center"> <i class="fa fa-handshake-o mb-3" aria-hidden="true"></i> <h3>Scope</h3> <p>3<sup>rd</sup> International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024)</p> </div> <div class="col-md-3 mb-4 text-center"> <i class="fa fa-cogs mb-3" aria-hidden="true"></i> <h3>Topics</h3> <p>Agile and Lean software development, AI for supporting software and systems processes, Artifacts, software validation and diagnosis, Automata Theory</p> </div> <div class="col-md-3 mb-4 text-center"> <i class="fa fa-sitemap mb-3" aria-hidden="true"></i> <h3>Submission System</h3> <p>Authors are invited to submit papers through the <a href="/submission/index.php" target="blank">Conference Submission System</a>.</p> </div> <div class="col-md-3 mb-4 text-center"> <i class="fa fa-wrench mb-3" aria-hidden="true"></i> <h3>Proceedings</h3> <p>Hard copy of the proceedings will be distributed during the Conference.</p> </div> </div> </div> </section>  <section id="home-heading" class="p-5"> <div class="dark-overlay"> <div class="container"> <div class="row"> <div class="col"> <div class=" pt-5"> <h1>Welcome to SOFTFM 2024!</h1> </div> </div> </div> </div> </div> </section>  <section id="network" class="py-5 my-5"> <div class="container"> <div class="row"> <div class="col-md-6"> <img src="img/matrix.png" class="img-fluid" alt="" style="height: 450px;padding-top: 60px;"> </div> <div class="col-md-6 text-dark align-self-center"> <h3 class="display-4 mb-3" style="font-size: 37px;">Scope <a href="../cp/softfm-cp.pdf" style="color:black;font-size:20px" target="_blank">Call for Participation<img src="../new.gif" /></a>  <a href="../ps/softfm-ps.html" style="color:black;font-size:20px" target="_blank">Program Schedule<img src="../new.gif" /></a></h3> <p style="text-align:justify"> <span style="color:#b94d34"><b>3<sup>rd</sup> International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2024)</b></span> 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. </p> <p style="text-align:justify"> 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.</p> </div> </div> </div> </section>  <section id="training" class="p-5"> <div class="training-overlay"> <div class="container"> <div class="row"> <div class=" col-md-12 text-center" style=" padding: 15px 0;"> <br><br> <h1>Topics of Interest</h1> </div> </div> </div> </div> </section>  <section id="IT-Services" class="py-5 my-5"> <div class="container"> <div class="row"> <div class="col-md-6 text-dark align-self-center"> <ul> <li>Agile and Lean software development</li> <li>AI for supporting software and systems processes</li> <li>Artifacts, software validation and diagnosis</li> <li>Automata Theory</li> <li>CI/CD, Agile and Devops</li> <li>Develops in health care, education & business</li> <li>Devops Models, Practices, Challenges</li> <li>Empirical Study</li> <li>Formal Languages</li> <li>Hybrid processes for software and systems</li> <li>Intelligent software systems</li> <li>IoT software engineering</li> <li>Lean & Agile software Development & practices</li> <li>Legacy systems</li> <li>Open source software</li> <li>Open Source Software development</li> <li>Performance Evaluation, Application & Tools</li> <li>Program Semantics</li> <li>Scaled Agile Framework (SAFe) in the real World</li> <li>Service-oriented Software Engineering (SOSE)</li> <li>Software as a Service ( Saas)</li> <li>Software Automation</li> <li>Software Engineering challenges</li> <li>Software Engineering for Big Data</li> <li>Software Engineering for Machine Learning</li> <li>Software performance</li> <li>Software reliability and large-scale distribution</li> <li>Software Security</li> </ul> </div> <div class="col-md-6"> <img src="img/research-3.jpeg" class="img-fluid" alt="" style="padding: 25% 0;"> </div> </div> </div> </section>  <section id="training" class="p-5"> <div class="training-overlay"> <div class="container"> <div class="row"> <div class="col"> <div class=" pt-5"> <h1>Proceedings</h1> <p class="d-md-block"> Proceedings of the conference will be published by <a href="http://airccse.org/cscp.html" target="blank">Computer Science Conference Proceedings</a> in <a href="http://airccse.org/cscp.html" target="blank">Computer Science & Information Technology (CS&IT)</a> series(Confirmed). Hard copy of the proceedings will be distributed during the Conference. </p> </div> </div> </div> </div> </div> </section>  <section id="network" class="py-5 my-5"> <div class="container"> <div class="row"> <div class="col-md-12 text-dark align-self-center" > <h5 class="display-5 mb-3">Selected papers from <b>SOFTFM 2024</b>, after further revisions, will be published in the special issue of the following journals</h5> <ul style="line-height: 33px;"> <li><a href="https://www.airccse.org/journal/ijsea/ijsea.html" target="_blank" style="color: #5f4f21;">International Journal of Software Engineering & Applications (IJSEA)</a> - ERA, Indexed</li> <li><a href="https://airccse.org/journal/ijfcst/ijfcst.html" target="_blank" style="color: #5f4f21;">International Journal in Foundations of Computer Science & Technology (IJFCST)</a></li> <li><a href="https://airccse.org/journal/ijit/index.html" target="_blank" style="color: #5f4f21;">International Journal on Information theory (IJIT)</a> </li> <li><a href="https://airccse.org/journal/ijdkp/ijdkp.html" target="_blank" style="color: #5f4f21;">International Journal of Data Mining & Knowledge Management Process (IJDKP)</a> - WJCI Indexed</li> <li><a href="https://airccse.org/journal/ijasa/index.html" target="_blank" style="color: #5f4f21;">International Journal of Ambient Systems and Applications (IJASA)</a></li> <li><a href="https://airccse.org/journal/ijpla/ijpla.html" target="_blank" style="color: #5f4f21;">International Journal of Programming Languages and Applications (IJPLA)</li> <li><a href="http://airccse.org/journal/acii/index.html" target="_blank" style="color: #5f4f21;">Advanced Computational Intelligence: An International Journal (ACII)</a></li> </ul> </ul> </div> </div> </div> </section>  <section id="kpo" class="p-5 my-5"> <div class="kpo-overlay"> <div class="container"> <div class="row"> <div class=" col-md-12 text-center" style=" padding: 15px 0;"> <h1>Important Dates</h1> <p><span style="color: yellow;">Third Batch : (Submissions after June 01, 2024) </span></p> </div> <div class=" col-md-4 text-center"> <p>Submission Deadline</p> <span><strong style="color:#2fabbe" >Closed</strong></span> </div> <div class=" col-md-4 text-center"> <p>Authors Notification</p> <span><strong style="color:#2fabbe">August 15, 2024</strong></span> </div> <div class=" col-md-4 text-center"> <p>Registration & Camera-Ready Paper Due </p> <span><strong style="color:#2fabbe">August 16, 2024</strong></span> </div> </div> </div> </div> </section> <section id="icon-boxes" class=""> <div class="container-fluid"> <div class="row mb-4"> <div class="col-md-3 mb-1"> <div class="card bg-dark text-center text-white"> <div class="card-body icon"> <h5 class="bbtn mb-2">Sponsors</h5> <br> <a href="https://allconferencecfpalerts.com/cfp/shareurl.php" target="_blank"> <img widrd="50%" height="150%" src="img/shareurl.jpg" alt="shareurl"></a> <br> <br><br> <a href="https://www.airccse.org/journal/ijsea/ijsea.html" target="_blank" ><img widrd="50%" height="70px" src="img/jlogos/ijcsit.png" alt="IJCSIT"></a><br> <br><br><br> </div> </div> </div> <div class="col-md-3 mb-1"> <div class="card bg-dark text-center text-white"> <div class="card-body icon"> <h5 class="mb-2 bbtn">Sponsors</h5> <br> <a href ="https://allconferencecfpalerts.com/cfp/OA.html" target="blank"><img src="img/csitc.jpg"></a> <br> <br><br> <a href="http://airccse.org/cscp.html" target="_blank"> <img src="img/final.jpg" alt="final" ></a> <br><br><br><br> </div> </div> </div> <div class="col-md-3 mb-1"> <div class="card bg-dark text-center text-white"> <div class="card-body icon"> <h5 class="bbtn"> Other Conferences</h5> <div style="list-style: none;"> <br> <li><a href="/aiso/index" target="_blank"><strong>AISO 2024</strong></a></li> <li><a href="/sip/index" target="_blank"><strong>SIP 2024</strong></a></li> <li><a href="/wimnet/index" target="_blank"><strong>WiMNeT 2024</strong></a></li> <li><a href="/nldm/index" target="_blank"><strong>NLDM 2024</strong></a></li> <li><a href="/biom/index" target="_blank"><strong>BIOM 2024</strong></a></li> <li><a href="/crbl/index" target="_blank"><strong>CRBL 2024</strong></a></li> <li><a href="/edupt/index" target="_blank"><strong>EDUPT 2024</strong></a></li> <li><a href="/index" target="_blank"><strong>COMIT 2024</strong></a></li> </div> <br><br><br><br> </div> </div> </div> <div class="col-md-3"> <div class="card bg-dark text-center text-white"> <div class="card-body "> <h5 class="bbtn">Past Events</h5> <div style="list-style: none;"> <br> <li><a href="https://comit2023.org/softfm/index" target="_blank"><strong>SOFTFM 2023</strong></a></li> <li><a href="https://sites.google.com/view/softfm-2022/home" target="_blank"><strong>SOFTFM 2022</strong></a></li> </div> </div> </div> </div> </div> </div> </section> <div class="container"> <div class="row"> <div class="col-sm-12 col-md-12"> <h3 class="text-center" style="color:black" >Speakers</h3><br></div> <br> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/comit1.png" width="130px" height="130px"/> <p style="color:#000"><b>Deepanshu Sharma</b><br>NIT Hamirpur<br> India</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/comit2.png" width="130px" height="130px"/> <p style="color:#000"><b>Sujay R</b><br>PES University<br> India</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/comit3.png" width="130px" height="130px"/> <p style="color:#000"><b>Suki Perumal</b><br>PES University<br> India</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/comit4.png" width="130px" height="130px"/> <p style="color:#000"><b>Yash Nagraj</b><br>PES University<br> India</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/crb1.png" width="130px" height="130px"/> <p style="color:#000"><b>Robin Thomas</b><br>Oliveiot Innovations Pvt Ltd<br> India</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/biom1.png" width="130px" height="130px"/> <p style="color:#000"><b>B. Pavan</b><br>Jawaharlal Nehru Technological University<br> India</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/comit5.png" width="130px" height="130px"/> <p style="color:#000"><b>Hema Durairaj</b><br> India</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/softfm1.png" width="130px" height="130px"/> <p style="color:#000"><b>Narendar Kumar Ale</b><br> University Of Cumberlands<br> USA</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/softfm2.png" width="130px" height="130px"/> <p style="color:#000"><b>Naga Satya Praveen Kumar Yadati</b><br> USA</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/nldm1.png" width="130px" height="130px"/> <p style="color:#000"><b>Pavan Kurariya</b><br> Centre for Development of Advanced Computing<br> India</p> </div> <div class="col-sm-6 col-md-3 text-center"> <img src="/photos/biom2.png" width="130px" height="130px"/> <p style="color:#000"><b>Ravisha Rohilla</b><br>Indira Gandhi Delhi Technical University For Women<br> India</p> </div> </div> </div>  <section id="footer-section" class="text-white py-3 text-left"> <div class="container"> <div class="row"> <div class="card-body col-md-2"></div> <div class="card-body col-md-3 text-left"> <p><a href="contact" class=" text-white"><b>Contact Us</b></a></p> <p><a href="mailto:softfm@comit2024.org" class=" text-white"><b>softfm@comit2024.org</b></a></p> </div> <div class="card-body follow col-md-3 text-left"> <h6 class="mb-3">Follow Us</h6> <div> <a href="https://www.facebook.com/AIRCCPC" target="blank"> <li class="fa fa-facebook" aria-hidden="true"></li> </a> <a href="https://twitter.com/AIRCCFP" target="blank"> <li class="fa fa-twitter" aria-hidden="true"></li> </a> <a href="https://www.youtube.com/channel/UCzkuYvuKuNCIc3jbE52IeZg" target="blank"> <li class="fa fa-youtube-play" aria-hidden="true"></li> </a> </div> </div> <div class="card-body col-md-3 text-left "> <h6 class="mb-3 "> <a href="venue" class=" text-white"><i class="fa fa-map-marker fa-3x"></i></a></h6> <p>Chennai<br>India</p> </div> <div class="card-body col-md-12 text-center "> <p>Copyright © SOFTFM 2024 All Rights Reserved.</p> </div> <div class="navbar py-1 col-sm-12"> </div> </div> </div> </section> <script src="js/jquery.min.js"></script> <script src="js/popper.min.js"></script> <script src="js/bootstrap.min.js"></script> <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script> <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js"></script> </body> </html>

CINXE.COM

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