DisCoTec 06

        Federated Conferences:
             Coordination 06
             DAIS 06
             FMOODS 06
        Invited speakers
        Satellite events
        Contact us

   FMOODS 06

        Call for papers
        Important dates
        Past conferences
















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


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)

IFIP WG 6.1, University of Bologna