Home
Agenda
Call for Papers
Workshops and Tutorials
Important Dates
Invited Speakers
Organization
Venue
Submission
Registration

Sponsors:
 

News

• Proceedings available from Springer-Verlag as LNCS 3308. See the Springer Global Website for information about the proceedings and the SpringerLink website for on-line access.
   
• All conference presentations are now available from the Agenda page. They are also available in a single zip file.
   
• Workshops and Tutorials
   
• Invited speakers: Joxan Jaffar, J Strother Moore, Peter Neumann, and Amitabh Srivastava.
   
• Visa suggestions for foreign visitors.
   
• Venue right next to Seattle's new architectural marvel, its Public Library.
   
• Paper submissions closed on 24 May 2004. The notification of paper acceptance was 13 July 2004.
   

Conference Theme

Formal methods for developing computing systems have been extensively researched and their use in industry is increasing. Semantics based program generators, formal analysis of design and code, and formal test case generation are slowly but steadily emerging.

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 adopting formal methods and formally based tools for industrial engineering practice, including new and emerging practice.

ICFEM 2004 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.

ICFEM 2004 is the sixth conference in the ICFEM series. Previous conferences have been held in

• Singapore, Singapore (2003)
• Shanghai, China (2002)
• York, Great Britain (2000)
• Queensland, Australia (1998)
• Hiroshima, Japan (1997)

Send mail to schulte@microsoft.com with questions or comments about this web site.
Last modified: 02/05/04