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
Details to be provided.