TFM2009  2nd Int. FME Conference on Teaching Formal Methods
	"Widening Access to Formal Methods"
	Friday, November 6th 2009
	co-located with
	FM2009 - 16th International Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009