http://www.aist.go.jp/aist_j/event/ev2011/ev20110426/ev20110426.html
2011年4月26日
産総研、三菱総合研究所
産業技術総合研究所の主催による「形式手法の産業界応用ワークショップ」が4月26日に千里ライフサイエンスセンターで開催されます。北陸先端科学技術大学院大学 学長の片山卓也先生による基調講演をはじめ、産・学・官の各界で形式手法の適用実践や人材育成に取り組む活動の現状が紹介される予定です。参加申し込みは4月22日まで。