About |
|
International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world. Papers at ICFEM are fully refereed and proceedings are published by Springer LNCS and IEEE Press. This year's ICFEM will be held in Singapore right after the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020) in Singapore. We would like to encourage you to attend both conferences with one business trip. |
Call for Papers |
|
Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal engineering methods and their practical applications will also be considered:
Conference Paper Submission and PublicationSubmissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (including references) in the Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website (more details here). Submissions should be made through the ICFEM 2020 submission page, handled by the EasyChair conference management system. Important DatesFull Paper Submissions Due: 1 May (AOE) 2020 Workshop/Tutorial Proposals Due: 20 March 2020 Acceptance/Rejection Notification: 19 June 2020 Camera-ready Due: 17 July 2020 |
Summary |
|
ICFEM 2020 : The 22nd International Conference on Formal Engineering Methods will take place in Singapore. It’s a 5 days event starting on Nov 02, 2020 (Monday) and will be winded up on Nov 06, 2020 (Friday). ICFEM 2020 falls under the following areas: FORMAL METHODS, VERIFICATION, SOFTWARE ENGINEERING, PROGRAM ANALYSIS, etc. Submissions for this Conference can be made by May 01, 2020. Authors can expect the result of submission by Jun 19, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 17, 2020 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 ICFEM 2020
|
Credits and Sources |
| [1] ICFEM 2020 : The 22nd International Conference on Formal Engineering Methods |
