シンポジウムのお知らせ

ＪＡＩＳＴ　21世紀COEシンポジウム2008

「検証進化可能電子社会」

JAIST 21st Century COE Symposium 2008

Verifiable and Evolvable e-Society

日時・場所

2008年3月3日（水）・4日（木）
北陸先端科学技術大学院大学

プログラム

3月3日（月） 10:00-17:15　（情報科学研究科棟 5F Collaboration room 7）

JAIST COE/AIST CVS joint workshop on VERIfication TEchnology (5th VERITE)

13:30-14:30 AISTセッション1 [座長：小川瑞史]
矢田部俊介 : 様相論理の証明支援系上の実装
高木理 : Correctness Properties for Workflows with Multiple Stars and/or Ends

14:40-15:40 JAISTセッション [座長：中原早生]
平石邦彦 : webベースワークフローシステムのモデル化と検証
小川瑞史 : Model checking infinite state machines

15:50-16:50 AISTセッション2 [座長：青木利晃]
関澤俊弦 : A Case Study: Analyzing the One Dimensional Ising Model by Probabilistic Model Checking
齋藤正也 : Agda-IVE and its Application to Verification of the YAMPII Library

17:00-17:30 木下佳樹 「組込システム検証試験施設」（仮称）について
[座長：丹康雄]

(注)交通情報
（ http://www.jaist.ac.jp/~kouhou/General_info/access/access.html をご参照ください）

(1) 首都圏からの乗り継ぎ
JAL1275（羽田10:40発）、小松空港・0番乗り場より直通リムジンバスが運 行（金沢工大前・野々市車庫行き）

(2) 関西方面からの乗り継ぎ
[雷鳥9号] 新大阪 9:15→小松11:44/11:47→西金沢12:20/
[北陸鉄道] 新西金沢 12:31→鶴来 12:55/
[JAISTシャトルバス] 鶴来 12:57→JAIST13:08

---

3月4日（火） 13:00-16:30

GRP研究員発表会

セッションA
情報講義棟2階I-3,4

13:00-14:20 A-1
ポスドク(*)・学生：法令工学（座長：小川瑞史）
鈴木　義崇*
NGUYEN, Minh Le*
NGUYEN, Thai Phuong

14:40-15:20 A-2
学生：法令工学（座長：小川瑞史）
NGUYEN, Thanh Tri
NGUYEN, Van Vinh

15:30-16:30 A-3
学生：検証（座長：鈴木正人）
Pham Hung Ngoc
林　信宏
黄　明仁

セッションB
情報講義棟1F I-1,2

13:00-14:30 B-1
ポスドク(*)：検証（座長：平石邦彦）
Kong Weiqiang*
Li Xin*
広川　直*

14:40-15:20 B-2
学生：検証（座長：青木利晃）
Senachak Jittisak
VO, Hieu Dinh

15:30-16:30 B-3
学生：検証（座長：青木利晃）
LI, Guoqiang
Do Ngoc Thi Bich
NGUYEN, Van Tang

セッションC
材料講義棟1F M-1,2

13:00-14:30 C-1
学生：ネットワーク（座長：Defago Xavier)
PENG, Chao
Nguyen Nam Hoai
NGUYEN, Lan Tien
SUN, Wei

14:40-15:20 C-2
学生：応用（座長：鈴木正人）
Naixue Xiong
YANG, Yan

15:30-16:10 C-2
学生：応用（Defago Xavier)
黄　純芳
FANG, Qiang

---

(注) 3/4 午前(10:30-12:00)には、情報大講義室にて
小野寛晰教授最終講義「論理、数学そしてコンピュータ・サイエンス」
が行われます。

お問い合わせ
安心電子社会研究センター（TRUST）
〒923-1292石川県能美市旭台1-1
TEL: 0761-51-1975 / 1261 FAX: 0761-51-1149
E-MAIL: miyuki-s@jaist.ac.jp
URL: http://www.jaist.ac.jp/jaist-coe