Formal Methods Europe

FME 2002

Tool Demonstrations: Call For Participation

Formal Methods: Getting IT Right
International Symposium

22-24 July 2002

The FME 2002 International Symposium will feature tool demonstrations.

Builders and vendors of tools that support the use of formal methods will be able to demonstrate these tools, both in private sessions and in more formal presentations.

FME 2002 will be held as part of of the third Federated Logic Conference (FLoC '02). Tool demonstrators will therefore have an audience drawn from over 30 co-located symposia, conferences and workshops.

The FME 2002 Symposium

FME 2002 is the eleventh in a series of symposia organised by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. These symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical methods for software development.

The theme of FME 2002 is Formal Methods: Getting IT Right. The double meaning is intentional. On the one hand, the theme acknowledges the significant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognises that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability and effectiveness.


Demonstration stands: a limited number of monitors are available free of charge, on a first- come first-serve basis. Further equipment may be hired locally, at the expense of the exhibitor.


Other than the normal conference registration fee, the basic cost of exhibiting at FME 2002 is free. However any special facilities used by exhibitors will be charged to the exhibitor at cost price (see Facilities).

Registration & Contact

For further information, or to register as a tools demonstrator at FME 2002, contact the tool demonstrations coordinator:

Dr Paul Mukherjee
Systematic Software Engineering A/S Denmark

The deadline for registration is June 21st 2002.