BCS is a registered charity: No 292786
BCS London Office, UK, 15 December 2006
This volume contains the proceedings of the Teaching Formal Methods: Practice and Experience workshop  held in London, UK, organized by Oxford Brookes University's Department of Computing  and the BCS Formal Aspects of Computing Science Specialist Group .
Teaching Formal Methods: Practice and Experience attracted 36 participants from around the world. The programme included two invited contributions (Ralph-Johan Back - Åbo Akademi University, Finland and Rod Chapman - Praxis High Integrity Systems Ltd, UK) and thirteen refereed papers. The four refereed paper sessions covered tools in teaching, formal methods in the curriculum, teaching formal methods and tactics and techniques.
The event was sponsored by Escher Technologies, Formal Methods Europe, Palgrave Macmillan, Pearson and Springer. The organizers would like to thank all of the sponsors for their generosity.