🚀 go-pugleaf

==========================================================================
New submission deadline:
    In response to several requests from authors, late paper submissions 
    will be accepted till (and no later than) November 27.
    E-mail (fmoods96-request@res.enst.fr) your intention to submit ASAP.
==========================================================================

*******  *     *   *****    *****   ******    *****   **    ****    ****
*        **   **  *     *  *     *  *     *  *        **   *    *  *
*        * * * *  *     *  *     *  *     *  *        *    *    *  *
*****    *  *  *  *     *  *     *  *     *   *****         *****  *****
*        *     *  *     *  *     *  *     *        *            *  *    *
*        *     *  *     *  *     *  *     *        *            *  *    *
*        *     *   *****    *****   ******    *****         ****    ****

   
                  FMOODS'96: Final Call for Papers

1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems

                       Paris, 4-6 March 1996

                http://www.res.enst.fr/fmoods/fmoods96
==========================================================================


Sponsors
--------
IFIP, CNET (France Telecom), ENST, AFCET, CNRS (pending), Association
des Thesards de l'ENST.


Object-based  Distributed Computing is being established as the most
pertinent basis for the support of large, heterogeneous computing and
telecommunications systems. Indeed, several important international
organizations,  such as ITU, ISO, OMG, TINA-C, etc. are defining similar
distributed object-based frameworks as a foundation for open
distributed computing.

The advent of Open Object-based Distributed Systems - OODS - brings new
challenges and opportunities for the use and development of formal
methods.  New architectures and system models are emerging (e.g., the
enterprise, information, computational and engineering viewpoints of
the ITU-T/ISO/IEC ODP Reference Model) which may require formal
notational support. Usual design issues such as specification,
verification, refinement, and testing need to take into account new
dimensions introduced by distribution and openness, such as quality of
service and dependability constraints, dynamic binding and
reconfiguration, consistency between multiple models and viewpoints,
etc. OODS is a challenging research context and a source of motivation
for semantical models of object-based systems and notations (e.g.
concurrent and distributed OO languages), for the evolution of
standardized formal description techniques (e.g. SDL, LOTOS, Estelle,
Z, ...), for the application and assessment of logic based approaches
(e.g. temporal logic, TLA, ...),  for better understanding and information
modeling of business requirements, and for the further development and
use of Object Oriented methodologies and tools (OMT, HOOD, Fusion,...).

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. Topics
of interest include (but are not restricted to):

 -  formal models for object-based distributed computing
 -  semantics of object-based distributed systems and programming languages
 -  formal techniques in object-based and object-oriented specification,
     analysis and design
 -  refinement and transformation of specifications
 -  multiple viewpoint modeling and consistency between different models
 -  formal techniques in distributed systems verification and testing
 -  types, service types and subtyping
 -  specification, verification and testing of quality of service
     constraints
 -  formal methods and object life cycle

Scientific  Committee
----------------------

Gul Agha  (U. of Illinois, USA)
Patrick  Bellot  (ENST, France)
Gregor Bochmann (U. of Montreal, Canada)
Howard Bowman (UKC, UK)
Ed  Brinksma (U. Twente, Netherlands)
John Derrick (UKC, UK)
Michel Diaz (LAAS-CNRS, France)
Kokichi Futatsugi  (Jaist, Japan)
Reinhard Gotzhein  (U. Kaiserslautern, Germany)
Haim Kilov  (IBM Watson Research Center, USA)
Guy Leduc  (U. of Liege,  Belgium)
Luigi Logrippo (U. of Ottawa, Canada)
Kathleen Milsted  (FT-CNET, France)
Jan de Meer  (GMD Fokus, Germany)
Elie Najm  (ENST, France), 
Oscar Nierstrasz  (U. of Bern, Switzerland)
Claudia Popien (RWTH Aachen, Germany)
Kerry Raymond  (DSTC, Australia)
Omar Rafiq  (U. of Pau, France)
Gerd Schuermann  (GMD Fokus, Germany)
Jacob Slonim  (IBM, Canada)
Jean-Bernard  Stefani (FT-CNET, France)
Sebastiano Trigila  (F. Ugo Bordoni, Italy)
Juan Quemada  (ETSI Telecomunicacion, Spain)

Co-Chairmen
-----------

Elie Najm (ENST, France)
Jean-Bernard Stefani (FT-CNET, France)

Invited Speakers
----------------

Gul Agha  (U. of Illinois, USA)
Oscar Nierstrasz  (U. of Bern, Switzerland)
Benjamin Pierce (U. of Cambridge)

Organizing Committee
--------------------

Joubine Dustzadeh (ENST,France)
Arnaud Fevrier (ENST, France)
Frank Olsen (ENST-CNET, France)
Krimo Nimour (ENST, France)
Philippe Prindeville (ENST, France)


Important dates
---------------

10 November 1995: Submission deadline (extended to 27 November)
10 January  1996: Notification of acceptance
30 January  1996: Camera ready copy for participants proceedings due

Evaluation and Publication of Submitted Papers
----------------------------------------------

Submitted manuscripts will be evaluated and selected for presentation
in the workshop. A copy of the proceedings will be handed out to
the participants at the workshop. The final proceedings will be published
by Chapman &  Hall (If you are using Latex and you have still a version 
older than Latex2e, you may wish to fetch Chapman & Hall Style Macros
from URL: http://www.thomson.com/chaphall/macros.html).

It is planned to publish a selection of the accepted papers as a special
issue of an international journal.

Instructions to the Authors
---------------------------

Authors are invited to submit full original research papers, up to 16
pages (including bibliography), 12 point, single spaced, including an
informative abstract, names and affiliations of all authors, and a list
of keywords facilitating the assignment of papers to referees.
Electronic submission is highly recommended, and ftp is preferred
to e-mail.


FTP Submission
--------------

Manuscripts in plain (ASCII) text or PostScript format are
welcome (possibly compressed with 'compress' or 'gzip'). Use anonymous FTP to

   ftp.res.enst.fr directory  /incoming/fmoods96

using the last name of the contact person as a filename.  Note that
files deposited in the submission directory can only be written once
and cannot be read or deleted afterwards. After having down-loaded your
manuscript file into the submission directory, you should notify your
submission by e-mail to:

   fmoods96-submit@res.enst.fr

Your notification e-mail should be in plain text (ASCII) and should include:

   the title of your paper
   the name of the authors and their institutions
   a list of keywords
   an abstract of your paper
   the name and postal, fax and e-mail addresses of the contact person
   the name and format of your submission file

Your submission and notification will be acknowledged.


E-mail Submission
-----------------

Should ftp submission be impossible, you may choose to submit your paper
with electronic mail. Submissions should be made in two separate e-mails:
a Manuscript e-mail and a Notification e-mail. Send your Manuscript in
postscript format  (possibly uuencoded and compressed with 'compress' or
'gzip') to the following address:

                        fmoods96-submit@res.enst.fr

Send your Notification e-mail to: fmoods96-submit@res.enst.fr

Your notification e-mail should be in plain text (ASCII) and
should include:

   the title of your paper
   the name of the authors and their institutions
   a list of keywords
   an abstract of your paper
   the name and postal, fax and e-mail addresses of the contact person

Your submission and notification will be acknowledged.


Postal Submission
-----------------

Should electronic submission be impossible, please send 5 copies of your
manuscript to:

              Elie NAJM
              ENST
              Networks Department
              46, Rue Barrault
              75013 Paris, FRANCE

Inquiries
---------

Should you need any organizational information, please send a message to:

   fmoods96-request@res.enst.fr

Should you have any scientific enquiries, please send a message to
one of the chairpersons:


  Elie Najm                         Jean-Bernard Stefani
  najm@res.enst.fr                  jean-bernard.stefani@issy.cnet.fr
  Tel: + 33 1 45 81 77 09           Tel: +33 1 45 29 59 87
  Fax: + 33 1 45 89 16 64           Fax: +33 1 45 29 66 04


Related Events
--------------

An Open Object-Based Distributed Systems Week In Paris, 4-8 March 96

FMOODS'96 will take place as part of two subsequent workshops related
to Open Object-based Distributed Systems and covering the topics of
Formal Methods and QoS, respectively. FMOODS will be held 4-6 March
and will be followed immediately and in the same location by the QoS
Workshop.

ICDP'96 IFIP/IEEE International Conference on Distributed Platforms

Client/Server and Beyond: DCE, CORBA, ODP   Advanced Distributed Applications
Dresden, Germany, February 27 - March 1, 1996.



-- 
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Joubine Dustzadeh ^^^^^^^^^^^^^^^^^^^^^^^^^^
Email: joubine@res.enst.fr                                          E.N.S.T
Tel  : 33 1 45 81 75 70                                 Networks Department
Fax  : 33 1 45 89 16 64                                     46 rue Barrault
Sec  : 33 1 45 81 70 85                                 75013 Paris, France    
                        http://www.res.enst.fr/~joubine 
^^^^^^^^^^^^^^^^^^^^^^^^                               ^^^^^^^^^^^^^^^^^^^^