FMOODS & FORTE

Jump to: navigation, search
FMOODS & FORTE 2010

12th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems
and
30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems

Amsterdam, Netherlands, 7-9 June 2010

Contents

FMOODS & FORTE

The IFIP International Conference on Formal Techniques for Distributed Systems is formed jointly from the two conference series FMOODS and FORTE. It is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the 12th International Conference on Coordination Models and Languages (COORDINATION) and the 10th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS).

Scope

Although they originally developed as independent conferences, FMOODS and FORTE became a joint conference in 2009 to provide a forum for fundamental research on theory and applications of distributed systems. FMOODS/FORTE emphasizes distributed computing models and formal specification, testing and verification methods. Its scope includes:

  • component- and model-based design
  • object technology, modularity, software adaptation
  • service-oriented, ubiquitous, pervasive, grid and mobile computing
  • software quality, reliability and security

The conference encourages contributions that combine theory and practice, address problems from the development of distributed systems, and present novel solutions with formal methods and theoretical foundations. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real time systems, as well as networking and communication security and reliability.

See the Call for Papers and the information about the Invited Speaker.

Registration

Details to be provided.

Publicity

Please help us publicize FMOODS/FORTE 2010 by downloading and distributing our conference flyer and plain text call for papers.

DisCoTec2010
COORDINATION
Personal tools