-----------------------------------------------------------------------
                     First Call for Papers
                           ICFEM 2007
     9th International Conference on Formal Engineering Methods
                      13-15 November 2007
       Florida Atlantic University, Boca Raton, Florida, USA
               www.icfem2007.org (available soon)
-----------------------------------------------------------------------

Formal methods for development of computer systems have been
extensively researched and studied.  We now have 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
methods and tools have been developed and applied to the
construction of programs of moderate size that are used in
critical applications.

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

ICFEM 2007 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 are
aimed 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 submission whose content is relevant to the
area of formal  engineering methods will be considered, but
submission 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
---Applications in model-driven and service-based architectures
---Abstraction and refinement
---Tool development and integration for system design 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 involving verified systems
---Specification-based inspection and testing
---Techniques and case studies for reverse engineering
---Applications in real-time, hybrid and critical systems
---Development methodologies with their formal foundations

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 2007 Program
Committee selects original technical papers for publication in the
proceedings of the conference to be published by Springer in its
Lecturer Notes in Computer Science series. Papers should not
exceed twenty pages in LNCS format.

Submission Procedure: Further information and instruction about
submission can be found at the conference website
www.icfem2007.org (available soon).

Important Dates:
Paper submission: 28 May 2007  (Hard deadline)
Notification of acceptance: 17 July 2007
Final copy for proceedings: 15 August 2007
Conference: 13-15 November 2007

General Chairs:  Mike Hinchey, NASA GSFC and Loyola College in
                               Maryland, Baltimore, USA

Program Chairs:  Michael Butler, University of Southampton, UK
                 Maria Petrie, Florida Atlantic University, USA

Publicity Chair:   Denis Gracanin, Virginia Tech, US

Sponsored by:  Florida Atlantic University
               Loyola College in Maryland

PC Members:

Keijiro Araki, Japan
Farhad Arbab, The Netherlands
David Basin, Switzerland
Michael Butler (Co-Chair), UK
Ana Cavalcanti, UK
Yoonsik Cheon, USA
Jin Song Dong, Singapore
Colin Fidge, Australia
John Fitzgerald, UK
Marc Frappier, Canada
Marcelo Frias, Argentina
Joe Kiniry, Ireland
Shriram Krishnamurthi, USA
Kung-Kiu Lau, UK
Rustan Leino, USA
Michael Leuschel, Germany
Xuandong Li, China
Shaoying Liu, Japan
Zhiming Liu, China
Tiziana Margaria, Germany
Huaikou Miao, China
Maria Petrie (Co-Chair),USA
Mike Poppleton, UK
Peter O'Hearn, UK
Anders P. Ravn, Denmark
Davide Sangiorgi, Italy
Mannu Satpathy, India
Klaus-Dieter Schewe, New Zealand
Kaisa Sere, Finland
Ketil Stølen, Norway
Sofiene Tahar, Canada
Helen Treharne, UK
T.H. Tse, China
Farn Wang, Taiwan
Wang Yi, Sweden
Jian Zhang, China
(Further members pending)