CVS

center-name

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

What's New
      (バックナンバー)

2009年
 10月16日 テクニカルレポートを発行しました。
 10月07日 10/8日の計算機言語談話会(CLC) は台風18号の接近により延期いたします。(期日未定)
 09月29日 研修コース:「Agda による仕様記述」開催 終了
 08月27日 8/27日の計算機言語談話会(CLC) は講演者の事情により中止となりました。
 08月25日 研修コース:「Agda による仕様記述」開催のお知らせ
 08月17日 平成21年度第3回システム設計検証技術研究会09/09/10(木) 16:00〜18:00 終了
 08月05日 ニューズレター第12号を発行しました。
 08月03日 テクニカルレポートを発行しました。
 07月24日 テクニカルレポートを発行しました。
 07月13日 組込みソフト産業推進会議にて2009年度組込み適塾 実践演習編の募集が開始されました。
 07月09日 テクニカルレポートを発行しました。
 07月07日 平成21年度第2回システム設計検証技術研究会09/07/30(木) 16:00〜18:00 終了
 06月10日 平成21年度第1回システム設計検証技術研究会09/06/26(金) 16:00〜18:00 終了
 06月05日 テクニカルレポートを発行しました。
 05月25日 Web版 システム検証の事例報告集を更新しました。
 05月22日 テクニカルレポートを3件発行しました。
 05月01日 平成21年度第1回システム設計検証技術研究会 延期します(2009.5.18)
 04月24日 Web版 システム検証の事例報告集を更新しました。
 04月20日 ニューズレター第11号を発行しました。
 04月08日 組込みソフト産業推進会議にて2009年度組込み適塾の募集 終了
 04月02日 システム設計検証技術研究会平成21年度の新規会員募集 のお知らせ
 04月01日 テクニカルスタッフ募集のお知らせ 終了
 03月25日 ソフトウェアと検証のワークショップ (Workshop on Software and Verification; WSV2009) 開催のお知らせ 
2009/04/10(金) 13:00〜17:30 終了
 02月20日 特別研究員およびテクニカルスタッフ募集のお知らせ 終了
 02月13日 2008年度研究プロジェクト報告会開催のお知らせ 2009/03/26(木) 13:30〜16:30 終了
 02月13日 JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology
(6th VERITE) 2009/03/12(木)〜13(金) 終了
 02月04日 テクニカルレポートを発行しました。
 01月16日 平成20年度第7回システム設計検証技術研究会09/02/06(金) 16:00〜18:00 終了
 01月13日 「組込み適塾」実践演習編が当センターにて行われています。(12/19〜1/30) 終了

 

2008年
12月22日 平成20年度第6回システム設計検証技術研究会09/01/29(木) 16:00〜18:00 終了
12月22日 研究テーマ型任期付研究員募集のお知らせ 終了
12月08日 平成20年度第5回システム設計検証技術研究会08/12/19(金) 16:00〜18:00終了
12月05日 テクニカルレポートを2件発行しました。
11月13日 テクニカルレポートを発行しました。
11月10日 平成20年度第4回システム設計検証技術研究会 08/12/05 16:00〜18:00終了
11月07日 特別研究員およびテクニカルスタッフ募集のお知らせ終了
10月20日 モデル検査研修コース初級編 (08年12月)・モデル検査研修コース中級編 (09年2月)を開催。終了
09月30日 第9回 Agda Implementors' Meeting (AIM9) 開催のお知らせ 2008/11/27〜12/3 終了
09月25日 ニューズレター第10号を発行しました。
09月25日 平成20年度第3回システム設計検証技術研究会 2008/10/23 16:00〜18:00 終了
09月10日 テクニカルレポートを発行しました。
09月03日 経済産業省近畿経済産業局 報道発表(08.08.29)
組込ソフトウェア開発にかかる仕様統一化のための 「研究推進会議」の設置について
08月28日 テクニカルレポートを2件発行しました。
08月27日 特別研究員およびテクニカルスタッフ募集のお知らせ終了
08月27日 平成20年度第2回システム設計検証技術研究会 2008/09/18 16:00〜18:00 終了
08月13日 テクニカルレポートを発行しました。
08月06日 Web版 システム検証の事例報告集を更新しました。
07月24日 プレスリリース (2008年7月22日 発表)
高度組込みソフトウェア技術者養成のための「組込み適塾」を開塾  
−組込みシステム検証試験施設を用いた技術移転と人材養成を担う組織も発足− 
06月20日 特別研究員およびテクニカルスタッフ募集のお知らせ終了
05月27日 平成20年度第1回システム設計検証技術研究会  2008/06/19 16:00〜18:00 終了
05月26日 プレスリリース (2008年5月23日 発表)
ソフトウェア信頼性技術の研究開発・人材養成の産学官連携活動を強化
−ソフトウェア信頼性技術の中核施設−
04月30日 テクニカルレポートを発行しました。 
04月18日 第五回システム検証の科学技術シンポジウム開催日決定 
03月28日 テクニカルレポートを発行しました。 
03月21日 事例セミナー開催報告 
03月18日 テクニカルレポートの正誤表を掲載しました。 
03月17日 テクニカルレポートを発行しました。 
03月17日 事例セミナー参加申込み受付 2008/03/19 14:00〜16:30 終了
03月14日 2007年度研究プロジェクト報告会開催報告 
03月10日 テクニカルレポートの正誤表を掲載しました。 
03月10日 事例セミナー開催のお知らせ 2008/03/19 14:00〜16:30 終了
03月06日 2007年度研究プロジェクト報告会聴講申込み受付 終了 
2008/03/13 13:30〜 16:30
03月03日 テクニカルレポートを発行しました。
03月03日 ニュースレター9号を発行しました。[PDF]
02月28日 第8回 AIST/CVS ワークショップのお知らせ 終了
02月26日 テクニカルレポートの正誤表を掲載しました。 
02月20日 明日21日の計算機言語談話会の開始時間変更のお知らせ 
02月20日 プレスリリース 
2007年度研究プロジェクト報告会開催 [PDF]  2008/03/13 13:00〜16:30
02月20日 平成19年度第7回システム設計検証技術研究会 開催報告 
02月19日 2007年度研究プロジェクト報告会プログラム決定 [PDF] 
02月18日 テクニカルレポートを2件発行しました。
02月13日 Web版システム検証の事例報告集のページを公開しました。
02月04日 特別研究員、招聘研究員およびテクニカルスタッフ募集のお知らせ 終了
02月01日 研究成果のページを更新しました。
01月30日 2007年度研究プロジェクト報告会開催のお知らせ 2008/03/13 13:00〜16:30 終了
01月29日 テクニカルレポートを発行しました。
01月28日 テクニカルレポートを発行しました。
01月24日 テクニカルレポートを発行しました。
01月21日 平成19年度第6回システム設計検証技術研究会 開催報告 
01月15日 平成19年度第7回システム設計検証技術研究会 2008/02/07 16:00〜18:00 終了

 

2007年
 12月27日 研修コースのページを更新しました。
 12月19日 平成19年度第5回システム設計検証技術研究会 開催報告 
 12月18日 平成19年度第6回システム設計検証技術研究会 1/17 16:00〜18:00 終了
 12月04日 ニュースレター8号を発行しました。[PDF]
 11月28日 平成19年度第4回システム設計検証技術研究会 開催報告
 11月19日 平成19年度第5回システム設計検証技術研究会 12/17 16:00〜18:00 終了
 11月12日 平成19年度第3回システム設計検証技術研究会 開催報告
 11月02日 第四回システム検証の科学技術シンポジウムの予稿集を掲載しました。
 11月01日 平成19年度第4回システム設計検証技術研究会 1/22 16:00〜18:00 終了
 10月31日 テクニカルレポートを1件発行しました。
 10月30日 平成19年度第2回システム設計検証技術研究会 開催報告
 09月28日 第四回システム検証の科学技術シンポジウム 11/5-11/7 終了
 09月18日 ニュースレター7号を発行しました。[PDF]
 09月10日 第四回システム検証の科学技術シンポジウムのページを更新しました。
 08月24日 平成19年度第4回システム設計検証技術研究会  11/22 16:00〜18:00 終了
 08月23日 平成19年度第3回システム設計検証技術研究会  10/26 16:00〜18:00 終了
 08月06日 平成19年度第1回システム設計検証技術研究会 開催報告
 08月02日 平成19年度第2回システム設計検証技術研究会  9/27 16:00〜18:00 終了
 07月20日 CVS教程のページを更新しました。
 07月19日 リンク集のページを更新しました。
 07月19日 テクニカルレポートを1件発行しました。
 07月17日 テクニカルレポートを1件発行しました。
 07月12日 第四回システム検証の科学技術シンポジウム講演募集
 07月05日 2006年度研究報告集(テクニカルレポート)を掲載しました。
 06月29日 平成19年度第1回システム設計検証技術研究会 7/20 16:00〜18:00 終了
 06月01日 テクニカルレポートを1件発行しました。
 04月20日 テクニカルレポートを1件発行しました。
 03月19日 CVSニュースレター6号発行しました
 03月19日 2006年度実施研究プロジェクト報告会開催報告
 03月08日 JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (4th VERITE)を開催いたしました。
 02月20日 テクニカルレポートを2件発行しました。
 02月08日 テクニカルレポートを2件発行しました。
 01月31日 平成18年度第7回システム設計検証技術研究会開催報告
 01月30日 2006年度研究プロジェクト報告会開催のお知らせ 2007/03/15 13:00〜17:00 終了
 01月29日 特別連続講義:Bengt Nordström教授(シャルマース工科大学)
「構成的型理論講義」全5回(2/1、2/8、2/15、2/23、3/1)
 01月24日 契約職員(特別研究員およびテクニカルスタッフ)募集のお知らせ 終了
 01月22日 契約職員(テクニカルスタッフまたはアシスタント)募集のお知らせ 終了
(研究補助業務、図書室司書、広報業務、情報システム運用管理)
 01月15日 リンク集のページを新しく公開しました
 01月10日 平成18年度第7回システム設計検証技術研究会 終了

 

2006年
 12月18日 CVSニュースレター5号を発行しました
 11月28日 平成18年度第6回システム設計検証技術研究会開催報告
 11月13日 平成18年度第6回システム設計検証技術研究会 終了
 11月08日 第三回システム検証の科学技術シンポジウム予稿集(テクニカルレポート)掲載しました
 11月06日 テクニカルレポート1件発行しました
 11月06日 テクニカルスタッフ募集のお知らせ 終了
 10月24日 平成18年度第5回システム設計検証技術研究会 終了
 10月19日 平成18年度第4回システム設計検証技術研究会開催報告
 10月05日 外部の講演会でCVSメンバーが講演します(詳しくはカレンダーから) 終了
 10月05日 テクニカルレポート3件発行しました
 10月03日 CVS教程(1)「4日間で学ぶモデル検査初級編」 正誤表をアップしました
 10月01日 特別研究員およびテクニカルスタッフ募集のお知らせ 終了
 09月21日 第三回システム検証の科学技術シンポジウム講演プログラム
>>プログラムはこちら
>>基調・招待講演・チュートリアルのアブストラクトはこちら
 09月21日 平成18年度第4回システム設計検証技術研究会 10/6 16:00〜18:00 終了
 09月13日 第三回システム検証の科学技術シンポジウム講演募集を締め切りました
 09月06日 テクニカルレポート1件発行しました。
 09月06日 平成18年度第3回システム設計検証技術研究会開催報告
 09月04日 平成18年度第2回システム設計検証技術研究会開催報告
 08月02日 平成18年度第2回システム設計検証技術研究会 終了
 08月01日 テクニカルレポート1件発行しました。
 08月01日 CVSニュースレター4号を発行しました。
 07月13日 平成18年度第2回システム設計検証技術研究会 終了
 07月13日 平成18年度第1回システム設計検証技術研究会開催報告
 06月28日 CVS教程のお知らせ
 06月19日 平成18年度第1回システム設計検証技術研究会 終了
 06月13日 第三回システム検証の科学技術シンポジウム開催日決定! 終了
 05月24日 特別研究員および契約職員募集のお知らせ
 05月22日 テクニカルレポート2件発行しました
 05月15日 CVS2005年度実施研究プロジェクト報告会 6/1(木)プログラム更新 終了
 05月09日 JAIST/AIST Joint Workshop on Verification Technology 5/19(金)プログラム更新 終了
 04月20日 自動検証研究チーム長 大崎人士が平成18年度文部科学大臣表彰「若手科学者賞」を受賞しました。
 04月20日 テクニカルレポート1件掲載しました
 04月12日 CVS2005年度実施研究プロジェクト報告会 6/1(木) 10:00〜18:00
 04月12日 JAIST/AIST joint workshop on Verification Technology開催 5/19(金) 終了
 04月06日 AIST/CVS Workshop on Shape analysis and Program analysisプログラム 終了
 04月04日 AIST/CVS Workshop on Shape analysis and Program analysis開催します 終了
 03月15日 CVSニュースレター3号を発行しました
 03月07日 テクニカルレポート1件掲載しました
 02月27日 平成17年度第6回システム設計検証技術研究会終了報告
 02月17日 テクニカルレポート1件掲載しました
 02月13日 特別研究員、契約職員募集のお知らせ 終了
 02月10日 《産総研ワークショップ終了報告》
「機能安全規格と適合認証」-IEC61508の更なる理解に向けて-
 02月09日 平成17年度第6回システム設計検証技術研究会 2/16 15:00〜17:00 終了
 01月30日 平成17年度第5回システム設計検証技術研究会終了報告
 01月16日 《産総研ワークショップ プログラム決定!》
「機能安全規格と適合認証」-IEC61508の更なる理解に向けて- 終了
 01月16日 平成17年度第5回システム設計検証技術研究会開催のお知らせ 終了
 01月05日 対話型検証研修コース受講者募集(2006/4/3-7) 締切
 01月05日 モデル検査研修コース受講者募集(2006/3/6-9 & 2006/3/27-30) 締切
 01月04日 《産総研ワークショップ開催案内》
「機能安全規格と適合認証」-IEC61508の更なる理解に向けて-終了
 01月04日 平成17年第4回システム設計検証技術研究会終了報告
 01月04日 契約職員募集のお知らせ 終了

 

2005年
 12月27日 テクニカルレポート1件掲載しました
 12月13日 契約職員募集のお知らせ 終了
 12月05日 平成17年第4回システム設計検証技術研究会開催のお知らせ 終了
 12月05日 CVSニュースレター2号を発行しました
 11月18日 テクニカルレポート1件掲載しました
 10月27日 《特別講座》モデル検査研修コース(お試し版)開催場所変更のお知らせ 終了
 10月25日 第二回システム検証の科学技術シンポジウム予稿集(テクニカルレポート)
発行しました
 10月24日 《特別講座》モデル検査研修コース(お試し版)開催のお知らせ(11/4) 終了
 10月24日 第二回システム検証の科学技術シンポジウム終了いたしました。 終了
 10月17日 対話型検証研修コースを新設しました!
 10月17日 モデル検査研修コース受講者募集開始(2006/1/16-19) 終了
 10月14日 プレスリリース
対話型検証研修コース(初級編)新設
 10月11日 テクニカルレポート1件掲載しました
 10月04日 第二回システム検証の科学技術シンポジウム
プログラムを公開しました!
終了
 09月21日 第二回システム検証の科学技術シンポジウム 終了
基調講演・招待講演・チュートリアルの紹介
 09月20日 平成17年第3回システム設計検証技術研究会の報告
 09月13日 テクニカルレポート2件掲載しました。
 09月09日 JAIST/TRUST - AIST/CVS Joint Workshop開催のお知らせ(9/21-22 at JAIST) 終了
 09月01日 CVSニュースレターを創刊しました
 08月23日 尼崎サイト一般公開のご報告
 08月10日 産総研特別研究員、テクニカルスタッフ募集のお知らせ 終了
 08月08日 モデル検査研修コース開催決定。受講者募集開始(12/12〜12/15) 締切
 08月05日 平成17年第2回システム設計検証技術研究会の報告
 07月15日 モデル検査研修コース開講決定。 受講者募集開始(11/7〜11/10) 締切
 07月12日 7月28日(木)平成17年度第2回システム設計検証技術研究会を開催 終了
 07月05日 産総研特別研究員、テクニカルスタッフ募集のお知らせ 終了
 07月04日 関西センター尼崎サイト一般公開のお知らせ 終了
 06月27日 産総研特別研究員、招聘研究員、テクニカルスタッフ募集のお知らせ 終了
 06月17日 テクニカルスタッフ・アシスタント募集のお知らせ 終了
 06月15日 テクニカルレポート3件掲載しました
 06月14日 当センターのポリシーステートメントを更新しました
 06月09日 プレスリリース
「第二回システム検証の科学技術シンポジウム開催<講演募集>」
(PDF)
 05月20日 6月の計算機談話会(CLC)のスケジュールがきまりました
 05月20日 4月18日開催ワークショップの終了ご報告
 05月18日 5月24日(火)臨時計算機言語談話会(CLC)を開催します
 05月13日 特別研究員・テクニカルスタッフ募集のお知らせ 終了
 05月13日 シンポジウムの講演募集を開始しました!締め切り8月31日
 05月12日 第二回システム検証の科学 技術シンポジウム開催のお知らせ(10/20-21)
 05月10日 モデル検査研修コース臨時開講決定。 受講者募集開始(7/4〜7/7) 締切
 04月28日 テクニカルレポート4 件掲載しました
 04月27日 平 成17年度第1回システム設計検証技術研究会の開催報告です
 04月12日 4月25日(月)平成 17年度第1回システム設計検証技術研究会を開催 終了しました
 04月08日 4月18日(月)第三回AIST/CVSワークショップを開催 終了しました
 04月04日 モデル検査研修コースの次回予定決 定。受講者募集中!(8/1〜8/4) 締切
 03月28日 センターのホームページがリニューアルしました
 03月28日 2005年1月〜2月 までのテクニカルレポート5件掲載しました
 03月23日 モデル検査研修コース(初級編) 開催日程: 5/16〜5/19 締切ました
 03月23日 3月25日(金)臨時計算機言語談話会 (CLC)を開催します。 終了しました
 03月02日 3月の計算機談話会(CLC)のスケジュールがきまりました。
 02月19日 モデル検査研修コース(初級編)開講 受講者募集中です! 終了
 02月18日 2月25日(金) 臨時計算機言語談話会 (CLC)を開催します。 終了しました
講演者: Aart Middeldorp氏(Institute of Computer Science, University of Innsbruck)
 02月10日 2 月7日 開催 システム設計検証技術研究会 第5回講演会の報告
 02月08日 2月の計算機言語 談話会 (CLC)開催スケジュールが決まりました
 01月24日 2月7日(月)システム設計検証技術 研究会 第5回講演会を開催します 終了
講演者: 東京大学大学院総合文化研究科 広域システム科学系 教授 玉井哲雄氏
 01月05日  01月11日(木) 計算機言語談話会(CLC)を開催 します
講演者: Dexter Kozen氏 (Computer Science Department, Cornell University)

 

2004年
 12月22日 研究発表「 ソフトウェアテストシンポジウム2005(JaSST2005)」 2005/1/24-25
 12月14日 最新テクニカルレ ポート3件発行しました!
 12月10日 10/21開催 CVS/AIST 研究集会シリーズ2「検証と書換」の報告
 11月26日  メン バー一覧を更新しました
 11月17日  CVS/千里オフィ スオープン! (CVSの一部が引越ししました)
 10月13日  CVS/AIST 研究集会シリーズ「検証と書換」開催のお知らせ 終了
 10月07日  計算機言語談話会 (CLC)開催
 09月28日  計算機言語談話会 (CLC)開催
 09月21日  計算機言語談話会 (CLC)開催
 09月17日  テクニカルスタッフ募集の案内  終了
産総研若手任期付研究員募集の案内 終了
 09月14日  計算機言語談話会 (CLC)開催
 09月07日  計算機言語談話会 (CLC)開催
 09月02日  産総研特別研究員募集の案内
 09月02日  計算機言語談話会 (CLC)開催
 08月10日  メンバー一覧を更新しました。
 08月05日  計算機言語談話会 (CLC)開催
 07月30日  関西センター尼崎事業 所一般公開 終了
 07月22日  計算機言語談話会 (CLC)開催
 07月15日  計算機言語談話会 (CLC)開催
 07月14日  システム検証 技術研究会第二回講演会開催
 07月09日  計算機言語談話会 (CLC)開催
 07月08日  計算機言語談話会 (CLC)開催
 07月02日  方針声明 (PolicyStatement)を掲載しました。
 07月01日  計算機言語談話会 (CLC)開催
 06月24日  計算機言語談話会 (CLC)開催
 06月17日  計算機言語談話会 (CLC)開催
 06月14日-18日  当センターにおいてHaskell言語講習会開催
 06月10日  計算機言語談話会 (CLC)開催
 06月03日  計算機言語談話会 (CLC)開催
 05月20日  計算機言語談話会 (CLC)開催
 05月11日-12日  Types for Verification Workshop開催
 04月28日  情報システム管理運用技術者募集の 案内
 04月23日  平成15年 度システム検証技術研究会総会開催
システム検証技術研究会第一回講演会開催
 04月16日  計算機言語談話会 (CLC)開催
 04月13日  計算機言語談話会 (CLC)開催
 04月06日  計算機言語談話会 (CLC)開催
 04月01日  <システム検証研究ラボ>は平成16年4月1日付で<システム検証研究センター>に改組いたしました。
産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.