DisCoTec | Formal Methods for Open Object-based Distributed Systems (FMOODS'08)

10th IFIP International Conference on

Formal Methods for Open Object-based Distributed Systems (FMOODS'08)

The goal of the FMOODS series of conferences is to bring together researchers and practitioners whose work encompasses three important and related fields:

  • formal methods,
  • distributed systems,
  • object-based technology.

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

The 10th 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 10th International Conference on Coordination Models and Languages (Coordination) and the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). It will be organised by the Department of Computer Science of the University of Oslo.

Important Dates

  • Abstract submission: January 15, 2008 (extended)
  • Paper submissions: January 22, 2008 (extended)
  • Notification to authors: March 7, 2008
  • Conference: June 4-6, 2008

The proceedings will be published in Springer's Lecture Notes in Computer Science.