The double meaning is intentional. On the one hand, the theme acknowledges the significant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognises that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability and effectiveness.

FME seeks papers in all aspects of formal methods for computer systems, including the following:

• theoretical foundations
• practical use and case studies
• specification and modelling techniques
• software development and refinement
• tool support and software engineering environments for formal methods
• verification and validation
• hidden formal methods, and making benefits available to non-experts
• reusable domain theories
• method integration
• hardware verification

Papers

Full papers should be submitted in Postscript or PDF format by e-mail to reach the Program Co-chairs by 15 January 2002. Papers will be refereed by the Program Committee and must be original research papers that have not been submitted elsewhere for publication. Accepted papers will be published in the symposium proceedings.

Papers should not exceed twenty pages, although longer papers will be considered if their content justifies it. LNCS format should be used. Please include a short list of keywords on a separate line at the end of the abstract, beginning with the word "Keyword:" in boldface.

Important dates

• Tuesday January 15th, 2002 - paper submission
• Tuesday January 15th, 2002 - workshop and tut'l proposal submission
• Wednesday March 27th, 2002 - author notification
• Friday May 10th, 2002 - final papers due
• Friday June 21st, 2002 - tool demonstration registration

This page is also available as

• Printer-friendly HTML
• PDF