“...International Seminar on Relational Methods in Computer Science Manchester, Anglie)...”