Email Gateway (Aug 18 2022 at 15:16): Email Gateway (Aug 18 2022 at 15:16):From: Stephan Merz <Stephan.Merz@loria.fr>
[New information: extended deadlines, invited speakers, satellite events]
Apologies for multiple copies of this CFP
CALL FOR PAPERS
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:
Invited Speakers:
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:
Satellite events:
Workshop "Formal Methods for Web Data Trust and Security" (WTS 2010)
http://acxml.gforge.inria.fr/WTS10
Tutorial "Verification of C# programs using Spec# and Boogie 2" by Rosemary Monahan
Contact: ifm2010@loria.fr
Last updated: Apr 20 2024 at 12:26 UTC