FME 2002 Call for Tool Demonstrations

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.


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.

This page is also available as