Call For Papers ICFEM 2003 Fifth International Conference on Formal Engineering Methods 5-7 November 2003 National University of Singapore, URL: http://nt-appn.comp.nus.edu.sg/fm/icfem2003/ =========================================================================== Conference Themes ----------------- Formal methods for developing computing systems have been extensively researched and their use in industry is increasing. Recent applications to the development of mission-critical, safety-critical and security-critical systems have significantly increased trustworthiness, without increasing overall development costs. The challenge now is to achieve general acceptance of formal methods as a part of industrial development of high quality systems, particularly trusted systems. More needs to be known about merging formal methods into industrial engineering practice, including new and emerging practice. This includes increasing productivity of formal engineering methods, for example through improved tool support. ICFEM 2003 aims to bring together researchers and practitioners from industry, academia, and government to advance the state of the art in formal engineering methods and to encourage wider uptake of formal methods in industry. Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered: + Assessment of formal methods (including metrics) + CASE tools for formal methods + Formal methods for embedded and hybrid systems + Formal methods for software components + Formal specification and design techniques + Linking formal methods with other methodologies + Management based on formal methods + Model checking and theorem proving + Novel applications of formal methods + Rigorous review + Software process with formal methods + Specification evolution and refinement + Technology transfer of formal methods + Testing based on formal specifications + Validation of formal specifications + XML/Semantic-Web with formal methods Important Dates --------------- Submission of draft paper: 30th May 2003 Notification of acceptance: 14th July 2003 Final copy for Proceedings: 8th August 2003 ICFEM2003 in Singapore: 5-7 November 2003 KEYNOTE SPEAKERS ---------------- Ian Hayes, U of Queensland, Australia Mathai Joseph, Tata Research Development & Design Centre, India Colin O'Halloran, QinetiQ, UK SUBMISSION GUIDELINES --------------------- The ICFEM 2003 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. See http://www.springer.de/comp/lncs/index.html for details. All contributions will be reviewed and evaluated based on originality, technical quality, and relevance to the scope of the conference. Papers should not exceed twenty pages in LNCS format: see http://www.springer.de/comp/lncs/authors.html for details. Online submission is now available through the submission web site: http://www-appn.comp.nus.edu.sg/~rpfm/cyberchair/public_html/ Some selected best papers may be considered for a special issue in the Formal Aspects of Computing journal (Springer). CONFERENCE CO-CHAIRS -------------------- Jifeng He, , IIST United Nations U P.S. Thiagarajan, , National U of Singapore PROGRAM CO-CHAIRS ----------------- Jin Song Dong, , National U of Singapore Jim Woodcock, , U of Kent PROGRAM COMMITTEE ----------------- Vasu Alagar, Concordia U, CA Richard Banach, U of Manchester, UK Jonathan Bowen, South Bank U, UK Manfred Broy, Technical U of Munich, GE Michael Butler, U of Southampton, UK Ana Cavalcanti, U of Kent, UK Dan Craigen, ORA, CA Jim Davies, Oxford U, UK Jin Song Dong, National U of Singapore, SG Kai Engelhardt, U of New South Wales, AU John Fitzgerald, Transitive Tech Ltd., UK Marc Frappier, U of Sherbrooke, CA Andy Galloway, U of York, UK Kyo Chul Kang, Pohang U of Sci & Tech, KR Kung-Kiu Lau, U of Manchester, UK Shaoying Liu, Hosei U, JP Zhiming Liu, United Nations U, Macau, CN Huimin Lin, Chinese Academy of Sci, CN Peter Lindsay, U of Queensland, AUS Brendan Mahony, Defense Sci&Tech Org, AU Huaikou Miao, Shanghai U, CN Jeff Offutt, George Mason U, USA Richard Paige, U of York, UK Abhik Roychoudhury, National U of Singapore, SG Motoshi Saeki, Tokyo Inst. of Tech, JP Augusto Sampaio, U F'l De Pernambuco, BR Thomas Santen, Technischen U of Berlin, GE Klaus Dieter Schewe, Massey U, NZ Wolfram Schulte, Microsoft Research, USA Graeme Smith, U of Queensland, AU Paul Swatman, Stuttgart Inst Man&Tech, GE Kenji Taguchi, U of Bradford, UK Sofiene Tahar, Concordia U, CA T.H. Tse, U of Hong Kong, CN Farn Wang, National Taiwan U, TW Wang Yi, Uppsala U, SE Jim Woodcock, U of Kent, UK Hongjun Zheng, Semantics Designs Inc, USA Hong Zhu, Oxford Brookes U, UK PUBLICITY CHAIRS ---------------- Shengchao Qin , National U of Singapore Zongyan Qiu , Peking U LOCAL ORGANIZING COMMITTEE -------------------------- Chair: Martin Henz , National U of Singapore Registration: Hugh Anderson , National U of Singapore Webmaster: Hai Wang , National U of Singapore