Teaching Formal Methods (TFM) is a series of meetings, held in association with Formal Methods Europe and its FM conference series. It has produced published proceedings (e.g., for TFM2004). The meetings include presentations that consider educational issues with respect to formal methods.