ICFEM'03: deadline extended for one week.

QIN Shengchao qinsc at comp.nus.edu.sg
Fri May 16 20:02:31 PDT 2003

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

     The submission deadline is now extended to 26th May, 2003!

	                Final Call For Papers

	                     ICFEM 2003
	           Fifth International Conference on
		       Formal Engineering Methods

		           5-7 November 2003
		    National University of Singapore,

      Conference: http://nt-appn.comp.nus.edu.sg/fm/icfem2003/
  Submission: http://www-appn.comp.nus.edu.sg/~rpfm/cyberchair/public_html/


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:         26th May 2003 (new)
     Notification of acceptance:        14th July 2003 (new)
     Final copy for Proceedings:        8th August 2003 (new)
     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
  http://www.springer.de/comp/lncs/authors.html for details.

Online submission is now available through the submission web site:

Some selected best papers may be considered for a special issue in
the Formal Aspects of Computing journal (Springer).


Jifeng He, <jifeng at iist.unu.edu>, IIST United Nations U
P.S. Thiagarajan, <thiagu at comp.nus.edu.sg>, National U of Singapore


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


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 comp.nus.edu.sg>, National U of Singapore
Zongyan Qiu <qzy at math.pku.edu.cn>, Peking U


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

(In case you worry about SARS situation in Singapore:

The compgeom mailing lists: see
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.

More information about the Compgeom-announce mailing list