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 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
accompanying 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) [log in to unmask]
PC chairs:
Martin Steffen (University Kiel, DE) [log in to unmask]
Gianluigi Zavattaro (Universtity Bologna, IT) [log in to unmask]
Publicity chair:
John Derrick (U Kent, UK) [log in to unmask]
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)=20=20=20=20=20=20=20=20
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=FCrjens (TU M=FCnchen, 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=E1laga, ES)
Erik Poll (U. Nijmegen, NL)
Andreas Prinz (Agder U., NO)
Arend Rensink (U. Twente, NL)
Bernhard Rumpe (TU M=FCnchen, 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)=20
------------------------------------------------------------------------
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.
--=-=-=--
|
