Teaching Formal Methods - 2nd International Conference

Citation:
Gibbons J, Oliveira JN.  2009.  Teaching Formal Methods - 2nd International Conference. TFM - Teaching Formal Methods.

Date Presented:

November

Abstract:

This volume contains the proceedings of TFM2009, 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 Eind- hoven, The Netherlands, in November 2009.
TFM 2009 was a one-day forum in which to explore the successes and fail- ures of formal method (FM) education, and to promote cooperative projects to further education and training in FMs. The organizers gathered lecturers, teach- ers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices.

Citation Key:

1648