Sorry if some of you receive multiple copies of this message. Stefania Gnesi (FM2003 General Chair) ============================================================================== Call for Tool Exhibition ------------------------------------------------------------------------------ The 12th International FME Symposium Pisa, Italy - September 8-14, 2003 http://fme03.isti.cnr.it - fme03@isti.cnr.it ------------------------------------------------------------------------------ FM 2003, will host 7 Workshops, 8 Tutorials and 1 Day dedicated to the Industry besides the 3 days of the FME Symposium. Tool demonstrations will also take place during the symposium, with the opportunity of holding presentations for each tool. We will be glad to host tool demonstrations presenting tools based on formal technologies (e.g., theorem-proving, model-checking, static analysis, or other formal methods) and introducing also formal methods in the practice of industrial processes (technical, organizational, social, psychological aspects). Both industrial tools and tools developed in academia are welcome at the FME Tool Exhibition. Proposals comprising: * the completed form below and * a description of the tool (max. 5 pages) should be submitted electronically as contributions to the category "Tool Exhibition" at http://sttt.cs.uni-dortmund.de/fme2003/servlet/Conference Submission Deadline: June 9th Notification of Acceptance: July 1st In case of questions please contact the Tool Exhibition Chair: Tiziana Margaria Universität Dortmund and Metaframe Baroperstr. 301 D-44227 Dortmund, Germany Phone: +49 231 755 5804 Fax: +49 231 755 5802 E-mail:tiziana@ls5.cs.uni-dortmund.de http://ls5-www.cs.uni-dortmund.de/staff/margaria_cv.en.html We have also defined a sponsorship program, which may be of interest industrial exhibitors, see http://fme03.isti.cnr.it/fme-sponsprog.htm.