FM'99 World Congress poster

FM'99
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 (Springer LNCS series)
Tool competition: First prize winner (Autofocus)

Draft Final 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 | Poster | Contact |
Symposium Programme | Tools Exhibition | Tutorials | User Groups | Related meetings

See formal methods questionnaires.


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