Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS2000)

第四届开放对象分布式系统形式化方法国际会议（FMOODS 2000）将于2000年9月6日至8日在斯坦福大学举行。组委会主席是Carolyn Talcott（斯坦福大学），联合组织者Scott Smith（约翰霍普金斯大学PC主席）Nalini Venkatasubramanian（加州大学欧文分校）和Sriram Sankar （Metamata Inc.）。该系列会议由Elie Najm和Jean-Bernard Stefani发起，他们于1996年在巴黎组织了第一届fmood。第二次于1997年在坎特伯雷举行，第三次于1999年在佛罗伦萨举行。FMOODS 2000将是该会议首次在美国举行。通过将会议带到美国，我们希望增加美国对该系列的参与，并将更多的美国研究人员带入FMOODS社区。fmood的目标是代表三个重要且相关领域的工作：形式化方法、分布式系统和基于对象的技术。这种融合代表了分布式系统领域的一些最新进展（例如，ODP参考模型和OMG的工作），并提供了许多重要社区之间的联系（例如，FORTE/PSTV、ICODP、ECOOP等）。

Abstract:The Fourth International Conference on Formal Methods for Open Object-BasedDistributed Systems (FMOODS 2000) will be held at Stanford University September 6-8, 2000. The organizing committee is chaired by Carolyn Talcott (Stanford University) with co-organizers Scott Smith (PC Chair, The Johns Hopkins University) Nalini Venkatasubramanian (University of California at Irvine), and Sriram Sankar (Metamata Inc.).The conference series was initiated by Elie Najm and Jean-Bernard Stefani, who organised the first FMOODS in Paris in 1996. The second was held in Canterbury in 1997, and the third was held in Florence in 1999. FMOODS 2000will be the first time the conference is held in the US. By bringing the conference to the US we are hoping to increase the US participation in the series, and to bring more US researchers into the FMOODS community.The objective of FMOODS is to represent work at the convergence of three important and related fields: formal methods, distributed systems, and object-based technology. This convergence is representative of some of the latest advances in the field of distributed systems (for example, the ODP reference model and the work of the OMG) and provides links between a number of important communities (for example, FORTE/PSTV, ICODP, ECOOP, et cetera).