報道関係者各位
プレスリリース
プレスリリース
2008年2月21日 09:30
独立行政法人産業技術総合研究所 システム検証研究センター
産業技術総合研究所関西センター研究講演会 システム検証研究センター成果報告会 、2007（平成19）年度研究プロジェクト報告会を開催
報道関係者各位
プレスリリース 2008年2月21日
独立行政法人産業技術総合研究所
----------------------------------------------------------------------
産業技術総合研究所関西センター研究講演会
システム検証研究センター成果報告会
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：閉会の挨拶
システム検証研究センター 研究センター長 木下 佳樹
【本件に関するお問い合わせ先】
独立行政法人産業技術総合研究所 システム検証研究センター
担当者： プロジェクト報告会事務局 矢田 みさえ
TEL ： 06-4863-5022
FAX ： 06-4863-5052
E-MAIL： cvs-project-fy2007@m.aist.go.jp
プレスリリース 2008年2月21日
独立行政法人産業技術総合研究所
----------------------------------------------------------------------
産業技術総合研究所関西センター研究講演会
システム検証研究センター成果報告会
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：閉会の挨拶
システム検証研究センター 研究センター長 木下 佳樹
【本件に関するお問い合わせ先】
独立行政法人産業技術総合研究所 システム検証研究センター
担当者： プロジェクト報告会事務局 矢田 みさえ
TEL ： 06-4863-5022
FAX ： 06-4863-5052
E-MAIL： cvs-project-fy2007@m.aist.go.jp