Jules Desharnais Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada RelMiCS 2000 db/conf/RelMiCS/RelMiCS2000.html