CVS

center-name

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

カレンダー

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

 ◆ 2008
開催期間 区 分 イベント 開催場所
2008/12/19 産総研コンソ 平成20年第5回システム設計検証技術研究会 千里サイト6F
2008/12/18 CLC 計算機言語談話会12月:John Power 氏
千里サイト6F
2008/12/11 CLC 計算機言語談話会12月:横山哲郎氏
千里サイト6F
2008/12/05 産総研コンソ 平成20年第4回システム設計検証技術研究会 千里サイト6F
2008/11/27-12/3 シンポジウム 第9回 Agda Implementors' Meeting (AIM9) フォレスト仙台 2F会議室
2008/11/19-21 展示会 組込み総合技術展(ET 2008) パシフィコ横浜
2008/11/17-19 シンポジウム 第五回システム検証の科学技術シンポジウム 筑波大学大学会館国際会議室
2008/11/12 CLC 計算機言語談話会11月:Gyesik Lee氏
千里サイト6F
2008/10/30 CLC 計算機言語談話会10月:高橋和子氏 千里サイト6F
2008/10/23 産総研コンソ 平成20年第3回システム設計検証技術研究会 千里サイト6F
2008/10/20-21 講演会 産総研オープンラボ
講演会:「ディペンダブルな情報システムを目指して」
つくば
2008/10/09 CLC 計算機言語談話会10月:高橋孝一 千里サイト6F
2008/09/18 産総研コンソ 平成20年第2回システム設計検証技術研究会 千里サイト6F
2008/08/28 CLC 計算機言語談話会8月:吉田聡 千里サイト6F
2008/07/25 講演会 産総研関西センター(尼崎事業所)一般公開
講演会:「筆算のからくり」
尼崎事業所
2008/07/23 CLC 計算機言語談話会7月:大崎人士 千里サイト6F
2008/07/02-04 ワークショップ 第6回ディペンダブルシステムワークショップ(DSW'08summer) 函館大沼プリンスホテル
2008/06/26 CLC 計算機言語談話会6月:田口研治氏 千里サイト6F
2008/06/19 産総研コンソ 平成20年第1回システム設計検証技術研究会 千里サイト6F
2008/06/12 CLC 計算機言語談話会6月:蓮尾一郎氏 千里サイト6F
2008/06/5-6 展示会 組込み総合技術展(ETWest 2008) インテックス大阪
2008/04/17 CLC 計算機言語談話会4月:センター長 木下佳樹 千里サイト6F
2008/04/10 CLC 計算機言語談話会4月:センター長 木下佳樹 千里サイト6F
2008/03/27 CLC 計算機言語談話会3月:矢田部俊介 千里サイト6F
2008/03/19 特別講演会 事例セミナー 関西センター
2008/03/13 特別講演会 2007年度研究プロジェクト報告会 関西センター
2008/03/03 ワークショップ JAIST/TRUST - AIST/CVS joint workshop on
VERIfication TEchnology (5th VERITE)
北陸先端科学技術大学院大学
2008/02/21 CLC 計算機言語談話会2月:高村博紀 千里サイト6F
2008/02/14 CLC 計算機言語談話会2月:松野裕氏 千里サイト6F
2008/02/07 産総研コンソ 平成19年第7回システム設計検証技術研究会 千里サイト6F
2008/01/31 CLC 計算機言語談話会1月:西村進氏 千里サイト6F
2008/01/17 産総研コンソ 平成19年第6回システム設計検証技術研究会 千里サイト6F

  2007年  2006年 

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