[TYPES/announce] CFPart : iFM 2010
Stephan Merz
Stephan.Merz at loria.fr
Fri Aug 6 12:31:55 EDT 2010
CALL FOR PARTICIPATION
8th International Conference on Integrated Formal Methods (iFM 2010)
October 11-14, 2010, Nancy, France
Early registration deadline: September 15, 2010
http://ifm2010.loria.fr/
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
Satellite events (October 11):
- Workshop on Formal Methods for Web Data Trust and Security
- Tutorial: Verification of C# programs using Spec# and Boogie 2 (R. Monahan)
- Tutorial: The TLA+ Proof System (D. Cousineau, S. Merz)
Contact: ifm2010 at loria.fr
More information about the Types-announce
mailing list