[Gates Computer Science Building]

FMOODS 2000

IFIP TC6/WG6.1 Fourth International Conference on

Formal Methods for Open Object-Based Distributed Systems

Gates Building

Stanford University , Stanford, California, USA

September 6-8, 2000

Sponsors - IFIP, NSF

Co-located with SPIN'2000, 7th International SPIN Workshop on Model Checking of Software,
to be held at Stanford August 30-31, September 1. See: http://ase.arc.nasa.gov/spin2000