**Formal Methods Forum -形式手法について広く深く研究する会です。 -[[Formal Methods Forumメーリングリスト>>http://groups.google.co.jp/group/fm-forum]] **[[開催記録]] -参考資料 --[[Coq勉強資料:Certified Programming with Dependent Types>>http://adam.chlipala.net/cpdt/cpdt.pdf]] --[[Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books>>:http://wiki.event-b.org/index.php/Event-B_Language]] **[[Coq]] -[[Coqインストール]] -[[Coq参考資料]] -[[Certified Programming with Dependent Types関係]] **[[参考書籍]] **イベント情報 形式手法に関係したセミナー、勉強会、学会などありましたらどんどん追加してください。 イベント参加結果はぜひ、[[ご報告>>http://groups.google.co.jp/group/fm-forum]]ください。 -[[2010/3/18 システム検証研究センター最終報告会>>http://unit.aist.go.jp/cvs/final.html]] -[[2010/3/15-17 先端ソフトウェア工学に関するGRACE国際シンポジウム2010>>http://events.grace-center.jp/symposium/2010/]] -[[2010/3/13 計算機言語で定理証明>>http://atnd.org/events/2989]] -[[2010/3/11 Software Japan2010>>http://www.ipsj.or.jp/10jigyo/forum/software-j2010/program-ipa_sec.html]] -[[2010/3/10 第4回CSP研究会@東洋大学]] -[[2010/2/24 第18回JASA/ETセミナー 第5回 「国際規格に基づく機械安全設計及び宇宙分野のソフトウェア安全確保の取り組み」>>http://www.jasa.or.jp/top/activity/jevent/44th_detail.html]] -[[2010/2/22-25 ABZ2010>>http://abzconference.org/]] -[[2010/2/08 第1回Formal Methods勉強会>>開催記録]] -[[2009/12/14-15 第6回ディペンダブルシステムシンポジウム(dss2009)>>http://www.osss.cs.tsukuba.ac.jp/dss2009/]] **連絡先 -Twitter http://twitter.com/kencoba -[[kencobaの日記>>http://d.hatena.ne.jp/kencoba/]]