Teaching Formal Methods: Practice and Experience - Index

Abstract

This volume contains the proceedings of the Teaching Formal Methods: Practice and Experience workshop [1] held in London, UK, organized by Oxford Brookes University's Department of Computing [2] and the BCS Formal Aspects of Computing Science Specialist Group [3]. Teaching Formal Methods: Practice and Experience attracted 36 participants from around the world. The programme included two invited contributions (Ralph-Johan Back - Abo 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. [1] http://www.bcs-facs.org/events/xmas2006.html [2] http://cms.brookes.ac.uk/computing/ [3] http://www.bcs-facs.org/ This workshop was the second workshop to be organised by Oxford Brookes University's Department of Computing [1] and the BCS Formal Aspects of Computing Science Specialist Group [2] on the theme of teaching formal methods. The first workshop was held at Oxford Brookes University in December 2003 [1]. This first workshop was followed by a symposium organised by CoLogNET and Formal Methods Europe in November 2004 [4]. The Formal Methods Europe (FME) Education Group also organised a workshop on Formal Methods in the Teaching Laboratory as part of the FME 2006 symposium in Canada in August 2006 [5]. Teaching Formal Methods: Practice and Experience attracted 36 participants from around the world - countries represented included Argentina, Austria, Germany, Finland and Sweden. The programme included two invited contributions (Ralph-Johan Back, Abo Akademi University, Finland and Rod Chapman, Praxis High Integrity Systems Ltd, UK) and thirteen refereed papers.