FM03 Call for Papers - Preliminary

[mailinglist@fmeurope.org]

			   CALL FOR PAPERS
				FM 2003







	 	  The 12th International FME Symposium




		    Pisa, Italy - September 8-14, 2003






			http://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 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 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  fme03@isti.cnr.it.

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


Acceptance Notifications
March 20, 2003:    Tutorials/workshops
May 9, 2003:         Papers
June 8, 2003:        Tool Exhibition




===========================================================================
Stefania Gnesi
IEI-CNR                                   tel:    +39 050  3152918
Area della Ricerca CNR 			  mobile: +39 348 8283128
VIA G. MORUZZI, 1 		          fax:    +39 050  3152810
I-56124  PISA (Italy)   		e-mail: gnesi@iei.pi.cnr.it
http://matrix.iei.pi.cnr.it/FMT/
http://rep1.iei.pi.cnr.it/~gnesi/
===========================================================================


_______________________________________________
Mailinglist mailing list
Mailinglist@fmeurope.org
http://www.fmeurope.org/mailman/listinfo/mailinglist