Apologies if you receive multiple copies of this announcement.
------------------------------------------------------------------------
FMOODS Call for Papers and Call for Tutorials
------------------------------------------------------------------------
------------------------------------
NEWS: submission web site now open
------------------------------------
Call for Papers
Sixth IFIP International conference on
Formal Methods for Open Object-based Distributed Systems
FMOODS 2003
19-21 November 2003, Paris, France
To be held in be held in conjunction with DAIS'03.
http://www.fmoods.org/
http://fedconf.enst.fr/
Objectives and Scope
------------------------------------------------------------------------
The objective of FMOODS is to provide an integrated forum for the
presentation of research in several related fields, and the exchange
of ideas and experiences in the topics concerned with the formal
methods support for Open Object-based Distributed Systems. Aspects of
such systems which are of interest include but are not limited to:
* Formal models
* Formal techniques for specification, design or analysis
* Component-based design
* Verification, testing and validation
* Semantics of programming, coordination or modelling languages
* Type systems for programming, coordination or modelling languages
* Behavioural typing
* Multiple viewpoint modelling and consistency between different models
* Transformations of models
* Integration of quality of service requirements into formal models
* Formal models for security
* Applications and experience, carefully described.
Work on these aspects of (official and de-facto) standard notations
and languages, e.g., the UML, is explicitly welcome.
Strengthening this year's federation with DAIS, a special emphasis is
put on component-based design for which submissions are encouraged.
Conference Organisers
------------------------------------------------------------------------
General chair:
Elie Najm (ENST, Paris, France) [log in to unmask]
PC chairs:
Uwe Nestmann (EPFL, CH) [log in to unmask]
Perdita Stevens (U Edinburgh, UK) [log in to unmask]
Publicity chair:
John Derrick (U Kent, UK) [log in to unmask]
Programme Committee
------------------------------------------------------------------------
Lynne Blair (U. Lancaster, UK)
Michele Bugliesi (Universita' Ca' Foscari di Venezia, IT)
Denis Caromel, Univ. of Nice Sophia Antipolis - CNRS/I3S - INRIA - IUF
John Derrick (UKC, UK)
Alessandro Fantechi (U. Florence, IT)
Kokichi Futatsugi (Jaist, Ishikawa, Japan)
Andy Gordon (Microsoft, UK)
Cosimo Laneve (U. Bologna, IT)
Luigi Logrippo (Universite du Quebec en Outaouais, Canada)
Elie Najm (ENST, Paris, France)
Erik Poll, (U Nijmegen, NL)
Arend Rensink (U. Twente, NL)
Bernhard Rumpe (TU Munich, DE)
Jacob Slonim (Dalhousie University, DalTech, Canada)
Martin Steffen (Christian-Albrechts U. Kiel, DE)
Carolyn Talcott (Stanford University, US)
Nalini Venkatasubramanian (UC Irvine, USA)
Akinori Yonezawa (U. Tokyo, JP)
Important Dates
------------------------------------------------------------------------
Deadline for submission of abstracts 2 June 2003
Deadline for submission of full papers 9 June 2003
Notification to authors 4 August 2003
Final version of accepted papers 1 September 2003
Submission
------------------------------------------------------------------------
Submit your manuscript electronically in Postscript or PDF using the
Springer LNCS style. Papers should be 10-15 pages in length. Full
details, including more specific guidelines on the preparation of
papers, can be found on the conference website. Papers will undergo a
thorough process of review; however, papers which are too long may be
rejected without review. Proceedings will be published by Springer
Verlag in the LNCS series. All papers must be original, unpublished,
and not submitted simultanously for publication elsewhere.
--=-=-=--
------------------------------------------------------------------------
Call for Tutorials
to be held in conjunction with
FMOODS'03 : 6th IFIP International conference on
Formal Methods for Open Object-based Distributed Systems
and
DAIS'03 : 4th IFIP International Conference on
Distributed Application & Interoperable Systems
17 - 21 November 2003
Paris, France
http://fedconf.enst.fr/
Scope
We invite proposals for half-day tutorials on topics related to
FMOODS'03/DAIS'03.
The tutorials will take place on November 18, the day before
the core conferences=92 day with common invited speakers.
It will provide an excellent opportunity for participants
to share knowledge and ideas on various topics of interest,
related to both conferences.
Tutorials can either cover general and common topics
or a more specialized subject matter. They may take a variety of forms,
and may encompass practical problems, guidelines, standards, surveys
and theoretical issues.
Submissions must be no longer than 4 pages.
A proposal should include :
- Contact information and concise CV of proposers
- Description of the theme of the tutorial
- Key learning objectives for the participants,
- Intended audience, and required background
- A high-level table of contents
- Audio and video equipment requirements.
How to submit
The tutorial proposal should be submitted via e-mail to the Tutorials Chair:
[log in to unmask]
The preferred format of tutorial proposals is Adobe Portable Document Format
(PDF).
Review process
Tutorial proposals will be evaluated by a common committee for their
presumed benefit to prospective participants to FMOODS/DAIS 2003.
Important Dates
Tutorial proposals: June 27, 2003
Notification: July 11, 2003
Final material: October 15, 2003
Tutorials Chair:
Sylvie Vignes
Ecole Nationale Sup=E9rieure des Telecommunications
Networks & Computer Science Department
46, rue Barrault- 75013 PARIS, FRANCE
email: [log in to unmask]
------------------------------------------------------------------------
|
