In this form you can send descriptions of formal methods courses to the Formal Methods Teaching Committee of FME. By submitting this form, you are providing consent for FME to add your contact and the information to a public repository.