Skip to main content

Teaching Formal Methods

Jeremy Gibbons and José Nuno Oliveira (eds)


This volume contains the proceedings of TFM 2009, the Second International FME Conference on Teaching Formal Methods , organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the first Formal Methods Week (FMWeek), held in Eindhoven, The Netherlands, in November 2009.

TFM 2009 was a one-day forum in which to explore the successes and failures of Formal Methods (FM) education, and to promote cooperative projects to further education and training in FMs. The organizers gathered lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices.

Book Title
Teaching Formal Methods
Lecture Notes in Computer Science