Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI