Formal Methods Europe とは

FME(Formal Methods Europe)は、コンピュータベースのシステムにおけるソフトウェアとハ​​ードウェアの改善のための正式な方法の研究と応用を奨励することを目的とする組織です。協会のメンバーは、学界と産業界から集められたものです。それはヨーロッパに拠点を置いていますが、国際的な範囲です。 FMEはオランダの法律のもとで運営され
アクティビティに含まれるもの:
 会議(18ヶ月ごと)およびスポンサーイベントを通じて研究成果と産業経験を発信する。教育者のための情報資源の開発。 ForTIA(正式技術産業協会)による商業実践者のためのネットワーキング。
FMEの議長は、英国ニューカッスル・アポン・タインの大学のジョン・フィッツジェラルドです。