HOME>セミナー・イベント

セミナー・イベント

AISTコア技術セミナー
「システムが安全であること」「異常時でも安全を確保できること」など、システムに対する安全性への要求は、過度に高まっており、経営の大きなリスク要因となるほどに影響を増しています・・・
計算機言語談話会(CLC)を詳しく見る
計算機言語談話会(CLC)
CLCは、研究活動の中心的な役割を持つ研究セミナーであり、様々な背景を持つ研究メンバー全体に共通する知識を形成していくための場です。
計算機言語談話会(CLC)を詳しく見る
システム設計検証技術研究会
システム設計および開発に資する検証技術の普及を活動目的として、数理的技法にもとづく検証についての講演や、世の中で広く使われている検証ツールの紹介を行います。 システム設計検証技術研究会(コンソ)を詳しく見る。
AIST/CVS ワークショップ
CVSには、世界各国からの多くの研究者の方々が来訪されます。その機会を活かして、AIST/CVSワークショップを開催し、 広く皆さまにこのシステム検証の分野における最新情報を共有していただく場をご提供しております。AIST/CVS ワークショップを詳しく見る。
その他のイベント
日進月歩で発展するシステムの検証の科学技術に関する知識共有を図ります。システム検証の科学技術シンポジウムを詳しく見る

▲ページ先頭へ