FM 2003 Call for Tool Exhibition
mailinglist@fmeurope.org
mailinglist@fmeurope.org
Thu, 05 Jun 2003 11:04:36 +0200
--Boundary_(ID_b4kPC2mD684WAh5moN7UTA)
Content-type: text/plain; charset="iso-8859-1" ; format="flowed"
Content-transfer-encoding: quoted-printable
Sorry if some of you receive multiple copies of this message.
Stefania Gnesi (FM2003 General Chair)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D
Call for Tool Exhibition
----------------------------------------------------------------------------=
--
The 12th International FME Symposium
Pisa, Italy - September 8-14, 2003
http://fme03.isti.cnr.it - fme03@isti.cnr.it
----------------------------------------------------------------------------=
--
=46M 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=E4t Dortmund and Metaframe
Baroperstr. 301
D-44227 Dortmund, Germany
Phone: +49 231 755 5804
=46ax: +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.
--Boundary_(ID_b4kPC2mD684WAh5moN7UTA)
Content-type: text/html; charset="iso-8859-1"
Content-transfer-encoding: quoted-printable
<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type=3D"text/css"><!--
blockquote, dl, ul, ol, li { margin-top: 0 ; margin-bottom: 0 }
--></style><title>FM 2003 Call for Tool
Exhibition</title></head><body>
<div>Sorry if some of you receive multiple copies of this message.<br>
<br>
Stefania Gnesi (FM2003 General Chair)<br>
<br>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<span
></span>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>
</div>
<div
> <span
></span
> <span
></span> Call for Tool Exhibition</div>
<div><br></div>
<div>-----------------------------------------<span
></span>-------------------------------------<br>
<br>
The 12th International FME Symposium<br>
<br>
Pisa, Italy - September 8-14, 2003<br>
<br>
http://fme03.isti.cnr.it - fme03@isti.cnr.it<br>
</div>
<div>-----------------------------------------<span
></span>-------------------------------------</div>
<div><br></div>
<div><font face=3D"Arial" size=3D"+1" color=3D"#000000"><b>FM 2003</b>,
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.<br>
<br>
<b>Proposals</b> comprising:<br>
*<x-tab> </x-tab>the completed form below and<br>
*<x-tab> </x-tab>a description of the tool (max. 5
pages)<br>
<br>
should be submitted electronically as contributions to the category
"Tool Exhibition" at
http://sttt.cs.uni-dortmund.de/fme2003/s<span
></span>ervlet/Conference<br>
<br>
<b>Submission Deadline: June 9th<br>
Notification of Acceptance: July 1st</b><br>
<br>
In case of questions please contact the Tool Exhibition Chair:<br>
<br>
<b>Tiziana Margaria<br>
</b>Universit=E4t Dortmund and Metaframe<br>
Baroperstr. 301<br>
D-44227 Dortmund, Germany<br>
Phone: +49 231 755 5804<br>
=46ax: +49 231 755 5802<br>
E-mail:tiziana@ls5.cs.uni-dortmund.de<br>
http://ls5-www.cs.uni-dortmund.de/staff/m<span
></span>argaria_cv.en.html<br>
<br>
We have also defined a<b> sponsorship program</b>, which may be of
interest industrial exhibitors, see<b>
http://fme03.isti.cnr.it/fme-sponsprog.h<span
></span>tm</b>.<br>
</font></div>
</body>
</html>=
--Boundary_(ID_b4kPC2mD684WAh5moN7UTA)--
_______________________________________________
Mailinglist mailing list
Mailinglist@fmeurope.org
http://www.fmeurope.org/mailman/listinfo/mailinglist