北海道経済産業局、北海道並びに(地独)北海道立総合研究機構では、8月27日にホテルニューオータニ札幌において「フォーマルメソッド普及促進セミナー 2010 in 札幌〜形式手法が切り拓くソフトウェア産業の将来〜」を開催しました。

　北海道管内で「フォーマルメソッド（形式手法）」をテーマとする初めての大規模なセミナーとして、国立情報学研究所の中島震教授の基調講演を皮切りに、各分野の第一人者の方々から、フォーマルメソッドを取り巻く現状や将来展望等についてお話しいただきました。

　当局では、今後とも形式手法の普及啓発に取り組んでいく予定です。

　なお、本セミナーには112名の参加があり、以下に配付資料や参加者からのアンケート結果（一部）をご紹介します。