Sorry if some of you receive multiple copies of this message.
Stefania Gnesi (FM2003 General Chair)
==============================================================================
Stefania Gnesi (FM2003 General Chair)
==============================================================================
Call for Papers
------------------------------------------------------------------------------
------------------------------------------------------------------------------
The 12th International FME Symposium
Pisa, Italy - September 8-14, 2003
http://fme03.isti.cnr.it - [EMAIL PROTECTED]
------------------------------------------------------------------------------
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 seeking 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. We are confident that a
wide spectrum of experiences and a loyal contrasting of opinions will
foster a better and deeper understanding, if not a wider adoption of
Formal Methods.
Far from restricting the focus of the conference, however, FM 2003
also welcomes papers with strong theoretical content that establish a
connection with the practice of formal methods.
Therefore, FM 2003 welcomes papers in all aspects of formal methods
for computer systems, including the following:
… introducing formal methods in the practice of industrial processes
(technical, organizational, social, psychological aspects)
… concerns and risks for potential adopters of formal methods;
cost-benefit analysis
… reports on practical use and case studies (reporting positive or
negative experiences)
… formal methods in hardware and system design
… reusable domain theories
… theoretical foundations (specification and modeling, refining,
verification, etc.)
… tool support and software engineering
… environments for formal methods
… method integration
------------------------------------------------------------------------------
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 seeking 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. We are confident that a
wide spectrum of experiences and a loyal contrasting of opinions will
foster a better and deeper understanding, if not a wider adoption of
Formal Methods.
Far from restricting the focus of the conference, however, FM 2003
also welcomes papers with strong theoretical content that establish a
connection with the practice of formal methods.
Therefore, FM 2003 welcomes papers in all aspects of formal methods
for computer systems, including the following:
… introducing formal methods in the practice of industrial processes
(technical, organizational, social, psychological aspects)
… concerns and risks for potential adopters of formal methods;
cost-benefit analysis
… reports on practical use and case studies (reporting positive or
negative experiences)
… formal methods in hardware and system design
… reusable domain theories
… theoretical foundations (specification and modeling, refining,
verification, etc.)
… tool support and software engineering
… environments for formal methods
… method integration
Papers
Full papers should be submitted electronically via the Web by March
7, 2003. Full submission details will be published on the conference
Full papers should be submitted electronically via the Web by March
7, 2003. Full submission details will be published on the conference
web site. Papers will be evaluated by the Program Committee
according
to their originality, significance, soundness, quality of
presentation and relevance with respect to the main issues of the
symposium. Papers should have not been submitted elsewhere for
publication. Accepted papers will be published in the symposium
proceedings in the LNCS series by Springer Verlag.
Papers should not exceed twenty pages, although longer papers will be
considered if their content justifies it. LNCS format should be used.
Please include a short list of keywords on a separate line at the end
of the abstract, beginning with the word "Keywords:" in boldface.
Other symposium activities
In addition to presentations of submitted papers, the symposium will
offer half-day or full-day tutorials, one-day or two-days workshops,
invited speakers, and tool demonstrations with presentations. Please
send your proposals for tutorials/workshops/tool exhibitions to the
related chairs by the deadlines indicated below.
For full details of what is required, whom to contact, etc, see the
web site http://fme03.isti.cnr.it, or send your query to
[EMAIL PROTECTED]
to their originality, significance, soundness, quality of
presentation and relevance with respect to the main issues of the
symposium. Papers should have not been submitted elsewhere for
publication. Accepted papers will be published in the symposium
proceedings in the LNCS series by Springer Verlag.
Papers should not exceed twenty pages, although longer papers will be
considered if their content justifies it. LNCS format should be used.
Please include a short list of keywords on a separate line at the end
of the abstract, beginning with the word "Keywords:" in boldface.
Other symposium activities
In addition to presentations of submitted papers, the symposium will
offer half-day or full-day tutorials, one-day or two-days workshops,
invited speakers, and tool demonstrations with presentations. Please
send your proposals for tutorials/workshops/tool exhibitions to the
related chairs by the deadlines indicated below.
For full details of what is required, whom to contact, etc, see the
web site http://fme03.isti.cnr.it, or send your query to
[EMAIL PROTECTED]
Submission Deadlines
March 7, 2003: Papers (firm deadline)
March 7, 2003: Workshop/tutorial proposals
May 9, 2003: Tool Exhibition proposals
June 8, 2003: Papers' final version
March 7, 2003: Papers (firm deadline)
March 7, 2003: Workshop/tutorial proposals
May 9, 2003: Tool Exhibition proposals
June 8, 2003: Papers' final version
Acceptance Notifications
March 20, 2003: Tutorials/workshops
May 9, 2003: Papers
June 8, 2003: Tool Exhibition
March 20, 2003: Tutorials/workshops
May 9, 2003: Papers
June 8, 2003: Tool Exhibition
