Categories |
FORMAL METHODS
MODELING
SOFTWARE ENGINEERING
|
About |
|
The Integrated Formal Methods (iFM) conference series targets research in formal approaches that combine different methods for modeling and analysis. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice. |
Call for Papers |
|
Areas of interest include but are not limited to:
|
Summary |
|
iFM 2020 : 16th International Conference on integrated Formal Methods will take place in Lugano, Switzerland. It’s a 5 days event starting on Nov 16, 2020 (Monday) and will be winded up on Nov 20, 2020 (Friday). iFM 2020 falls under the following areas: FORMAL METHODS, MODELING, SOFTWARE ENGINEERING, etc. Submissions for this Conference can be made by Jun 22, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 14, 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 iFM 2020
|
Credits and Sources |
| [1] iFM 2020 : 16th International Conference on integrated Formal Methods |
