The design and analysis of software-intensive systems presents significant challenges: systems need to be understood at different levels of abstraction and analyzed from different perspectives. Besides functional correctness, software such as Internet services, ubiquitous and mobile applications, or embedded systems are subject to requirements including security, timeliness, and graceful degradation in the presence of failures or unexpected environment behavior.
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.
The 8th iFM conference will take place in Nancy, France, from October 11-14, 2010. The technical presentations include invited talks by Christel Baier, John Fitzgerald, and Rajeev Joshi, as well as contributed presentations selected by the program committee. October 11 will be devoted to workshops and tutorials.
The proceedings of the conference have appeared as volume 6396 of LNCS published by Springer Verlag, available here.
Previous events in this series were held at:
- University of York, UK (1999)
- Schloss Dagstuhl, Germany (2000)
- Turku Center for Computer Science, Finland (2002)
- University of Kent, UK (2004)
- University of Eindhoven, The Netherlands (2005)
- University of Oxford, UK (2007)
- Düsseldorf, Germany (2009)