FM 2003 Call for Participation
mailinglist@fmeurope.org
mailinglist@fmeurope.org
Mon, 16 Jun 2003 16:06:57 +0200
--Boundary_(ID_XG5spJEgc+4Xo+1O2LskFA)
Content-type: text/plain; charset="us-ascii" ; format="flowed"
Sorry if some of you receive multiple copies of this message.
Stefania Gnesi (FM2003 General Chair)
==============================================================================
Call for Participation
------------------------------------------------------------------------------
The 12th International FME Symposium
Pisa, Italy - September 8-14, 2003
http://fme03.isti.cnr.it - fme03@isti.cnr.it
------------------------------------------------------------------------------
FM 2003 is the twelfth in a series of symposia organized by Formal
Methods Europe, an independent association whose aim is to stimulate
the use of, and research on, formal methods for software development.
These symposia have been notably successful in bringing together a
community of users, researchers, and developers of precise
mathematical methods for software development as well as industrial
users.
Formal methods have been controversial throughout their history, and
the realization of their full potential remains, in the eyes of many
practitioners, merely a promise. Have they been successful in
industry? If so, under which conditions? Has any progress been made
in dispelling the skepticism that surrounds them? Are they worth the
effort? Which aspects of formal methods have become so well
established in the industrial practices to loose the "formal method"
label in the meanwhile?
FM 2003 aims to answer these questions, by contributions not only
from the Formal Methods community but also from outsiders and even
from skeptical people who are most welcome to explain, document, and
motivate the source of their reluctance.
Satellite Events
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.
For full details on the Symposium organization and to register please
see the web site http://fme03.isti.cnr.it, or send your query to
<mailto:fme03@isti.cnr.it>fme03@isti.cnr.it.
--Boundary_(ID_XG5spJEgc+4Xo+1O2LskFA)
Content-type: text/html; charset="us-ascii"
<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type="text/css"><!--
blockquote, dl, ul, ol, li { margin-top: 0 ; margin-bottom: 0 }
--></style><title>FM 2003 Call for Participation</title></head><body>
<div>Sorry if some of you receive multiple copies of this message.<br>
<br>
Stefania Gnesi (FM2003 General Chair)<br>
<br>
=========================================<span
></span>=====================================<br>
</div>
<div
> <span
></span
> <span
></span> Call for Participation</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><font face="Arial" size="+1" color="#000000"><b>FM 2003</b> is
the twelfth in a series of symposia organized by<u><b> Formal Methods
Europe</b></u>, an independent association whose aim is to stimulate
the use of, and research on, formal methods for software development.
These symposia have been notably successful in bringing together a
community of users, researchers, and developers of precise
mathematical methods for software development as well as industrial
users.<br>
<br>
Formal methods have been controversial throughout their history, and
the realization of their full potential remains, in the eyes of many
practitioners, merely a promise. Have they been successful in
industry? If so, under which conditions? Has any progress been made
in dispelling the skepticism that surrounds them? Are they worth the
effort? Which aspects of formal methods have become so well
established in the industrial practices to loose the "formal
method" label in the meanwhile?</font><br>
<font face="Arial" size="+1" color="#000000"></font></div>
<div><font face="Arial" size="+1" color="#000000">FM 2003 aims to
answer these questions, by contributions not only from the Formal
Methods community but also from outsiders and even from skeptical
people who are most welcome to explain, document, and motivate the
source of their reluctance.</font><br>
<font face="Arial" size="+1" color="#000000"></font></div>
<div><font face="Arial" size="+1" color="#000000"><b>Satellite
Events</b><br>
<br>
<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.</font></div>
<div><font face="Arial" size="+1" color="#000000"><br></font></div>
<div><font face="Arial" size="+1" color="#000000">For full details on
the Symposium organization and to register please see the web site<b>
http://fme03.isti.cnr.it</b>, or send your query
to </font> <a href="mailto:fme03@isti.cnr.it"><font face="Arial"
size="+2" color="#000000">fme03@isti.cnr.it</font></a><font
face="Arial" size="+1" color="#000000"><b>.</b></font></div>
</body>
</html>
--Boundary_(ID_XG5spJEgc+4Xo+1O2LskFA)--
_______________________________________________
Mailinglist mailing list
Mailinglist@fmeurope.org
http://www.fmeurope.org/mailman/listinfo/mailinglist