 |
FMOODS 06
8th
IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems
Bologna, Italy, 14 - 16 June, 2006
|
The
8th IFIP International Conference on Formal Methods for Open Object-based
Distributed Systems (FMOODS) is part of the federated conferences
DisCoTec (Distributed Computing Techniques), together with the
8th International Conference on Coordination Models and Languages
(COORDINATION) and the 6th IFIP International Conference on Distributed
Applications and Interoperable Systems (DAIS). It will be organised
by the Department of Computer Science of the University of Bologna.
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. The conference will especially
welcome novel contributions reflecting recent developments in the
area, in particular component- and model-based design, service-oriented
computing and software quality. Areas of interest include but are
not limited to:
-
Semantics
and implementation of object-oriented programming and
(visual) modelling languages
-
Formal
techniques for specification, design, analysis, verification,
validation and testing
-
Model
checking, theorem proving and deductive verification
-
Type
systems and behavioural typing
-
Formal
methods for service-oriented computing
-
Formal
techniques for security and trust in global computing
-
Multiple
viewpoint modelling and consistency between different views
-
Model
transformations and refactorings
-
Software
architectures
-
Integration
of quality of service requirements into formal models
-
Component-based
design
-
Applications
(e.g.\ web services, multimedia, telecommunications)
-
Experience
report on best practices and tools
Organisers:
General
chair:
Gianluigi Zavattaro (U. of Bologna, IT)
PC chairs:
Roberto Gorrieri (U. of Bologna, IT)
Heike Wehrheim (U. of Paderborn, DE)
Steering
Committee:
John Derrick (U. of Sheffield, UK)
Roberto Gorrieri (U. of Bologna, IT)
Elie Najm (ENST, Paris, FR)
Publicity chair:
Martin Steffen (CAU Kiel, D)
Program
Committee:
Lynne Blair (U. of Lancaster, UK)
Eerke Boiten (U. of Kent, UK)
Nadia Busi (U. of Bologna, IT)
John Derrick (U. of Sheffield, UK)
Alessandro Fantechi (U. of Firenze, IT)
Colin Fidge (U. of Queensland, AUS)
Robert France (Colorado State U., USA)
Roberto Gorrieri (U. of Bologna, IT)
Reiko Heckel (U. of Leicester, UK)
Einar Broch Johnsen (U. of Oslo, N)
Doug Lea (State U. of New York, USA)
Elie Najm (ENST Paris, FR)
Uwe Nestmann (TU Berlin, D)
Erik Poll (U. of Nijmegen, NL)
Arend Rensink (U. Twente, NL)
Ralf Reussner (U. of Oldenburg, D)
Bernhard Rumpe (TU Braunschweig, D)
Martin Steffen (CAU Kiel, D)
Carolyn Talcott (SRI International, USA)
Andrzej Tarlecki (Warsaw University, PL)
Vasco Vasconcelos (U. of Lisbon, P)
Heike Wehrheim (U. of Paderborn, D)
Elena Zucca (U. of Genova, IT)
Important
Dates:
15. January 2006: Abstract submission
22. January 2006: Paper submission
7. March 2006: Author notification
28. March 2006: Camera-ready copy
14. - 16. June 2006: FMOODS 2006
Submission
guidelines:
The FMOODS 2006 conference 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 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. Proceedings will be
made available at the conference.
History
of the conference:
The conference is part of a series initiated in 1996 by Elie Najm
and Jean-Bernard Stefani. Previous editions took place in:
- Paris,
France (1996)
- Canterbury, UK (1997)
- Florence, Italy (1999)
- Stanford, USA (2000)
- Twente, The Netherlands (2002)
- Paris, France (2003)
- Athens, Greece (2005)
Sponsors:
IFIP
WG 6.1, University of Bologna
|
