「トップページ」の編集履歴（バックアップ）一覧に戻る

トップページ - (2010/02/12 (金) 13:50:57) の編集履歴(バックアップ)

---

Formal Methods Forum

• 形式手法について広く深く研究する会です。

開催記録

• 参考資料
  • Coq勉強資料:Certified Programming with Dependent Types
  • Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books

Coq

• Coqインストール
• Certified Programming with Dependent Types関係

イベント情報

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

• 2010/3/18 システム検証研究センター最終報告会
• 2010/3/11 Software Japan2010
• 2010/3/10 第4回CSP研究会@東洋大学
• 2010/3/15-17 先端ソフトウェア工学に関するGRACE国際シンポジウム2010
• 2010/2/22-25 ABZ2010
• 2010/2/08 第1回Formal Methods勉強会
• 2009/12/14-15 第6回ディペンダブルシステムシンポジウム（dss2009）

連絡先

• Twitter http://twitter.com/kencoba
• kencobaの日記