Teaching Formal Methods?

FME has established a formal methods teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.

You can send descriptions of formal methods courses to the Formal Methods Teaching Committee of FME using the following form: https://fmeteaching.dudaone.com/contact

Author: Einar Broch Johnsen