2nd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2023)
November 18 ~ 19, 2023, Zurich, Switzerland
Hybrid--Registered authors can present their work online or face to face New
SCOPE
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
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
OTHER CONFERENCES
PAST EVENTS
Paper Submission
Authors are invited to submit papers through the conference Submission System by Closed. 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 2023, after further revisions, will be published in the special issue of the following journals
The International Journal of Software Engineering & Applications (IJSEA) - ERA Indexed
International Journal in Foundations of Computer Science & Technology (IJFCST)
International Journal of Data Mining & Knowledge Management Process (IJDKP) - WJCI Indexed
The International Journal of Ambient Systems and Applications (IJASA)
International Journal of Programming Languages and Applications (IJPLA)
Advanced Computational Intelligence: An International Journal (ACII)
COURTESY
SUPPORTED BY
Hard copy of the proceedings will be distributed during the Conference. The softcopy will be available on AIRCC digital library.
SPEAKERS
Oghenetejiri Okporokpo
Nottingham Trent University
United Kingdom
KELVIN OVABOR
THE UNIVERSITY OF ALABAMA
USA
Bong Gon Kim
State University of New York at Stony Brook
USA
Peter Hillmann
University of the Bundeswehr Munich
Germany
Kaoutar Clero
Moroccan Foundation for Advanced Science
Morocco
Zahra Pourahmad
Berlin International University of Applied Sciences
Germany
Wulfrano Arturo Luna Ramírez
Universidad Autónoma de México
Mexico
Daniel Zentai
xtendr
Hungary
Rohit Khankhoje
Independent Researcher, Avon
USA
Contact Us