DisCoTec 07

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

   FMOODS 07

        Call for papers pdf  txt
        Important dates
        Past conferences













9th IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems


The 9th 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 9th International Conference on Coordination Models and Languages (COORDINATION) and the 7th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). FMOODS 2007 is sponsored by IFIP, and will be organised by the Department of Computer Science of the University of Cyprus.


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

  • Formalization of runtime system evolution (e.g. dynamic updates, reconfiguration)

  • Multiple viewpoint modelling and consistency between different views

  • Model transformations and refactorings

  • Integration of quality of service requirements into formal models

  • Formal approaches to component-based design

  • Applications of formal methods (e.g. web services, multimedia, telecommunications)

  • Experience reports on best practices and tools


Mariangiola Dezani-Ciancaglini (University of Torino, IT)


Submission of papers
January 15, 2007
Authors notification
March 7, 2007
Camera-ready copy
March 26, 2007
June 6-8, 2007


The FMOODS 2007 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.