7 月 7 日 (日曜日)
併設イベント [国際会議室]7 月 8 日 (月曜日) 午後から夜まで
12:00～13:00 受付13:00～13:05 オープニング [大会議室]
(司会: 端山 毅 (エヌ・ティ・ティ・データ))
実行委員長挨拶 (山本 修一郎 (名古屋大学))
13:05～14:35 オープニングキーノート [大会議室]
(司会: 端山 毅 (エヌ・ティ・ティ・データ))
「産学連携によるイノベーション人材の育成と
ソフトウェア技術者協会の役割」
北陸先端科学技術大学院大学 副学長
高信頼組込みシステム教育研究センター長 落水 浩一郎氏
14:50～15:50 各ワーキンググループの紹介，課題提起，所信表明 [大会議室]
(司会: 栗田 太郎 (フェリカネットワークス))
※発表時間は WG ごとに 5 分間を予定しています．
16:15～18:25 ワーキンググループ セッション 1
※上記の時間は会議室が利用できる時間帯を表しています．
運営方法はワーキンググループによって異なります．
詳細は各ワーキンググループのリーダまでお問い合わせください．
18:25～19:00 移動
19:00～20:30 情報交換会 [十八楼・葵の間]
(司会: 田中 一夫 (アイエックス・ナレッジ))
7 月 9 日 (火曜日) 終日
9:00～10:20 論文・報告セッション 1: テスト 1 [大会議室](司会: 小笠原 秀人 (東芝))
※発表と質疑応答，議論あわせて 16 分間が進行になります (以下同)．
10:40～12:00 論文・報告セッション 2: 要件定義と計画 [大会議室]
(司会: 宮本 祐子 (宇宙航空研究開発機構))
13:15～14:25 招待講演 [大会議室]
(司会: 中野 秀男 (帝塚山学院大学))
「岐阜から森林を考える」
岐阜大学 副学長 応用生物科学部 教授 小見山 章氏
14:40～16:00 論文・報告セッション 3: テスト 2 [大会議室]
(司会: 鈴木 正人 (北陸先端科学技術大学院大学))
16:20～17:25 論文・報告セッション 4: 形式手法 1 [大会議室]
(司会: 日下部 茂 (九州大学))
17:45～18:50 論文・報告セッション 5: 形式手法 2 [大会議室]
(司会: 張 漢明 (南山大学))
7 月 10 日 (水曜日) 朝から夕方まで
9:00～11:50 ワーキンググループ セッション 2※上記の時間は会議室が利用できる時間帯を表しています．
運営方法はワーキンググループによって異なります．
詳細は各ワーキンググループのリーダまでお問い合わせください．
13:10～14:30 各ワーキンググループ報告，成果発表 [大会議室]
(司会: 渡辺 真太郎 (エヌ・ティ・ティ・データ))
※発表時間は WG ごとに質疑応答を含めて 7 分間を予定しています．
14:40～15:50 クロージングキーノート [大会議室]
(司会: 伊藤 昌夫 (ニルソフトウェア))
「京による細胞シミュレータの開発
－超大規模イメージベースドモデリングの展開－」
理化学研究所 光量子工学領域 画像情報処理研究チーム 横田 秀夫氏
15:50～16:00 クロージング [大会議室]
(司会: 伊藤 昌夫 (ニルソフトウェア))
最優秀賞表彰 (端山 毅 (エヌ・ティ・ティ・データ))
実行委員長挨拶 (奈良 隆正 (NARA コンサルティング))
