産業技術総合研究所関西センター研究講演会
システム検証研究センター成果報告会
2007(平成19)年度研究プロジェクト報告会を開催
≪開催要旨≫
産業技術総合研究所システム検証研究センターは、現代のシステム社会に不可欠なシステム検証の研究を手がける機関として様々な活動を展開しております。このたび、2007(平成19)年度研究プロジェクトの報告を行い、当研究センターの活動の全体をご理解いただく機会を設けることといたしましたので、お知らせいたします。
実施したプロジェクト毎に担当研究者による、より詳しい発表も行ないます。なお、システム検証研究センターホームページ内「Technical Reports」のページにおきまして、これまでの研究プロジェクト報告会に関する資料などを掲載しておりますので、是非御覧ください。
＜http://unit.aist.go.jp/cvs/techrep.html＞
≪概要≫
日時： 2008年3月13日(木)13:30〜16:30(参加費無料)
場所： 産業技術総合研究所 関西センター
融合棟2階 多目的ホール(収容人員 約150名)
大阪府池田市緑丘1-8-31(阪急「池田駅」より徒歩10分)
アクセスマップ： http://unit.aist.go.jp/kansai/access/ikeda.html
■主催： 独立行政法人産業技術総合研究所関西センター
システム検証研究センター
■参加定員： 150名(申込み先着順)
■聴講申し込み方法：
聴講を希望される方は、電子メールで件名(subject)を
「プロジェクト報告会聴講申し込み」と記載の上、下の項目についてお知らせ
願います。追って連絡を(原則電子メールにて)いたします。
1．会社名又は機関名
2．氏名(フリガナ)
*ご提供いただいた個人情報は当プロジェクト報告会参加申込み確認のために 使用されるものであり、第三者への開示はいたしません。
*当日参加も受け付けますが座席の確保のために事前登録をお願いいたします。
【申込み先】
産業技術総合研究所 システム検証研究センター プロジェクト報告会事務局
住所： 〒560-0083
大阪府豊中市新千里西町1-2-14 三井住友海上千里ビル5F
TEL ： 06-4863-5022
FAX ： 06-4863-5052
E-mail： cvs-project-fy2007@m.aist.go.jp
＜報道関係の皆様へ＞
公開といたします(カメラ撮り可)。
なお、傍聴を希望される報道関係者につきましては、会場設営の都合上、申込期限(2008年3月10日)までに(1)会社名(2)氏名(3)TEL番号(4)FAX番号(5)希望人数を明記(様式自由)の上、プロジェクト報告会事務局までFAXにて御連絡ください。
【プログラム】
13:30：開会の挨拶
システム検証研究センター 研究センター長木下 佳樹
13:35〜14:25：セッション1
CREST総括木下佳 樹
数理モデル研究岡本 圭史
抽象化ツール研究開発田辺 良則
対話型検証研究加藤 紀夫
14:40〜15:25：セッション2
フィールドワーク1高井 利憲
フィールドワーク2竹内 泉
フィールドワーク4湯浅 能史
フィールドワーク6高井 利憲
フィールドワーク7岡本 圭史
15:40〜16:20：セッション3
研修コース開発西原 秀明
ソフトウェア認証研究水口 大知
知識様相論理矢田部 俊介
事例報告データベース渡邊 宏
16:20：閉会の挨拶
システム検証研究センター 研究センター長木下 佳樹