| |||||||||||||||
SOFTFM 2022 : International Conference on Software Engineering Advances and Formal Methods | |||||||||||||||
Link: https://comit2022.org/softfm/index | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022) October 22 ~ 23, 2022, Sydney, Australia Scope & Topics International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022) 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
Paper Submission Authors are invited to submit papers through the conference Submission system by October 08, 2022 (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 Computer Science Conference Proceedings in Computer Science & Information Technology (CS & IT) series (Confirmed). Selected papers from SOFTFM 2022, after further revisions, will be published in the special issue of the following journal.
Important Dates
Co - Located Events
***** The invited talk proposals can be submitted to softfm@comit2022.org |
|