形式手法普及促進セミナー2012 in 札幌

本セミナーは「形式手法」の普及促進を通じた新たなビジネス機会創出を目的として、ソフトウェア開発に携わるＩＴ企業を始め、ソフトウェアを活用するユーザー企業関係者等を対象に開催します。宇宙航空研究開発機構（ＪＡＸＡ）様からの基調講演を始めとして、各分野の第一人者の方々から我が国ソフトウェア開発に関係する最先端の話題をご講演いただきます。