(PDF format is also available.)

First Call for Papers
ICFEM 2008
10th International Conference on Formal Engineering Methods
27-31 October 2008
www.icfem2008.org
Kitakyushu International Conference Center, Kitakyushu-City, Japan
http://www.convention-a.jp/eng/cpg/con07.html
Sponsored by ICFEM 2008 Organizing Committee
Co-Sponsored by Information-Technology Promotion Agency (IPA), Japan (under negotiation)
Supported by Software Engineers Association of Japan (SEA),
West Japan Industry and Trade Convention Association

----------------------------------------------------------------------

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 and efficient construction and maintenance of computer systems. This requires us to improve the state-of-the-art by researching effective approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice.

ICFEM 2008 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 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
• ---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 2008 Program Committee will select 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 instructions about submission can be found at the conference website www.icfem2008.org.

• Paper Submission: 21 April 2008
• Tutorial and workshop proposals: 19 May 2008
• Notification of paper acceptance: 30 June 2008
• Notification of tutorial and workshop acceptance: 7 July 2008
• Final copy for proceedings: 28 July 2008
• Conference: 27 - 31 October 2008

• General Chair:
  • Keijiro Araki, Kyushu University, Japan
• Program Chairs:
  • Shaoying Liu, Hosei University, Japan
  • Tom Maibaum, McMaster University, Canada
• Tutorial Chair:
  • Fumiko Nagoya, Ryotokuji University, Japan
• Local Arrangement Chair:
  • Masumi Toyoshima, Kitakyushu City University, Japan
• Registration Chair:
  • Shigeru Kusakabe, Kyushu University, Japan
• Publicity Chair:
  • Yoichi Omori, Kyushu University, Japan
• Steering Committee
  • Keijiro Araki, Kyushu University, Japan
  • Jin Song Dong, National University of Singapore
  • Chris George, UNU/IIST, Macau, China
  • Jifeng He (Chair), East China Normal University, China
  • Mike Hinchey, Loyola College in Maryland and NASA, USA
  • Shaoying Liu, Hosei University, Japan
  • John A. McDermid, University of York, UK
  • Tetsuo Tamai, University of Tokyo, Japan
  • Jim Woodcock, University of York, UK
• Program Committee:
  • Nazareno Aguirre, University of Rio Cuarto, Argentina
  • Toshiaki Aoki, JAIST, Japan
  • Keijiro Araki, Kyushu University, Japan
  • David Basin, ETH Zurich, Switzerland
  • Michael Butler, University of Southampton, UK
  • Steve Cha, KAIST, KAIST, Korea
  • Ana Cavalcanti, University of York, UK
  • Jesscia Chen, University of Windsor, Canada
  • Yuting Chen, University of Texas at Dallas, USA
  • Yoonsik Cheon, The University of Texas at El Paso, USA
  • Shing-chi CHEUNG, Hong Kong University of Science and Technology, China
  • Peter Clarke, Florida International University, USA
  • Jim Davies, University of Oxford, UK
  • Jin Song Dong, National University of Singapore
  • Zhenhua Duan, Xidian University, China
  • Colin Fidge, University of Queensland, Australia
  • John Fitzgerald, University of Newcastle upon Tyne, UK
  • Marcelo Frias, University of Buenos Aires, Argentina
  • Stefania Gnesi.ISTI, Italy
  • Mike Hinchey, NASA GSFC and Loyola College in Maryland, Baltimore, USA
  • Soon Kyeong Kim, University of Queensland, Australia
  • Peter Gorm Larsen, Engineering College of Aarhus, Denmark
  • Kung-Kiu Lau, University of Manchester, UK
  • Mark Lawford, McMaster University, Canada
  • Michael Leuschel, University of Düsseldorf, Germany
  • Xuandong Li, Nanjing University, China
  • Shaoying Liu (co-chair), Hosei University, Japan
  • Zhiming Liu, UNU/IIST, China
  • Tom Maibaum, (co-chair) McMaster University, Canada
  • Huaikou Miao, Shanghai University, China
  • Shin Nakajima, National Institute of Informatics, Japan
  • Mike Poppleton, University of Southampton, UK
  • Anders P. Ravn, Aalborg University, Denmark
  • Ken Robinson, University of New South Wales, Australia
  • Shin Sahara, CSK Systems Corp., Japan
  • Davide Sangiorgi, University of Bologna, Italy
  • Wuwei Shen, Western Michigan University, USA
  • Jing Sun, University of Auckland, New Zealand
  • Koichi Takahashi, National Institute of Advanced Industrial Science and Technology (AIST), Japan
  • Testuo Tamai, University of Tokyo, Japan
  • T.H. Tse, University of Hong Kong, China
  • Farn Wang, National Taiwan University, Taiwan
  • Jim Woodcock, University of York, UK
  • Wang Yi, Uppsala University, Sweden
  • Jian Zhang, Chinese Academy of Sciences, China
  • Hong Zhu, Oxford Brookes University, UK