Second Call For Papers - ICFEM 2003

Shengchao Qin qinsc at
Mon May 5 11:43:47 PDT 2003


[Apologies if you receive multiple copies of this announcement! ]

		      Second Call For Papers 

	                     ICFEM 2003 
	           Fifth International Conference on 
		       Formal Engineering Methods

		           5-7 November 2003  
		    National University of Singapore, 



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
systems have significantly increased trustworthiness, without increasing

overall development costs.

The challenge now is to achieve general acceptance of formal methods as
part of industrial development of high quality systems, particularly
systems. More needs to be known about merging formal methods into
engineering practice, including new and emerging practice. This includes

increasing productivity of formal engineering methods, for example
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
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
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:         19th May 2003 
     Notification of acceptance:        7th July 2003 
     Final copy for Proceedings:        1st August 2003 
     ICFEM2003 in Singapore:            5-7 November 2003


     Ian Hayes, U of Queensland, Australia       
     Mathai Joseph, Tata Research Development & Design Centre, India 
     Colin O'Halloran, QinetiQ, UK


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. 
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 for details.
Online submission is now available at
Some selected best papers may be considered for a special issue in 
the Formal Aspects of Computing journal (Springer).


Jifeng He, <jifeng at>, IIST United Nations U
P.S. Thiagarajan, <thiagu at>, National U of Singapore


Jin Song Dong, <dongjs at>, National U of Singapore
Jim Woodcock, <J.C.P.Woodcock at>, U of Kent


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 


Shengchao Qin <qinsc at>, National U of Singapore 
Zongyan Qiu <qzy at>, Peking U


Chair:        Martin Henz <henz at>, National U of
Registration: Hugh Anderson <hugh at>, National U of
Webmaster:    Hai Wang <wangh at>, National U of Singapore 

The compgeom mailing lists: see
or send mail to compgeom-request at with the line:
send readme
Now archived at

More information about the Compgeom-announce mailing list