FM'99
Tools & Applications Exhibition

See final exhibition information.

See also previous exhibition information including registration and the original Call for Participation


The World Congress on Formal Methods (FM'99), the premier event in formal methods technology in 1999, will also feature a five day Exhibition especially targeted towards an industrial audience.

The Exhibition will feature some 25 commercial as well as academic tools that support the use of formal methods, company presentations, application demonstrations, poster sessions and book displays. Also, additional sessions will be scheduled for individual presentations by exhibitors.

See a provisional programme, including a preliminary list of exhibitors.

For more information contact either one of the FM'99 Exhibition coordinators:

Exhibition Co-chairs

Mr Tim Denvir
Translimina Ltd., 55A Compton Road
Winchmore Hill, London N21 3NU
United Kingdom
Tel: +44 (181) 3609205
Fax: +44 (181) 3609205
Email: t-denvir@dircon.co.uk

  Dr Nico Plat
Cap Gemini, P.O. Box 2575
3500 GN Utrecht
The Netherlands
Tel: +31 (30) 2526960
Fax: +31 (30) 2546628
Email: Nico.Plat@ACM.org


Congress Public Relations Officer: Jonathan Bowen
(last updated 16/6/99) (New)