“...International Seminar on Relational Methods in Computer Science Saint Catharines, Ontario)...”