Second Call For Papers - ICFEM 2003

[Shengchao Qin]

[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, 

	      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:         19th May 2003 
     Notification of acceptance:        7th July 2003 
     Final copy for Proceedings:        1st 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. 
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 at
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, <jifeng at iist.unu.edu>, IIST United Nations U
P.S. Thiagarajan, <thiagu at comp.nus.edu.sg>, National U of Singapore

PROGRAM CO-CHAIRS
-----------------

Jin Song Dong, <dongjs at comp.nus.edu.sg>, National U of Singapore
Jim Woodcock, <J.C.P.Woodcock at ukc.ac.uk>, 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 <qinsc at comp.nus.edu.sg>, National U of Singapore 
Zongyan Qiu <qzy at math.pku.edu.cn>, Peking U

LOCAL ORGANIZING COMMITTEE
--------------------------

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



-------------
The compgeom mailing lists: see
http://netlib.bell-labs.com/netlib/compgeom/readme.html
or send mail to compgeom-request at research.bell-labs.com with the line:
send readme
Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html.