FM2003: Call for TUTORIALS

[mailinglist@fmeurope.org]

FM2003: Call for TUTORIALS

The FME symposia on Formal Methods is a forum for the dissemination of
basic as well as applied up-to-date culture on the use of formal methods
for software development. Maintaining the tradition, a tutorial program
that gives attendees the opportunity to gain new insights, knowledge and
skills on evolving and emerging research topics in the area of formal
methods will be an essential part of the symposium.

The Tutorials are scheduled for September 8-9, 2003 at the beginning of
the
symposium. Survey papers and/or tutorial notes will be made available
to the tutorial attendees at the symposium.
Tutorials are intended to provide independent instruction on a relevant
theme, therefore no commercial or sales-oriented presentations will be
accepted.

Proposals of Tutorials which encompass any topic dealing with precise
mathematical methods for software development, and in particular
their application to new application areas that are critical in the new
aspects of the information society are solicited.
A non-exhaustive suggested list of topics and areas in the scope of
FM2003 is listed in the FM2003 Call for Papers
(http://fme03.isti.cnr.it/).

Instructors are invited to submit proposals for half-day and full-day
tutorials and, upon selection, are required to provide tutorial notes
or a survey paper on the topic of presentation before June 8, 2003
in postscript, pdf or on paper (no colour print). Proper tutorial notes
are preferred, but well-printed transparencies will be accepted as well.
Proposals should be send to the Tutorials Chair Mieke Massink
by March 7, 2003.  Proposals should be in Postscript or PDF format.

Please include the following information in the proposal that
should not exceed 5 pages:

* name and affiliation of proposer/organizer (including address,
  phone number, fax number, e-mail address)
* name and affiliation of additional presenters
* instructor's experience in the area, such as other tutorials, courses
etc.
* title
* objective
* abstract
* outline
* duration
* audio-visual and technical requirements
* target audience
* assumed background of attendees
* brief biography of each instructor (for inclusion in publicity)
* indication whether a survey paper will be provided (max. 30 pages)

Evaluation of proposals will be based on the relevance of the subject
matter and on the expertise and experience of the instructors.

Important Dates

Submission of Tutorial proposals: March 7, 2003
Notification of acceptance: March 20, 2003
Camera ready papers/notes: June 8, 2003
Conference: September 8-14, 2003

Web page of FM03: http://fme03.isti.cnr.it/

Tutorial proposals should be submitted to the FM2003 Tutorial Chair:

Mieke Massink
C.N.R.-Ist. ISTI "A. Faedo"
Area della Ricerca di Pisa
Via Moruzzi 1,
I56124 Pisa, Italy

Tel: +39-050-3152981
Fax: +39-050-3138091
email: Mieke.Massink@cnuce.cnr.it

-- 
----------------------------------------------------------------
Dr. Mieke Massink Ph.D. - Researcher  
FM&&T group (http://matrix.iei.pi.cnr.it/FMT)
C.N.R. - Area della Ricerca di Pisa - Ist. ISTI
Via G. Moruzzi, 1 - I56124 Pisa, Italy
Tel: +39 050 3152981      http://www.cnuce.pi.cnr.it/people/M.Massink/ 
Fax: +39 050 3138091      E-mail: Mieke.Massink@cnuce.cnr.it 
----------------------------------------------------------------
_______________________________________________
Mailinglist mailing list
Mailinglist@fmeurope.org
http://www.fmeurope.org/mailman/listinfo/mailinglist