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: [EMAIL PROTECTED] -- ---------------------------------------------------------------- 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: [EMAIL PROTECTED] ---------------------------------------------------------------- _______________________________________________ Mailinglist mailing list [EMAIL PROTECTED] http://www.fmeurope.org/mailman/listinfo/mailinglist _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
