[TYPES] Call for papers: FMOODS 05 (Formal Methods for Open Object-based Distributed Systems)

[Martin Steffen]

                              Call for Papers

                     7th th IFIP International conference on
              Formal Methods for Open Object-based Distributed Systems

                                F M O O D S   2005

                    15-17 June, 2005   Athens, Greece

                  to be held in be held in conjunction with

                                  D A I S' 05
        (Conference on Distributed Applications and Interoperable Systems)
	
                      http://www.informatik.uni-kiel.de/~fmoods05

              A call for workshops/tutorials common to FMOODS and DAIS
              will be issued separately.


Objectives and Scope
------------------------------------------------------------------------


Established in 1996, the FMOODS series of conferences aims to provide an
integrated forum for research on formal aspects of Open Object-Based
Distributed Systems. Areas of interest in that field include, but are not
limited, to:


   o  Formal models
   o  Formal techniques for specification, design or analysis
   o  Verification, testing and validation
   o  Component-based design
   o  Semantics of programming, coordination or modelling languages
   o  Type systems for programming, coordination or modelling languages
   o  Behavioural typing
   o  Multiple viewpoint modelling and consistency between different models
   o  Transformations of models
   o  Integration of quality of service requirements into formal models
   o  Formal models for security
   o  Formal approaches to distributed component frameworks
   o  Applications and experience, carefully described



Venue & event: The 7th FMOODS, organized by the Communications Network
Laboratory of the University of Athens, will be held in Athens, Greece. The
accompagnying programme of satellite workshops -a call for workshop
proposals is issued separately- will in particular include a Ph.D workshop
giving young researchers an international platform to present their
results.


------------------------------------------------------------------------
Conference Organisers

General chair:
    Lazaros Merakos     (CNL, University Athens, Gr) merakos at di.uoa.gr


PC chairs:
    Martin Steffen      (University Kiel, DE)      ms at informatik.uni-kiel.de
    Gianluigi Zavattaro (Universtity Bologna, IT)  zavattar at cs.unibo.it

Publicity chair:
    John Derrick        (U Kent, UK)                J.Derrick at ukc.ac.uk

Steering Committee
    John Derrick  (U. of Kent, UK)
    Roberto Gorrieri  (U. di Bologna, IT)
    Guy Leduc  (U. de Li{\`e}ge, BE)
    Elie Najm  (ENST, Paris, France)

Programme Committee:
    Wil van der Aalst (U. Eindhoven, NL)
    Lynne Blair (U. Lancaster, UK)
    Frank van Breugel (York University, CA)        
    Michele Bugliesi (U. Ca' Foscari di Venezia, IT)
    John Derrick (U. of Kent, UK)
    Sophia Drossopoulou (Imperial College, London, UK)
    Alessandro Fantechi (U. Florence, IT)
    Kokichi Futatsugi (Jaist, Ishikawa, JP)
    Andy Gordon (Microsoft, UK)
    Roberto Gorrieri (U. di Bologna, IT)
    Jan Jürjens (TU München, DE)
    Cosimo Laneve (U. Bologna, IT)
    Luigi Logrippo (U. du Qubec, CA)
    Elie Najm (ENST, Paris, FR)
    Uwe Nestmann (EPFL, Lausanne, CH)
    Ernesto Pimentel (U. of Málaga, ES)
    Erik Poll (U. Nijmegen, NL)
    Andreas Prinz (Agder U., NO)
    Arend Rensink (U. Twente, NL)
    Bernhard Rumpe (TU München, DE)
    Martin Steffen (U. Kiel, DE)
    Perdita Stevens (U. of Edinburgh, UK)
    Carolyn Talcott (Stanford University, US)
    Vasco Thudichum Vasconcelos (U. of Lisbon, PO)
    Nalini Venkatasubramanian (UC Irvine, US)
    Heike Wehrheim (U. Oldenburg, DE)
    Gianluigi Zavattaro (University of Bologna, IT) 


------------------------------------------------------------------------
Important Dates
------------------------------------------------------------------------

Deadline for submission of abstracts    14. January 2005
Deadline for submission of full papers  21. January 2005
Notification to authors                  7. March   2005
Final version of accepted papers         1. April   2005

------------------------------------------------------------------------
Submission
------------------------------------------------------------------------


Fmoods solicits high quality papers reporting research results and/or
experience reports related to the topics mentioned above.  All papers must
be original, unpublished, and not submitted simultanously for publication
elsewhere. Submission will be electronically as postscript or PDF, using
the Springer LNCS style.  Papers should not exceed 15 pages in length.
Each paper will undergo a thorough process of review and the conference
proceedings will be published by Springer Verlag in the LNCS series.  See
the conference webpages for further details.