Formal Methods Wiki
Register
Advertisement
FM'99 World Congress
Fm99-europe-mini
Detail from the FM'99 poster
Vital statistics
Participants Researchers & practitioners
Date 20–24 September 1999
Location Toulouse, France

FM'99

World Congress on Formal Methods
in the Development of Computing Systems

Toulouse, France, 20–24 September 1999



Fm99-star1

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



Fm99-star2

Congress Public Relations Officer: Jonathan Bowen
Queries: query fm99@cert.fr

Advertisement