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

日時・場所　2008年3月3日（月）
　　　　　　北陸先端科学技術大学院大学・情報科学研究科棟 5F コラボレーションルーム７

JAIST 21世紀COEシンポジウム 2008「検証進化可能電子社会」と共催

プログラム

3月3日（水） 13:30-17:30

13:30-14:30 AISTセッション1 [座長：小川瑞史]

14:40-15:40 JAISTセッション [座長：中原早生]

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

Previous VERITE

1st VERITE (金沢、2005年9月21日～22日）
2nd VERITE（千里、2006年5月22日）
3rd VERITE（JAIST、2006年11月27日～28日）
4th VERITE（JAIST、2007年3月6日～7日）