Registration procedure is open. Consult the Registration
section.
Registration procedure is open. Consult the Registration
section.
Check the joint session Programme of the conference.
| The 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) will be co-hosted with the 5th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). |
| Established in 1996, the FMOODS series of conferences aims to provide an integrated forum for research on formal aspects of Open Object-Based Distributed Systems. |
| The events will take place in the reborn after the Olympic Games city of Athens, 15-17 June 2005. |