イベント

形式手法に関係したセミナー、勉強会、学会などありましたらどんどん追加してください。
イベント参加結果はぜひ、ご報告ください。

• 2010/8/29 Coq庵@名古屋
• 2010/8/23-30 2nd Asian-Pacific Summer School on Formal Methods@北京
• 2010/8/9-10 第二回層圏トポス合宿(8月9日-10日)@代々木オリンピックセンター
• 2010/7/11-14 ITP2010(Interactive Theorem Proving)
• 2010/7/12 13:00-17:00 Alloyセミナー@名古屋
• 2010/6/9-11 ソフトウェア・シンポジウム 2010 横浜
• 2010/5/12 形式手法徹底解説@ESEC
• 2010/4/29 第4回Formal Methods 勉強会
• 2010/4/25 Proof Cafe(栄)
• 2010/4/17 CLTT読書会
• 2010/4/16 Haskellers Meeting 2010 Spring
• 2010/4/10 第3回Formal Methods 勉強会
• 2010/3/26 トップエスイーチュートリアル「分散モデル検証実践」
• 2010/3/20 CLTT読書会 第０回
• 2010/3/18 システム検証研究センター最終報告会
• 2010/3/15-17 先端ソフトウェア工学に関するGRACE国際シンポジウム2010
• 2010/3/13 計算機言語で定理証明
• 2010/3/11 Software Japan2010
• 2010/3/10 第2回Formal Methods 勉強会
• 2010/3/10 第4回CSP研究会@東洋大学
• 2010/3/03-05 PPLプログラミングおよびプログラミング言語ワークショップ 2010
• 2010/2/25 そこが聞きたい医療機器ソフトウェア規格 IEC 62304:2006セミナー
• 2010/2/24 第18回JASA/ETセミナー 第5回　「国際規格に基づく機械安全設計及び宇宙分野のソフトウェア安全確保の取り組み」
• 2010/2/22-25 ABZ2010
• 2010/2/08 第1回Formal Methods勉強会
• 2009/12/14-15 第6回ディペンダブルシステムシンポジウム（dss2009）
• 2009/11/24-25 鉄道業界向け機能安全セミナー (EN5012X, EN5015X)
• 2009/09/09 第9回システム検証セミナー　『変化(進化)する検証』

• ----/--/-- 自動車向け 仮想ECU複合検証定期セミナー
• ----/--/-- 自動車ECU開発向け モデルベース開発ソフト検証定期セミナー