9th International Conference on Formal Engineering Methods
  • (ICFEM 2007)

    		•
        

     

    First Call for Papers

    ICFEM 2007
  • 9th International Conference on Formal Engineering Methods

    • 14-15 November 2007
  • Florida Atlantic University, Boca Raton, Florida, USA

    • http://www.icfem2007.org

    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 http://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 Chair:

    • 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, USA

    Sponsored by:

    • Florida Atlantic University
    • Loyola College in Maryland

    PC Members:

    • Keijiro Araki, Kyushu University, Japan
    • Farhad Arbab, CWI and Leiden University, The Netherlands
    • David Basin, ETH Zurich,Switzerland
    • Michael Butler (Co-Chair), University of Southampton,UK
    • Ana Cavalcanti, University of York, UK
    • Jessica Chen, University of Windsor, Canada
    • Yoonsik Cheon, University of Texas at El Paso, USA
    • Zhenhua Duan, Xidian University, China
    • Jin Song Dong, National University of Singapore, Singapore
    • Kai Engelhardt, University of New South Wales, Australia
    • Ed Fernandez, Florida Atlantic University, USA
    • Colin Fidge, Queensland University of Technology, Australia
    • John Fitzgerald, University of Newcastle, UK
    • Marc Frappier, Université De Sherbrooke, Canada
    • Marcelo Frias, University of Buenos Aires, Argentina
    • Uwe Glässer, Simon Fraser University, Canada
    • Joe Kiniry, Univeristy College Dublin, Ireland
    • Shriram Krishnamurthi, Brown University, USA
    • Kung-Kiu Lau, University of Manchester, UK
    • Rustan Leino, Microsoft Research, USA
    • Michael Leuschel, Heinrich-Heine Universität Düsseldorf, Germany
    • Xuandong Li, Nanjing University, China
    • Shaoying Liu, Hosei University, Tokyo, Japan
    • Zhiming Liu, UNU-IIST, China
    • Tiziana Margaria, Universität Potsdam, Germany
    • Huaikou Miao, Shanghai University, China
    • Maria Petrie (Co-Chair), Florida Atlantic University, USA
    • Mike Poppleton, University of Southampton, UK
    • Marie-Laure Potet, Laboratoire d'Informatique de Grenoble, France
    • Peter O’Hearn, Queen Mary, University of London, UK
    • Anders P. Ravn, Aalborg University, Denmark
    • Davide Sangiorgi, University of Bologna, Italy
    • Mannu Satpathy, General Motors India Science Lab, Bangalore, India
    • Klaus-Dieter Schewe, Massey University, New Zealand
    • Kaisa Sere, Åbo Akademi, Finland
    • Wuwei Shen, Western Michigan University, USA
    • Marjan Sirjani, University of Tehran, Iran
    • Ketil Stølen, SINTEF and University of Oslo, Norway
    • Sofiene Tahar, Concordia University, Canada
    • Helen Treharne, University of Surrey, UK
    • T.H. Tse, The University of Hong Kong , China
    • Farn Wang, National Taiwan University, Taiwan
    • Wang Yi, Uppsala University, Sweden
    • Jian Zhang, Chinese Academy of Sciences, China