[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


8th International Conference on Integrated Formal Methods (iFM 2010)

October 11-14, 2010, Nancy, France


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 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.

Areas of interest include but are not limited to:

- Integration of formal modeling and analysis methods
- Integration of formal and semi-formal modeling and analysis methods
- Integration of formal methods into software engineering practice
- Semantics, Logics, Type systems
- Verification, Model checking, Static analysis, Theorem proving
- Refinement, Model transformations
- Tools, Experience reports, Case studies

Invited Speakers:

- Christel Baier, TU Dresden
- John Fitzgerald, Newcastle University
- Rajeev Joshi, Laboratory for Reliable Software, JPL

iFM 2010 solicits high quality papers reporting research results and/or 
experience reports related to the overall theme of method integration. All 
papers must be original, unpublished, and not submitted for publication 
elsewhere. Submission will be electronically as PDF or Postscript, using the 
Springer  LNCS format. Papers should not exceed 15 pages in length. Each paper 
will undergo a thorough review process. The conference proceedings will be 
published by Springer Verlag in the LNCS series.

Important Dates:

- Abstract submission: May 14, 2010
- Full paper submission: May 21, 2010
- Notification: July 4, 2010
- Final version: July 18, 2010

Contact: ifm2...@loria.fr

Reply via email to