SEFM 2021 : The 19th edition of the International Conference on Software Engineering and Formal Methods Virtual
|
|||||||||
Event Date: | December 06, 2021 - December 10, 2021 |
---|---|
Abstract Submission Deadline: | July 19, 2021 |
Submission Deadline: | July 23, 2021 |
Notification of Acceptance: | September 24, 2021 |
Camera Ready Version Due: | October 08, 2021 |
Categories |
SOFTWARE ENGINEERING
FORMAL METHODS
COMPUTER SCIENCE
|
About |
The 19th edition of the International Conference on Software Engineering and Formal Methods will be held virtually between 6 and 10 December 2021. The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. |
Call for Papers |
The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods.
Paper submission |
Summary |
SEFM 2021 : The 19th edition of the International Conference on Software Engineering and Formal Methods will take place in Virtual. It’s a 5 days event starting on Dec 06, 2021 (Monday) and will be winded up on Dec 10, 2021 (Friday). SEFM 2021 falls under the following areas: SOFTWARE ENGINEERING, FORMAL METHODS, COMPUTER SCIENCE, etc. Submissions for this Conference can be made by Jul 23, 2021. Authors can expect the result of submission by Sep 24, 2021. Upon acceptance, authors should submit the final version of the manuscript on or before Oct 08, 2021 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the SEFM 2021
|
Credits and Sources |
[1] SEFM 2021 : The 19th edition of the International Conference on Software Engineering and Formal Methods |