Formal Methods in the Teaching Lab Examples, Cases, Assignments and Projects Enhancing Formal Methods Education A Workshop at the Formal Methods 2006 Symposium Organized by the Formal Methods Europe Subgroup on Education August 26, 2006 McMaster University, Hamilton, Ontario, Canada Workshop preprints Edited by Raymond T. Boute and Jos´ e N. Oliveira