CVS

center-name

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

研究活動

CVSでは、次のような様々なイベントを開催し、この分野における最新情報の集積につとめております。

arrow計算機言語談話会(CLC)
CLCは、原則として毎週木曜日16:00頃から開催しています。談話会は公開し、外部の方々にも聴講、参加いただけます。

arrowシステム設計検証技術研究会
本研究会は会員制です。隔月で外部の講師による講演会やチュートリアルを開催しております。conso

arrowAIST/CVS ワークショップ
システム検証に関する様々なテーマで、世界各国からの研究者をお招きしワークショップを不定期で開催します。外部の方々もご参加いただけます。

arrowシステム検証の科学技術シンポジウム
2004年〜2008年まで5回にわたりこのシンポジウムを開催いたしました。第四、五回は日本ソフトウェア科学会ディペンダブルシステム研究会とCVSが共同で開催いたしました。第六回より「ディペンダブルシステムシンポジウム(dss)」と名称を変更し、開催されます。





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