fm-forum @ ウィキ
fm-forum @ ウィキ

「トップページ」の編集履歴（バックアップ）一覧はこちら

トップページ - (2010/02/12 (金) 13:50:33) の１つ前との変更点

追加された行は緑色になります。

削除された行は赤色になります。

**Formal Methods 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インストール]] -[[Certified Programming with Dependent Types関係]] **イベント情報 形式手法に関係したセミナー、勉強会、学会などありましたらどんどん追加してください。 -[[2010/3/18 システム検証研究センター最終報告会>>http://unit.aist.go.jp/cvs/final.html]] -[[2010/3/11 Software Japan2010>>http://www.ipsj.or.jp/10jigyo/forum/software-j2010/program-ipa_sec.html]] -[[2010/3/10 第4回CSP研究会@東洋大学]] -[[2010/3/15-17 先端ソフトウェア工学に関するGRACE国際シンポジウム2010>>http://events.grace-center.jp/symposium/2010/]] -[[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/]]
**Formal Methods 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インストール]] -[[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/11 Software Japan2010>>http://www.ipsj.or.jp/10jigyo/forum/software-j2010/program-ipa_sec.html]] -[[2010/3/10 第4回CSP研究会@東洋大学]] -[[2010/3/15-17 先端ソフトウェア工学に関するGRACE国際シンポジウム2010>>http://events.grace-center.jp/symposium/2010/]] -[[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/]]

表示オプション

横に並べて表示：
変化行の前後のみ表示：
ツールボックス

下から選んでください:

新しいページを作成する
ヘルプ / FAQ もご覧ください。