CVS

center-name

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

Computer Language Colloquium

計算機言語談話会

過去の講演記録などはこちらからご覧ください。

システム検証研究センターは、前身の電子技術総合研究所時代を経て、研究ラボから研究センターに発展する過程で、活動グループ 内外より、講師を招いて計算機言語談話会(CLC)を開催してまいりました。 CLCは、研究センターでの研究活動の中心的な役割を持つ研究セミナーであり、様々な背景を持つ研究メンバー全体に共通する知識を形成していくための場です。


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