CVS

center-name

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

AIST/CVS Workshop

AIST/CVS ワークショップ

CVSには、世界各国からの多くの研究者の方々が来訪されます。その機会を活かして、AIST/CVSワークショップを開催し、 広く皆さまにこのシステム検証の分野における最新情報を共有していただく場をご提供しております。
開催は不定期ですので、スケジュールが決定次第HP上で告知させていただきます。  

◆次回開催予定

決定次第、随時掲載いたします。

◆これまでの開催記録

第13回 AIST/CVS ワークショップ

タイトル:Workshop on Simulation Based Development of Certified Embedded Systems
日    程: 2009年10月5日(月)〜7日(水)
場    所:  Awaji Yume-butai International Conference Center, Awaji island, Hyogo, Japan
内    容: >>詳細はこちらから


第12回 AIST/CVS ワークショップ

タイトル:ソフトウェアと検証のワークショップ (Workshop on Software and Verification; WSV2009)
日    程: 2009年4月10日(金)
場    所: システム検証研究センター千里サイト6F会議室
内    容: >>当日のプログラムはこちらから


第11回 AIST/CVS ワークショップ

タイトル:JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (6th VERITE)
日    程: 2009年3月12日(木)・13(金)
場    所: 北陸先端科学技術大学院大学 東京サテライトキャンパス(東京田町)2階多目的室2
内    容: >>当日のプログラムはこちらから


第10回 AIST/CVS ワークショップ

タイトル:JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (5th VERITE)
日    程: 2008年3月3日(月)
場    所: 北陸先端科学技術大学院大学・情報科学研究科棟5F コラボレーションルーム7
内    容: >>当日のプログラムはこちらから


第9回 AIST/CVS ワークショップ

タイトル:JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (4th VERITE)
日    程: 2007年3月6日(火)・7日(水)      
場    所: 北陸先端科学技術大学院大学・知識講義棟2階中講義室
内    容: >>当日のプログラムはこちらから


第8回 AIST/CVS ワークショップ

タイトル:JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (3rd VERITE)
日    程: 2006年11月27日(月)・28日(火)
場    所: 北陸先端科学技術大学院大学・知識講義棟2階中講義室
内    容: >>当日のプログラムはこちらから


第7回 AIST/CVS ワークショップ ( 2nd JAIST-AIST Workshop with guests from Chalmers )

タイトル:JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (2nd VERITE)
日    程: 2006年5月19日(金) 09:00-18:00
場    所: システム検証研究センター千里オフィス6F会議室
内    容: 
北陸先端科学技術大学院大学(JAIST)とシステム検証研究センターの合同ワークショップの二回目です。今回は、スウェーデンのChalmers University of Technologyよりもゲスト・スピーカーを迎え、3拠点合同で開催いたしました。
>>当日のプログラムはこちらから


第6回 AIST/CVS ワークショップ

タイトル:AIST/CVS Workshop on Shape Aanalysis and Program Analysis
日    程: 2006年4月7日(金) 10:00〜17:00
場    所: システム検証研究センター千里オフィス6F会議室
内    容: 
Shape analysis で有名なMooly Sagiv先生(Tel-aviv大学)が当研究センターを来訪されました。そこで、Shape analysisやProgram analysisに関するWorkshopを開催し、Sagiv先生にもご講演いただきました。
>>当日プログラムはこちらから


産総研ワークショップ(第5回 AIST/CVS ワークショップ)

タイトル:「機能安全規格と適合認証」-IEC61508のさらなる理解に向けて-
日    程: 2006年2月8日(水)
場    所: 産業技術総合研究所関西センター 基礎融合材料実験棟第8会議室(2階ホール)
>>詳細はこちらから


第4回 AIST/CVS ワークショップ

タイトル:JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (1st VERITE)
日    程: 2005年9月21日(水)・22日(木)
場    所: 北陸先端科学技術大学院大学 金沢文化ホール1F
内    容:  >>当日のプログラムはこちらから


第3回 AIST/CVS ワークショップ

タイトル:AIST/CVS Workshop on Automatic and Interactive Verification
日    程: 2005年4月18日(月)
場    所: システム検証研究センター千里オフィス6F会議室
内    容: 
アルゴリズミックな自動検証と人知を活かせる対話型の検証の効果的な組み合わせについて討議する、一日ワークショップのご案内です。両者の融合の研究はそれぞれのコミュニティーで盛んですが、お互いが他方の研究を深く理解するには、意識的に一つのコミュニティーを形成していく機会がまだまだ多く必要となります。Illinois大José Meseguer教授、Chalmers大Thierry Coquand, Peter Dybjer, Bengt Nordström三教授他、当研究センターがそれぞれの分野で協力関係にある研究者の同時来日を機会に、本一日ワークショップを開催いたしました。
>>当日のプログラム等
>> Pictures  *As this page contains many pictures, it may take some of your time to open.


第2回 AIST/CVS ワークショップ

タイトル: One-day Workshop on Verification and RewritingBldg, E
日    程: 2004年10月21日 10:00〜18:00
場    所: 尼崎オフィス
内    容:
On the occasion of Prof. J. Meseguer's visit to CVS/AIST and Prof. Buchberger's visit to Kyoto, we organise a one day workshop on verification and rewriting.      
>> Pictures   *As this page contains many pictures, it may take some of your time to open.
>> Abstracts[pdf]


第1回 AIST/CVS ワークショップ

タイトル: Workshop on Types for Verification
日    程: 2004年05月11日・12日 10:00〜17:00
場    所: 尼崎オフィス
内    容:
This workshop was to take advantage of the chance gathering in Kansai of three representative scholars from Sweden in areas related to the theory and practice of systems verification, and had a free discussions ranging from foundational systems to technologies for applications.


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