6th International Conference on Rlational Methods in Computer Science Conference