The 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems: part of the federated conferences DisCoTec (Distributed Computing Techniques). Bologna, Italy; 14--16 June 2006.
University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
A package for Java that allows distributed Java applications (or even applets) to access a shared object space for coordination and data sharing purposes. [Freeware]