[TYPES] Deadline extended: FMOODS'05 (abstracts 24.Jan.05, papers 1.Feb.05)

Martin Steffen ms at informatik.uni-kiel.de
Wed Jan 19 09:10:41 EST 2005

Extended deadline:

	 New deadline for abstracts: 24. February 2005
	 New deadline for papers:    1. February 2005

Below  the CFP:

                              Call for Papers

                     7th 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 conjunction with

                                  D A I S' 05
        (Conference on Distributed Applications and Interoperable Systems)

         abstracts: 24. February 2005
	 papers:    1. February 2005

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

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 full papers  21. January 2005
Notification to authors                  7. March   2005
Final version of accepted papers         1. April   2005


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.

More information about the Types-list mailing list