AIST/CVS Workshop
AIST/CVS ワークショップ
CVSには、世界各国からの多くの研究者の方々が来訪されます。その機会を活かして、AIST/CVSワークショップを開催し、
広く皆さまにこのシステム検証の分野における最新情報を共有していただく場をご提供しております。
開催は不定期ですので、スケジュールが決定次第HP上で告知させていただきます。
◆これまでの開催記録
●第１３回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：Workshop on Simulation Based Development of Certified Embedded Systems
- 日 程： 2009年10月5日(月)〜7日(水)
- 場 所： Awaji Yume-butai International Conference Center,
Awaji island, Hyogo, Japan
- 内 容： >>詳細はこちらから
●第１２回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：ソフトウェアと検証のワークショップ
(Workshop on Software and Verification; WSV2009)
- 日 程： 2009年4月10日(金)
- 場 所： システム検証研究センター千里サイト６F会議室
- 内 容： >>当日のプログラムはこちらから
●第１１回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (6th VERITE)
- 日 程： 2009年3月12日(木)・13(金)
- 場 所： 北陸先端科学技術大学院大学 東京サテライトキャンパス(東京田町)2階多目的室2
- 内 容： >>当日のプログラムはこちらから
●第１０回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (5th VERITE)
- 日 程： 2008年3月3日(月)
- 場 所： 北陸先端科学技術大学院大学・情報科学研究科棟5F コラボレーションルーム７
- 内 容： >>当日のプログラムはこちらから
●第９回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (4th VERITE)
- 日 程： 2007年3月6日(火)・7日(水)
- 場 所： 北陸先端科学技術大学院大学・知識講義棟２階中講義室
- 内 容： >>当日のプログラムはこちらから
●第８回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (3rd VERITE)
- 日 程： 2006年11月27日(月)・28日(火)
- 場 所： 北陸先端科学技術大学院大学・知識講義棟２階中講義室
- 内 容： >>当日のプログラムはこちらから
●第７回 ＡＩＳＴ/ＣＶＳ ワークショップ ( 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よりもゲスト・スピーカーを迎え、３拠点合同で開催いたしました。
>>当日のプログラムはこちらから
●第６回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：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先生にもご講演いただきました。
>>当日プログラムはこちらから
●産総研ワークショップ（第５回 ＡＩＳＴ/ＣＶＳ ワークショップ）
- タイトル：「機能安全規格と適合認証」-ＩＥＣ61508のさらなる理解に向けて-
- 日 程： 2006年2月8日(水)
- 場 所： 産業技術総合研究所関西センター 基礎融合材料実験棟第８会議室(２階ホール)
- >>詳細はこちらから
●第４回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (1st VERITE)
- 日 程： 2005年9月21日(水)・22日(木)
- 場 所： 北陸先端科学技術大学院大学 金沢文化ホール1F
- 内 容：
>>当日のプログラムはこちらから
●第３回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル：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.
●第２回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル： One-day Workshop on Verification and Rewriting
- 日 程： 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]
●第１回 ＡＩＳＴ/ＣＶＳ ワークショップ
- タイトル： 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.
