[[many apologies for duplication both in mailing list and mailing. In the previous announcement the conference dates were wrong. The correct dates are Wed-Fri 6th-8th September 2000]] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Preliminary Call for Papers Fourth IFIP International conference on Formal Methods for Open Object-based Distributed Systems FMOODS'2000 Stanford California, USA, 6th-8th September, 2000 ------------------------------------------------------------------------ [ balance of message not resent, see previous post...moderator] ...