========================= First Call for Papers =====================

                              ICFEM 2006

     Eighth International Conference on Formal Engineering Methods

              30 October - 3 November 2006, Macao SAR, China

                    http://www.iist.unu.edu/icfem06


                         First Call for Papers

Formal methods for development of 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 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 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
of 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
fifteen 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

Tutorial and Workshop Proposals

Proposals (up to 5 pages) for giving tutorials or organizing workshops
should be sent to the Tutorial & Workshop chair via email. A tutorial
proposal should include an abstract, an outline of the material, a CV of
the lecturers and the duration of the tutorial. A workshop proposal
should   contain a background of the workshop and provide an estimated
number of participants and support needed. Tutorials and Workshops will
be organised during 30-31 October 2006.


                   Conference Honorary Chair

            Vai Pan Iu,  University of Macau, Macao


                       General Chairs

       Yiping Li, University of Macau, [log in to unmask]

     George Michael Reed, UNU-IIST, Macau, [log in to unmask]


                       Program Chairs

     He Jifeng, East China Normal University, Shanghai, China,
                      [log in to unmask]

        Zhiming Liu,  UNU-IIST, Macau, [log in to unmask]


                  Tutorial & Workshop Chair

        Bernhard K. Aichernig, Graz Univ. of Tech, Austria,
                      [log in to unmask]


                      IMPORTANT DATES

                  Paper submission: 12 May 2006

        Notification of acceptance: 17 July 2006

        Final copy for proceedings: 11 August 2006

               Workshop submission: 17 March 2006

             Workshop notification: 31 March 2006

               Tutorial submission: 30 June 2006

             Tutorial notification: 24 July 2006