20-24/09/99  - Toulouse - France

Conference overview

The World Congress on Formal Methods (FM'99) is based on the following observations*.

• Maturity: Use of a formal method is no longer an adventure; it is becoming routine.
• Convergence: The choice of a formal method or tool is no longer controversial: formal methods are chosen in relation to their purpose and they are increasingly used in effective combination.
• Cumulative Progress: Promise of yet, further benefit is obtained by accumulation of tools, libraries, theories, and case studies based on the work of scientists from many schools which were earlier considered as competitors.

• a five day Technical Symposium
• an exhibition
• a set of Industry Tutorials
• and a set of Users Group Meetings and Workshops.

FM'99 will be this millennium's premier event in the area of the maturing formal techniques -- formal specification and design calculi -- that will help secure significantly more trustworthy software and hardware systems for the next millennium.

FM'99 will attract and feature significant numbers of speakers and participants - - worldwide -- from both industry and academia: practising software engineers and their management as well as educators and researchers. Industrial attendees will be given ample opportunities to meet and discuss with method and tool providers as well as with potential customers. Tool and method providers and trainers will give special 7 Magic Minutes presentations to potential industrial users.

• FM'99 will attract several hundreds of people from six continents.

 
• You will not want to miss this important event!

 
 

June 14, 1999