Sorry if some of you receive multiple copies of this message.
Stefania Gnesi (FM2003 General Chair)
==============================================================================
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 - [EMAIL PROTECTED]
The 12th International FME Symposium
Pisa, Italy - September 8-14, 2003
http://fme03.isti.cnr.it - [EMAIL PROTECTED]
------------------------------------------------------------------------------
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:[EMAIL PROTECTED]
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.
Proposals comprising:
*
*
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:[EMAIL PROTECTED]
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.
