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
FMOODS & FORTE solicits high quality papers reporting research results and/or experience reports. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically as postscript or PDF, using the SPRINGER LNCS style. 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. Submission implies the acceptance that at least one author will attend the conference if the paper is accepted.
Abstracts, papers, and camera-ready paper versions are to be submitted via EasyChair.
Abstract submission: February 15, 2010 (Extended) Paper submission: February 19, 2010 (Extended) Author notification: March 19, 2010 Camera-ready version: April 2, 2010