International Seminar on Relational Methods in Computer Science (8th 2005 St. Catharines, Ont.)