CVS

center-name

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

Symposium

システム検証の科学技術シンポジウム Symposium on System Verification (SSV)

※「システム検証の科学技術シンポジウム」より「ディペンダブルシステムシンポジウム(dss)」に名称を変更いたしました。
こちら
からご覧いただけます。


第五回システム検証の科学技術シンポジウム

無事3日間の日程を終了いたしました。ご支援ありがとうございました。
11月17日(月)から19日(水)までの日程で開催されました本シンポジウムは無事終了いたしました。ご協賛いただきました 皆様、講演者の皆様、ご参加いただきました皆様に心より御礼申し上げます。
全参加人数は80名でございました。参加者アンケートにいただきました貴重なご意見は今後のシンポジウムの運営に役立てて参ります。
今後ともどうぞよろしくお願い申し上げます。

開催期間:2008年11月17日(月)〜11月19日(水)
場所: 筑波大学 大学会館 国際会議室 (つくばキャンパス)
主催: 日本ソフトウェア科学会 ディペンダブルシステム研究会
共催: 産業技術総合研究所 システム検証研究センター、筑波大学大学院 システム情報工学研究科
協賛: 電子情報通信学会、日本応用数理学会、国際数理科学協会、情報処理学会、科学技術振興機構、宇宙航空研究開発機構 情報・計算工学センター、ネオクラスター推進共同体(事務局:財団法人関西情報・産業活性化センター)、組込みソフト産業推進会議、NPO法人TOPPERSプロジェクト
後援: 情報処理推進機構ソフトウェア・エンジニアリング・センター

annai5

>>プログラムはこちらから

●予稿集はこちらからご覧ください。PDF全編(4.94MB)



 




第四回システム検証の科学技術シンポジウム

無事3日間の日程を終了いたしました。ご支援ありがとうございました。
11月5日(月)から7日(水)までの日程で開催されました本シンポジウムは無事終了いたしました。ご協賛いただきました 皆様、講演者の皆様、ご参加いただきました皆様に心より御礼申し上げます。
全参加人数は94名でございました。参加者アンケートにいただきました貴重なご意見は今後のシンポジウムの運営に役立てて参ります。
今後ともどうぞよろしくお願い申し上げます。

開催期間:2007年11月5日(月)〜11月7日(水)
場所: 名古屋大学 野依記念学術交流館
主催: 日本ソフトウェア科学会ディペンダブルシステム研究会
共催: 産業技術総合研究所システム検証研究センター、名古屋大学大学院情報科学研究科
協賛: 科学技術振興機構、 情報処理学会、電子情報通信学会、ネオクラスター推進共同体(事務局:財団法人関西情報・産業活性化センター)、情報処理推進機構ソフトウェアエンジニアリングセンター、国際数理科学協会、日本応用数理学会、組込みソフト産業推進会議 、宇宙航空研究開発機構 情報・計算工学センター、 NPO法人TOPPERSプロジェクト、JasPar

annai4

>>プログラムはこちらから

●予稿集はこちらからご覧ください。PDF全編(7.08MB)



 




第三回システム検証の科学技術シンポジウム 

無事3日間の日程を終了いたしました。ご支援ありがとうございました。
10月30日(月)〜11月1日(水)で開催しました本シンポジウムは、おかげさまで無事終了いたしました。ご協賛いただきました皆様、講演者の皆様、ならびにご参加いただきました皆様に心よりお礼申し上げます。
参加人数は、初日98名、二日目96名、最終日70名でございました。全日程ご参加いただきました方々も少なくありませんでした。
今後ともどうぞよろしくお願い申し上げます。

開催期間:2006年10月30日(月)〜11月1日(水)
場所:千里ライフサイ エンスセンター 5Fサイエンスホール(大阪府豊中市新千里東町1丁目4番2号)
主催:科学技術振興機構、産業技術総合研究所システム検証研究センター
協賛:日本ソフトウェア科学会、情報処理学会、電子情報通信学会、ネオクラスター推進共同体、情報処理推進機構、国際数理科学協会、日本応用数理学会、宇宙航空研究開発機構

yokyoshu3

>>プログラムはこちらから

>>基調・招待講演・チュートリアル詳細はこちらから


●予稿集はこちらからご覧ください。PDF全編(11.1MB)

●参加者専用ページ



第二回システム検証の科学技術シンポジウム

おかげをもちまして、無事終了いたしました。講演者の皆様、ならびにご参加いただきました皆様にお礼申し上げます。参加人数は、初日146名、二日目112名でございました。

開催日程:2005年10月20日(木)〜21日(金)
主催:科学技術振興機構 産業技術総合研究所 システム検証研究センター
協賛:
日本ソフトウエア科学会、情報処理学会、電子情報通信学会、関西IT共同体、日本数理科学協会(現 国際数理科学協会)
場所:ライフサイエンスセンター 5Fサイエンスホール(大阪府豊中市)

yokyoshu2
テーマ:
情報処理システムのディペンダビリティ(信頼性/安全性/セキュリティ)・情報処理 システム開発の生産性・数理的技法(Formal Method)(モデル検査/定理証明)・数理的技法周辺の理論(算譜意味論/プログラミング論理/書換系)・情報処理システムのテスト、品質保証、開発 方法論・検証手法の導入事例研究

>>プログラムはこちらから

●予稿集はこちらからご覧ください PDF全編(7.2MB) 
●参加者専用ページ



第一回シンポジウム「システム検証の科学技術」

開催日程: 2004年2月4日〜6日
場所:梅田スカイビル(大阪市)
主催:科学技術振興機構 産業技術総合研究所 システム検証研究センター(当時ラボ)
協賛:情報処理学会 日本ソフトウェア科学会 電子情報通信学会 関西IT共同体
おかげをもちまして、第一回目にもかかわらず約200人の皆様のご参加をいただきました。
詳細   ※別のブラウザーが立ち上がります。
 
posteryokoshuテー マ:
情報処理システムのディペンダビリティ(信頼性/安全性/セキュリティ)・情報処理 システム開発の生産性・数理的技法(Formal Method)(モデル検査/定理証明)・数理的技法周辺の理論(算譜意味論/プログラミング論理/書換系)・情報処理システムのテスト、品質保証、開発 方法論・検証手法の導入事例研究


←予稿集のPDF全編(11.4MB)こちらから



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