第3回形式手法の産業応用ワークショップ (国際会議ICFEM 2012 併催)

　第3回となる本ワークショップにおいては、形式手法の産業応用について実績を蓄積されてきた国の機関や企業の方々をゲストに迎え、その取り組みの内容や今後の構想について語っていただきます。産業界における最新の応用事例や応用に向けた取り組みについて、 6件程度の講演が予定されています。講演はすべて日本語で行われます。
　多くの方々のご参加をお待ち申し上げます。