CVS

center-name

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

カレンダー

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

 ◆ 2007 ◆ 
開催期間 区 分 イベント 開催場所
2007/12/18 CLC 計算機言語談話会12月:Jean-Pierre Jouannaud氏 千里サイト6F
2007/12/17 産総研コンソ 平成19年第5回システム設計検証技術研究会 千里サイト6F
2007/11/22 産総研コンソ 平成19年第4回システム設計検証技術研究会 千里サイト6F
2007/11/15 CLC 計算機言語談話会11月:関澤俊弦 千里サイト6F
2007/11/05-07 シンポジウム 第四回システム検証の科学技術シンポジウム 名古屋大学野依記念学術交流館
2007/10/29 CLC 計算機言語談話会10月:Farn Wang氏 千里サイト6F
2007/10/26 産総研コンソ 平成19年第3回システム設計検証技術研究会 千里サイト6F
2007/10/25 CLC 計算機言語談話会10月:高木理 千里サイト6F
2007/10/18 CLC 計算機言語談話会10月:センター長 木下佳樹 千里サイト6F
2007/10/18 CLC 計算機言語談話会10月:田辺良則 千里サイト6F
2007/10/11 CLC 計算機言語談話会10月:吉田聡 千里サイト6F
2007/10/04 CLC 計算機言語談話会10月:武山誠 千里サイト6F
2007/09/27 産総研コンソ 平成19年第2回システム設計検証技術研究会 千里サイト6F
2007/09/25 CLC 計算機言語談話会09月:Jiri Adamek氏 千里サイト6F
2007/09/06-07 シンポジウム JAIST 21st Century COE Symposium
" Verifiable and Evolvable e-Society "
キャンパス・イノベーションセンター東京
2007/07/31 CLC 計算機言語談話会07月:松岡聡 千里サイト6F
2007/07/26 CLC 計算機言語談話会07月:高井利憲 千里サイト6F
2007/07/20 産総研コンソ 平成19年第1回システム設計検証技術研究会 千里サイト6F
2007/07/12 CLC 計算機言語談話会07月:長谷部浩二 千里サイト6F
2007/07/05 CLC 計算機言語談話会07月:Li Xin氏 千里サイト6F
2007/06/28 CLC 計算機言語談話会06月:長谷部浩二 千里サイト6F
2007/06/6-7 展示会 組込み総合技術展(ETWest 2007) マイドームおおさか
2007/05/31 CLC 計算機言語談話会05月:Michael Winter 氏 千里サイト6F
2007/05/10 CLC 計算機言語談話会05月:吉田聡 千里サイト6F
2007/05/10 CLC 計算機言語談話会05月:竹内泉 千里サイト6F
2007/04/19 CLC 計算機言語談話会04月:鹿島亮氏 千里サイト6F
2007/04/12 CLC 計算機言語談話会04月:Armin Lawi氏 千里サイト6F
2007/04/05 CLC 計算機言語談話会04月:松本眞氏 千里サイト6F
2007/03/22 CLC 計算機言語談話会03月:吉田聡、上出哲広 千里サイト6F
2007/03/16 CLC 計算機言語談話会03月:加藤和彦氏、宮崎裕氏 千里サイト6F
2007/03/15 特別講演会 2006年度研究プロジェクト報告会 千里サイト6F
2007/03/06-07 ワークショップ JAIST/TRUST - AIST/CVS joint workshop on
VERIfication TEchnology (4th VERITE)
北陸先端科学技術大学院大学
2007/03/01 CLC 特別連続講義 第五回目:Bengt Nordström教授 千里サイト6F
2007/02/23 CLC 特別連続講義 第四回目:Bengt Nordström教授 千里サイト6F
2007/02/22 CLC 計算機言語談話会02月:矢田部俊介氏 千里サイト6F
2007/02/22 CLC 計算機言語談話会02月:Peter Ölvecsky助教授 千里サイト6F
2007/02/16 CLC 計算機言語談話会02月:中野昌弘氏、小西善二郎氏 千里サイト6F
2007/02/15 CLC 計算機言語談話会02月:安部達也氏 千里サイト6F
2007/02/15 CLC 特別連続講義 第三回目:Bengt Nordström教授 千里サイト6F
2007/02/08 CLC 特別連続講義 第二回目:Bengt Nordström教授 千里サイト6F
2007/02/01 CLC 特別連続講義 第一回目:Bengt Nordström教授 千里サイト6F
2007/01/26 産総研コンソ 平成18年第7回システム設計検証技術研究会 千里サイト6F
2007/01/25 CLC 計算機言語談話会01月第三回目 千里サイト6F
2007/01/18 CLC 計算機言語談話会01月第二回目 千里サイト6F
2007/01/11 CLC 計算機言語談話会01月第一回目 千里サイト6F

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