- ホーム
- 会議・シンポジウム
- 国際会議・シンポジウム
- シンポジウムのお知らせ
シンポジウムのお知らせ
JAIST 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