Formal methods—notations, analysis techniques and tools with a precise mathematical foundation—help in describing designs or models and support rigorous examination. In view of the diversity of applications and requirements it is important to further research in the integration of different formal and semi-formal methods of design. The iFM series of conferences seeks to promote that research and provides a forum for discussing advances and disseminate the results among the academic and industrial community.
| Submissions: | May 28, 2010 |
| Notification: | July 4, 2010 |
| Event: | October 11, 2010-October 14, 2010 |