ICFEM 2016(法政大学後援)の開催について

コンピュータ科学科の劉少英教授がGeneral Chair（大会委員長）を務めるICFEM 2016が2016年11月14日～18日に東京で開催されます。

国際会議 ICFEM (International Conference on Formal Engineering Method) は、ソフトウェア開発技術の研究において「形式工学手法」と呼ばれる分野の代表的な国際会議です。これまで17回にわたりアジア、欧州、アメリカ、オーストラリアなど各国で開催され、今年第18回大会が東京で行われることになりました。本イベントには劉教授の他、情報科学研究科に在籍する池田逸人さんもWeb Chairとして参加します。