Apologies if you receive this more than once
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%=
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 - Conference on Distributed Applications and Interoperable Systems
A call for tutorials common to FMOODS and DAIS and a call for workshops will be issued separately.
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) Elie.Najm@ENST.fr
PC chairs: Uwe Nestmann (EPFL, CH) Uwe.Nestmann@EPFL.ch Perdita Stevens (U Edinburgh, UK) perdita@inf.ed.ac.uk
Publicity chair: John Derrick (U Kent, UK) J.Derrick@ukc.ac.uk
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 (Universit=E9 du Qu=E9bec 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.