Atlas home || Conferences | Abstracts | about Atlas
Host: Centre de Congrés Pierre Baudis
Homepage: http://www.cert.fr/fm99/
Organizers: Dines Bjørner, Rene Jacquart, Jeannette Wing, James Woodcock
Description:
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.
FM'99 will have four parallel activities:
a five day Technical Symposium a Tools Fair and Applications Forum 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.
Date received: February 06, 1999
© 2008 Atlas Conferences Inc.