CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

2008年度実施研究プロジェクト報告会を開催いたしました(2009年3月26日)

2008年度にCVS/AISTにおいて実施された各研究プロジェクトの実施状況について、第4回となる報告会を開催いたしました。
CVS/AISTの一年間の研究活動内容を、全体の総括を行なうとともに、実施したプロジェクト毎に担当研究者による、より詳しい発表も行ない、我々CVS/AISTの活動の全体をご覧頂く大変良い機会となりました。当日、お集まりいただきました皆様に心より御礼申し上げます。

開催概要
日程: 2009年3月26日(木) 13:30〜16:30
場所: 産業技術総合研究所 システム検証研究センター千里サイト6F
  〒560-0083 大阪府豊中市新千里西町1-2-14 三井住友海上千里ビル

プログラム:

発表項目 時間 発表者
開会の挨拶 5分 木下佳樹
●Session 1 13:35〜14:30
Agda 15分 武山 誠
検証自動化 10分 高橋孝一
ディペンダブルOS 15分 木下佳樹
地域イノベーション 15分 矢田部俊介
●Session 2 14:40〜15:20
フィールドワーク1 10分 高井利憲
フィールドワーク8 10分 加藤紀夫
フィールドワーク9 10分 大崎人士
育成ステージ 10分 岡本圭史
●Session 3 15:35〜16:20
研修コース 10分 西原秀明
事例報告データベース 10分 尾崎弘幸
ソフトウェア認証研究 10分 渡邊 宏
連携検証施設 15分 木下佳樹
閉会の挨拶 10分 木下佳樹

発表した内容は今後、テクニカルレポートとして発行する予定です。


産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.