FM'99 World Congress
Detail from the FM'99 poster
Vital statistics
Participants Researchers & practitioners
Date 20–24 September 1999
Location Toulouse, France


World Congress on Formal Methods
in the Development of Computing Systems

Toulouse, France, 20–24 September 1999


Information is also available as follows:

Proceedings: Volume I and Volume II (SpringerLNCS series)

Tool competition: First prize winner (Autofocus)

Programme: (45 pages, last updated 20 August 1999)
PDF (2Mbytes!), PostScript (0.5Mbytes) & gzipped PostScript (0.13Mbytes) formats
(Includes latest information on User Group Meetings and Tutorials)

See also conference overview

Welcome | Overview | Venue | Programme Committee | Sponsors | Travel | Tourism | Information | Registration | Contact |
Symposium Programme | Tools Exhibition | Tutorials | User Groups | Related meetings


Congress Public Relations Officer: Jonathan Bowen
Queries: query

Community content is available under CC-BY-SA unless otherwise noted.