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

日時・場所 2007年3月6日(火)・3月7日(水)
      北陸先端科学技術大学院大学・知識講義棟2階中講義室


プログラム

3月6日(水) 13:30-17:20

13:30-14:10 セッション1:事例研究

14:20-15:40 セッション2:論理1

15:50-17:20 セッション3:論理2

19:30 懇親会 (湊屋、076-264-0611)

3月7日(水) 10:00-17:15

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

10:00 開催の挨拶

10:10-12:10 セッション1 法令文書表現と推論 (座長:平石邦彦)

13:00-15:00 セッション2 形式検証技術・形式推論機構 (座長:小川瑞史)

15:15-17:15 セッション3 モデル化技術・安心基盤技術 (座長:青木利晃)

※講演者の所属(*1 北陸先端科学技術大学院大学 情報科学研究科*2 北陸先端科学技術大学院大学 COEポスドク研究員
*3 北陸先端科学技術大学院大学 安心電子社会研究センター)



Previous VERITE

JAISTへのアクセス