----- Original Message ----- From: <[log in to unmask]> To: <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]>; <[log in to unmask]> Sent: Thursday, January 09, 2003 10:24 AM Subject: Call for Workshops at FM03 > Call for Satellite Workshops > FM 2003 - The 12th International FME Symposium > Pisa, Italy - September 8-14, 2003 > > > We kindly invite you to consider organising a Satellite Workshop of the > FM 2003 Symposium (http://fme03.isti.cnr.it/). > Workshops are welcome on any aspect of the theory and application of > Formal Methods, from language-specific issues > to model integration, from tool experience to new challenging > application domains. FM 2003 and associated workshops > shall take place in the scientific and technological complex recently > established at Pisa by the Italian National Research > Council (http://www.area.pi.cnr.it/indexe.html), which lends itself as > an ideal location for conferences and workshops, > in terms of spaces, facilities, and vicinity to major tourist attractions. > > Workshop formats > > - Two-day workshops: on Sept. 8-9 (Monday-Tuesday) 2003. > - One-day workshops: on Sept 13 (Saturday) 2003. > > The following information should be provided with the proposals > > - Workshop title and brief description of the scope and goal > - Motivation of the relevance to the FM community > - Organizing commitee and potential invited speakers > - Format of the workshop, duration and refereeing procedure, if applicable > - Expected number of participants > > FM 2003 organizers offer > > - Links between Conference and Workshop web pages. > - Management of registrations and hotel reservations. > - Room (up to 80 seats) and equipment (projectors, whiteboards etc.). > - One lunch and two coffee breaks per day. > > Workshop proposers take care of > > - Workshop pubblicity > - Call for papers > - Paper management > - Proceedings duplication (paper and/or CD) and distribution. > > > Important dates > > Proposal submission: March 7, 2003 > Acceptance notification: March 20, 2003 > Workshop dates: Sept. 8, 9, 13, 2003 > > Contact > > Tommaso Bolognesi (FM 2003 Workshop chair) - [log in to unmask] > > -- > ======================================================================== > Tommaso Bolognesi phone: +39-050-315.2797 > CNR - ISTI fax: +39-050-315.2810 > Via Moruzzi 1 e-mail: [log in to unmask] > 56124 Pisa web: www.iei.pi.cnr.it/People/Bolognesi.html > Italia > ======================================================================== > in-girum-imus-nocte-et-consumimur-ignI (iveL OmirP) <--- > ======================================================================== > >