FMOODS & FORTE
IFIP International Conference on Formal Techniques for Distributed Systems
joint international conference:
part of the federated event DisCoTec'11 (Distributed Computing Techniques)
Reykjavik, Iceland, June 6-9, 2011
The joint conference FMOODS & FORTE is a forum for fundamental research on theory and applications of distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of:
The conference encourages contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems. FMOODS & FORTE covers distributed computing models and formal specification, testing and verification methods. 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.
Topics of interest include but are not limited to:
Please read carefully the following proceedings and submission guidelines.
The FMOODS & FORTE 2011 conference calls for high quality papers presenting research results and/or application reports related to the research areas in conference scope.
The conference proceedings will be published by Springer Verlag in the LNCS series. Proceedings will be made available at the conference.
All papers must be original, unpublished, and not submitted for publication elsewhere.
Contributions should be submitted electronically in PDF via the EasyChair system.
Each paper will undergo a peer review of at least 3 anonymous reviewers.
The papers must be prepared using the Springer LNCS style.
Papers must not exceed 15 pages in length, including figures and references. For referees' convenience, any additional material that may help assessing the merits of the submission but not to be included in the final version, like some detailed proofs, may be placed in a clearly marked appendix (not to be counted in the page limit). Referees are at liberty to ignore the appendix, and papers must be understandable without them.
Submissions not adhering to the above specified constraints may be rejected immediately, without review.