◆6 月 12 日 (火曜日) 【初日】
12:00 ～ 13:00 受付 [福井県県民ホール 入口]
13:00 ～ 18:00 ワーキンググループ [福井市地域交流プラザ 会議室]，
併設イベント [福井県県民ホール]
※上記の時間は会議室が利用できる時間帯を表しています．
運営方法はワーキンググループによって異なります．
詳細は各ワーキンググループのリーダまでお問い合わせください．
18:30 ～ 20:30 関連イベント
◆6 月 13 日 (水曜日) 【中日】
9:30 ～ 13:00 ワーキンググループ [福井市地域交流プラザ 会議室]
※上記の時間は会議室が利用できる時間帯を表しています．
運営方法はワーキンググループによって異なります．
詳細は各ワーキンググループのリーダまでお問い合わせください．
13:00 オープニング [福井県県民ホール]
(司会: 伊藤 昌夫 (ニルソフトウェア))
実行委員長挨拶 (中野 秀男 (大阪市立大学))
13:00 ～ 14:30 オープニングキーノート [福井県県民ホール]
(司会: 伊藤 昌夫 (ニルソフトウェア))
「文化としてのソフトウェア
－人の営みとしてのソフトウェア開発」
法政大学 教授 玉井 哲雄氏
14:45 ～ 15:25 論文・報告セッション 1: 品質 1 [福井県県民ホール]
(司会: 奈良 隆正 (NARA コンサルティング))
※発表時間 8 分間，質疑応答・議論 12 分間が進行の目安になります．
15:35 ～ 16:35 論文・報告セッション 2: テスト．モデル検査 [福井県県民ホール]
(司会: 日下部 茂 (九州大学))
※発表時間 8 分間，質疑応答・議論 20 分間が進行の目安になります．
16:45 ～ 17:35 論文・報告セッション 3: 安全性．アシュアランスケース
[福井県県民ホール]
(司会: 荒木 啓二郎 (九州大学))
※発表時間 8 分間，質疑応答・議論 18 分間が進行の目安になります．
17:45 ～ 18:35 論文・報告セッション 4: 形式手法 1 [福井県県民ホール]
(司会: 古畑 慶次 (デンソー技研センター))
※発表時間 8 分間，質疑応答・議論 18 分間が進行の目安になります．
18:45 ～ 20:00 招待講演 [福井県県民ホール]
(司会: 伊藤 昌夫 (ニルソフトウェア))
「永平寺の七道伽藍と修行」
大本山永平寺 布教部 部長 西田 正法氏
20:15 ～ 21:45 情報交換会 [アオッサモール]
(司会: 田中 一夫 (アイエックス・ナレッジ))
◆6 月 14 日 (木曜日)
9:10 ～ 10:00 論文・報告セッション 5: 形式手法 2 [福井県県民ホール]
(司会: 鈴木 正人 (北陸先端科学技術大学院大学))
※発表時間 8 分間，質疑応答・議論 18 分間が進行の目安になります．
10:10 ～ 10:50 論文・報告セッション 6: 品質 2 [福井県県民ホール]
(司会: 小笠原 秀人 (東芝))
※発表時間 8 分間，質疑応答・議論 16 分間が進行の目安になります．
11:00 ～ 12:00 論文・報告セッション 7: ソフトウェアの発展のために
[福井県県民ホール]
(司会: 宗平 順己 (オージス総研))
※発表時間 8 分間，質疑応答・議論 20 分間が進行の目安になります．
13:30 ～ 14:30 各ワーキンググループ発表 [福井県県民ホール]
(司会: 山本 修一郎 (名古屋大学))
※発表時間は WG ごとにそれぞれ 8 分間，
質疑応答・議論は最後にまとめて 12 分間が進行の目安になります．
14:30 ～ 16:00 クロージングキーノート [福井県県民ホール]
(司会: 栗田 太郎 (フェリカネットワークス))
「『京』からエクサスケールへ
－スーパーコンピューター開発と国家プロジェクト」
東京工業大学 教授 牧野 淳一郎氏
16:00 ～ 16:20 クロージング [福井県県民ホール]
(司会: 栗田 太郎 (フェリカネットワークス))
最優秀賞表彰 (栗田 太郎 (フェリカネットワークス))
実行委員長挨拶 (中野 秀男 (大阪市立大学))
