JAIST/TRUST - AIST/CVS joint workshop on verification technology (3rd VERITE)

Date: 27th(Mon)/28th(Tue), November 2006
Place: JAIST 知識科学研究科講義棟・中講義室

Program : 27th November (Mon)

13:30-14:40 型理論と言語処理系：座長　小川瑞史（JAIST)

尾崎弘幸 (AIST), Agda コンパイラ Agate（アガテ）
加藤紀夫 (AIST), 型情報を利用したAgdaプログラム最適化コンパイル

14:55-16:05 論理：座長　片山卓也（JAIST)

山形頼之(AIST), Sequent Calculus for Limit Computable Mathematics
竹内泉(AIST), 伝聞の様相論理

16:20-17:30 プッシュダウンモデル検査：座長　高橋孝一 (AIST)

Li Xin (JAIST), Parametrized Points-To Analysis based on Weighted Pushdown Model Checking
Nguyen Van Tang (JAIST), Visibly Stack Automaton

19:00- Party in Kanazawa (5-6,000JPY per person)

よし坊 (香林坊・南町バス停近く、北國新聞社横）
参加希望の方はmizuhito "at" jaist.ac.jpまでご一報ください。

Program : 28th November (Tue)

10:20-11:30 検証と機能安全：座長　緒方和博 (JAIST)

小池憲史，吉田聡(発表は吉田) (AIST), 図示記法：現場技術者のための時相表現
水口大知 (AIST), A Report of the Current Situation on Software Certification in Japan

11:30-12:00 Business Meeting

12:00-13:00 昼食

13:00-14:45 ソフトウェア工学１：座長　大崎人士 (AIST)

岸知二 (JAIST), モデル検査によるアーキテクチャ設計検証
落水浩一郎 (JAIST), ソフトウェアカウンタビリティの定義に関する基礎考察
鈴木正人 (JAIST), 安心情報システム構築におけるコンポーネント技術の応用

15:00-16:10 ソフトウェア工学2：座長　渡邊宏 (AIST)

Xiang Jianwen (JAIST), A Domain Analysis of Artistic Works and A Digital License Language
谷崎裕明 (JAIST), 構成管理モデルFMCとAlloyによる検証

Previous VERITE

1st VERITE (金沢、2005年9月21日～22日）
2nd VERITE（千里、2006年5月22日）

JAISTへのアクセス

JAIST 13:30 着（from 東京・大阪）

羽田空港 10:45 (JAL1275)→小松空港 11:50/野々市車庫行きリムジンバスに接続(0番乗場）、13:00前後に JAIST到着
大阪 9:42（サンダーバード11号）→金沢12:17/12:33→西金沢12:37 西金沢12:41→鶴来13:02/13:04（シャトルバス）→JAIST 13:15

金沢からの往復（北陸鉄道・鶴来でJAISTシャトルに接続）

(JAIST 9:30着) 野町 8:51→JAIST 9:31
(JAIST 10:30着) 野町9:37 →JAIST 10:15
(金沢行き直通バス) JAIST 17:45→香林坊18:37

JAIST 17:00前後発（to 東京・大阪）

JAIST 17:23（リムジンバス）→小松空港18:00/18:50(JAL1280)→羽田空港19:55
JAIST 16:57→鶴来17:08/17:15→西金沢 17:36/17:40→金沢17:45/17:57 （サンダーバード44号）→大阪20:36
JAIST 17:29→鶴来17:40/17:46→西金沢18:10/18:21→ 小松18:55/19:00（サンダーバード46号）→大阪21:22