CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

7th AIST/CVS Workshop
Last updated: 2007.02.28



2nd Workshop on Verification Technology (VERITE) with guests from Chalmers

日    程: 2006年5月19日(金) 09:00-18:00 ※8:30開場
場    所: システム検証研究センター千里オフィス6F会議室
内    容: 
北陸先端科学技術大学院大学(JAIST)とシステム検証研究センターの合同ワークショップの二回目です。今回は、スウェーデンのChalmers University of Technologyよりもゲスト・スピーカーを迎え、3拠点合同での開催となりました。参加人数は、39名でした。

Program

Program
Doors Open ( 8:30 )
Opening ( 9:00 )
Session 1 (09:05 - 12:00)
"Applying Theorem Proving System to Verification of Object-Oriented Design Model"Aoki

Toshiaki Aoki (JAIST) |PDF資料(217KB)

"Agda 2"NorelCoquand
Catarina Coquand & Ulf Norel (Chalmers)
"Interaction with a Proof Editor"Nordstroem
Bengt Nordström (Chalmers)
"Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation"Nishizawa
Koki Nishizawa(AIST) |PDF資料(322KB)
1 hr Lunch Break at open space (6th floor)
Session 2 (13:00 - 15:10)
"First-order Modal mu-calculas"Okamoto
Keishi Okamoto (AIST) |PDF資料(191KB)
"Rewriting Game Theory and Applications"Vestergaard
René Vestergaard (JAIST) |PDF資料(502KB)
"Intuitionistic Model Construction and Normalization Algorithms"Dybier
Peter Dybier (Chalmers)
15 min Break
Session 3 (15:25 - 16:50)
"Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method"Ogata
Kazuhiro Ogata (JAIST) |PDF資料(137KB)
"A Sequent Calculus for 1-backtracking"
Yoriyuki Yamagata (AIST) |PDF資料(276KB)
10 min Break
Business Meeting (17:00 - 17:30)
Workshop Dinner (18:00 - )




産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.