CVS

center-name

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

カレンダー

■CVS主催のイベントの一覧です。がついているものは、CVSが協賛あるいはCVSメンバーがスピーカーなどで参加するイベントです。

 ◆ 2010
開催期間 区 分 イベント 開催場所
終了したイベント
2010/03/24-30 シンポジウム 第11回 Agda Implementors' Meeting (AIM11) 淡路夢舞台
2010/03/18 最終報告会 システム検証研究センター最終研究報告会 千里ライフサイエンスセンタービル
2010/02/04 CLC 計算機言語談話会2月:石井大輔 氏 千里サイト6F
2010/01/28 産総研コンソ 平成21年第5回システム設計検証技術研究会 千里サイト6F

  2009年  2008年  2007年  2006年 

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