CVS

center-name

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

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

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

開催概要
日程: 2008年3月13日(木) 13:30〜16:30
場所: 産業技術総合研究所関西センター 融合棟2F 多目的ホール(大阪府池田市緑丘1-8-31)
参加費:無料

プログラム: 

発表項目 時間 発表者
開会の挨拶 5分 木下佳樹
●Session 1 13:35〜14:25
CREST研究総括 15分 木下佳樹
数理モデル研究 5分 岡本圭史
抽象化ツール研究開発 15分 田辺良則
対話型検証研究 15分 加藤紀夫
●Session 2 14:40〜15:25
フィールドワーク1 15分 高井利憲
フィールドワーク2 5分 竹内 泉
フィールドワーク4 5分 湯浅能史
フィールドワーク6 15分 高井利憲
フィールドワーク7 5分 岡本圭史
●Session 3 15:40〜16:20
研修コース開発 15分 西原秀明
ソフトウェア認証研究 15分 水口大知
知識様相論理 5分 矢田部俊介
事例報告データベース 5分 渡邊 宏
閉会の挨拶 10分 木下佳樹


発表した内容はテクニカルレポートとして発行しております。



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