Courses, seminars, conferences, training products,
and resources for learning about Formal Methods.
FM'99: World Congress on Formal Methods (France, September 1999) - While this event occured in 1999 it is still a good resource for Formal Methods information. FM'99 had four parallel activities: a Technical Symposium, a Tools Fair and Applications Forum, a set of User Group Meetings, and a set of Industry Tutorials. The event was sponsored by ACM, AMAST, EATCS, ETAPS, EU, FME, IEEE CS, IFIP, and IPSJ. It was held 20-24 September 1999 in Toulouse, France.
International Workshop on Current Trends in Applied Formal Methods (Germany, October 1998) - This workshop focused on key technologies that broaden the application of Formal Methods in an industrial setting. The workshop provided an open forum for scientists, practising engineers, and members of regulatory and funding agencies to discuss the achievements as well as future needs and developments. The main objective of the workshop was to outline a picture of this technology and its role in the overall software life cycle at the end of this century.
Second IEEE International Conference on Formal Engineering Methods - Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, 9-11 December, 1998, Brisbane, Queensland, Australia, Proceedings. IEEE Computer Society, online publication: http://computer.org/proceedings/icfem/9198/9198toc.htm
DACS Gold Practice Initiative
