iFM 2013: 10th International Conference on integrated Formal Methods
June 10 - 14, 2013
ICT building
Turku, Finland
Applying formal methods may involve the modeling of different aspects of a
system that are expressed through different paradigms. Correspondingly,
different analysis techniques will be used to examine differently modeled
system views, different kinds of properties, or simply in order to cope with
the sheer complexity of the system. The iFM conference series seeks to
further research into hybrid approaches to formal modeling and analysis;
i.e., the combination of (formal and semi-formal) methods for system
development, regarding modeling and analysis, and covering all aspects from
language design through verification and analysis techniques to tools and
their integration into software engineering practice.
We have the pleasure of announcing the following invited lecturers to iFM
2013:
To celebrate the 10th edition of iFM, special issues of two renowned
Springer journals are agreed upon:
The two special issues will be based on extended and revised versions of the
best papers from iFM 2013, complemented by an open call for papers. All
submissions (including the papers selected from iFM) will go through a
separate peer-review process according to the usual scientific standards of
these journals.
The conference will take place during 12-14.6.2013 and the tutorials and
workshops right before it, during 10-11.6.2013.
|
