ICFEM 2006
Eighth International Conference on Formal Engineering Methods

1 November - 3 November 2006

You should prepare your slides in pdf or ppt file before the presentations.

Tuesday 31 October, 1930: Receiption and Registration at UNU-IIST

CALL FOR PAPERS

Download the document: PDF | DOC | TXT

Formal methods for development computer systems have been extensively researched and studied. We have now a good theoretical understanding of how to describe what programs do, how they do it, and why they work. A range of semantic theories, specification languages, design techniques, and verification tools have been developed and applied to constructions of programs of moderate size that are used in critical applications.

The challenge now is to scale up formal methods and integrated them into engineering development processes for correct construction  and maintenance of  computer systems. This requires to improve the state of the arts by researching on the integration of methods and theirs theories, merging them  into industrial engineering practice, including new and emerging practice.

ICFEM 2006 aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We particularly encourage submissions that aim at a combination of conceptual and methodological aspects with their formal foundation and tool support. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.

Area and Topics

Any submissions whose content is relevant to the area of formal engineering methods will be considered, but submissions whose subject matter is related to one of the following themes will be particularly welcome:

• Integrated methods and theories for different programming paradigms and design patterns
• Formal model-based development and code generation
• Formal methods for object and component systems
• Application in model-driven and service-based architectures
• Abstraction and refinement
• Tool development  and integration for formal system design, analysis and verification
• Integration of formal verification tools in CASE tools
• Techniques for specification, verification and validation
• Techniques and case studies for correctness by construction
• Experiments of verified systems
• Testing and test-case generation
• Techniques and case studies for reverse engineering
• Application in real-time, hybrid and critical systems
• Development methodologies with their formal foundations
• Emerging technologies

Paper Submissions

Since ICFEM addresses a heterogeneous audience, potential authors are strongly encouraged to make their ideas as accessible as possible. In addition, reports of case studies should have a conceptual message, theory papers should have a clear link to application, and papers describing tools should include an account of practical results. The ICFEM 2006 Program Committee selects original technical papers for publication in the proceedings of the conference to be published by Springer as Lecture Notes in Computer Science. Papers should not exceed twenty pages in LNCS format.

Submission Procedure

Further information and instruction about submission can be found in the conference website http://www.iist.unu.edu/icfem06

Co-located  Events

AWCVS2006: 1st Asian Working Conference on Verified Software (29-31 October 2006), REFINE 2006: International Refinement Workshop (http://www.refinenet.org.uk/cfp_rw06.html), and FMIS 2006: 1st International Workshop on Formal Methods for  Interactive Systems (FMIS 2006).