FMOODS'03

To: eapls@jiscmail.ac.uk, eacsl@dimi.uniud.it, concurrency@cwi.nl, behavior@cs.ucsd.edu, lotos-world@sanson.dit.upm.es, prog-lang@daimi.aau.dk, prog-lang@diku.dk, vdm-forum@mailbase.ac.uk, zforum@comlab.ox.ac.uk, softverf@nist.gov, types@cis.upenn.edu, cs-logic@cs.indiana.edu, logic-announce@uclink4.berkeley.edu, logic-ml@logic.jaist.ac.jp, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, csl@dbai.tuwien.ac.at, theorem-provers@ai.mit.edu, pvs@csl.sri.com, acl2@cli.com, coq-club@pauillac.inria.fr, formal-methods@cs.uidaho.edu, nvti-list@cwi.nl, lotos-world@site.uottawa.ca, elotos@inrialpes.fr
Subject: FMOODS'03
From: "J.Derrick" <J.Derrick@ukc.ac.uk>
Date: Wed, 26 Feb 2003 14:46:44 +0000
Organization: University of Kent at Canterbury, UK.
Sender: J.Derrick@ukc.ac.uk




                              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

                        http://fedconf.enst.fr/

              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.