IFIP TC6/WG6.1 Third International Conference on
Formal Methods for Open Object-Based Distributed Systems

Sponsors List (to be completed) 

- Electronic Information
- Objectives
- Topics
- Important Dates
- Venue: Stanford University, Stanford
- Conference Organizers
- Program Committee
- Program at a Glance
- Submission of Papers
Problems? Contact the webmaster