Formal methods for development of computer systems have been extensively studied. A range of semantic theories, specification languages, design techniques, and verification methods and tools have been developed and applied to the construction of programs used in critical applications. The challenge now is to scale up formal methods and integrate them into engineering development processes for the correct and efficient construction and maintenance of computer systems. This requires us to improve the state-of-the-art on approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice.

ICFEM brings 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 are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit. 

Rio de Janeiro

December 8 -11, 2009

Organized by:

Sponsored by: