形式手法の産業界応用ワークショップ 開催案内
2011年4月26日
産総研、三菱総合研究所
産業技術総合研究所の主催による「形式手法の産業界応用ワークショップ」が4月26日に千里ライフサイエンスセンターで開催されます。北陸先端科学技術大学院大学 学長の片山卓也先生による基調講演をはじめ、産・学・官の各界で形式手法の適用実践や人材育成に取り組む活動の現状が紹介される予定です。参加申し込みは4月22日まで。
形式手法産業応用ワークショップ(20110426)三菱総合研究所講演の概要資料(ダウンロード)
このページの先頭へ戻る