32nd International Conference on Current Trends in Theory and Practice of Computer Science. Merin, Czech Republic; 21--27 January 2006. http://www.cs.cas.cz/sofsem/06/
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. http://www.discotec06.cs.unibo.it/FMOODS06