6th VERITE (JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnology)
JAIST COEプログラム「検証進化可能電子社会」と AIST システム検証研究
センターの joint workshop on VERIfication TEchnology (6th VERITE) を
日時：3月12日（木）13時〜13日（金）12時40分
場所：JAIST 田町サテライトキャンパス2階多目的室2
(CIC東京 http://cic-hp.zam.go.jp/tokyo/access.php)
にて開催いたします。（過去の VERITE につきましては
http://www.jaist.ac.jp/jaist-coe/jpn/conferences/workshop.html
をご参照ください。）
参加登録は不要（参加費無料）ですので奮ってご参加ください。
プログラム
3月12日（木） 6th VERITE [ソフトウェア検証]
15:20-16:20 モデル検査
16:30-17:30 定理証明
懇親会の参加は当日申し込みも可能ですが、事前の人数把握のため参加希望
を事前にお知らせ頂けると助かります。（5000円程度の見込みです。）
3月13日（金） 6th VERITE [自然言語による規則化と規則解釈]
10:00-11:00 規格策定と標準化
- 木下佳樹(AIST) 利用者指向ディペンダビリティの研究
- 北村崇師(AIST) 仕様書の統一様式の策定と仕様整合性検証システムの研究開発
11:10-12:40 法令工学
なお 6th VERITE に引き続き3月13日（金）の午後に JAIST GRPプログラム
(Graduate Research Programme http://www.jaist.ac.jp/is/GRP/) で雇用
されている博士課程学生による研究進捗発表会（田町サテライトキャンパス
room 308, 311）を行います。こちらも参加自由（参加費無料）です。
Previous VERITE