CVS

center-name

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

カレンダー

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

 ◆ 2006 ◆
開催期間 区分 イベント 開催場所
2006/12/21 産総研コンソ 平成18年第6回システム設計検証技術研究会 千里サイト6F
2006/12/14 CLC 計算機言語談話会12月第二回目 千里サイト6F
2006/12/07 CLC 計算機言語談話会12月第一回目 千里サイト6F
2006/11/27-28 ワークショップ JAIST/AIST joint workshop on Verificatioin Technology
(3rd VERITE)
北陸先端科学技術大学院大学
2006/11/16 産総研コンソ 平成18年第5回システム設計検証技術研究会 千里サイト6F
2006/11/15-16 シンポジウム
(外部)
第6回クリティカルソフトウェア・ワークショップ 秋葉原コンベンションホール
2006/11/13 CLC 計算機言語談話会11月第二回目 千里サイト6F
2006/11/10 シンポジウム
(外部)
第三回公開シンポジウム 駒場エミナース
2006/11/9 CLC 計算機言語談話会11月第一回目 千里サイト6F
2006/10/30-11/1 シンポジウム 第三回システム検証の科学技術シンポジウム 千里ライフサイエンスセンター
2006/10/19-21 シンポジウム
(外部)
組込みシステムシンポジウム2006 日本科学未来館
2006/10/18 セミナー
(外部)
国際安全規格対応セミナー「機能安全とシステム検証」 京都市産業技術研究所
工業技術センター
2006/10/11 CLC 計算機言語談話会10月第一回目 千里サイト6F
2006/10/6 産総研コンソ 平成18年第4回システム設計検証技術研究会 千里サイト6F
2006/9/21 CLC 計算機言語談話会9月第一回目 千里サイト6F
2006/8/21 産総研コンソ 平成18年第3回システム設計検証技術研究会 千里サイト6F
2006/8/2 CLC 計算機言語談話会8月第一回目 千里サイト6F
2006/7/27 産総研コンソ 平成18年第2回システム設計検証技術研究会 千里サイト6F
2006/7/20 CLC 計算機言語談話会7月第三回目 千里サイト6F
2006/7/13 CLC 計算機言語談話会7月第二回目 千里サイト6F
2006/7/6 産総研コンソ 平成18年第1回システム設計検証技術研究会 千里サイト6F
2006/7/4 CLC 計算機言語談話会7月第一回目 千里サイト6F
2006/6/22 CLC 計算機言語談話会6月第三回目 千里サイト6F
2006/6/15 CLC 計算機言語談話会6月第二回目 千里サイト6F
2006/6/8 CLC 計算機言語談話会6月第一回目 千里サイト6F
2006/6/1 特別講演会 2005年度研究プロジェクト報告会 千里サイト6F
2006/5/19 ワークショップ JAIST/AIST joint workshop on Verificatioin Technology
(2nd VERITE)
千里サイト6F
2006/5/18 CLC 計算機言語談話会5月第一回目 千里サイト6F
2006/4/13 CLC 計算機言語談話会4月第二回目 千里サイト6F
2006/4/4 CLC 計算機言語談話会4月第一回目 千里サイト6F

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