| 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
Information is also available as follows:
- CERT information (main site)
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 fm99@cert.fr