ProofSummit2011 Lightning Talk

1. ProofSummit2012?今後に向けて Formal Methods Forum活動紹介 2011/9/25

2. Formal Methods Forum https://groups.google.com/group/fm-forum #fm_forum 基本は毎月１回、豆蔵トレーニングルームにて開催 ProofCafe http://proofcafe.org/wiki/ ProofSummitのあとも勉強続けるには?・・・勉強会があります!

3. どんな活動してるの?FM_Forum2010年度対外活動:その1

4. @tmiya_ さん Coq Contribution: RegExp http://coq.inria.fr/pylons/contribs/view/RegExp/trunk 証明済み正規表現ライブラリのコントリビュート! @kencoba Unicode Identifier in Alloy Analyzer http://alloy.mit.edu/community/node/1039 ま、1行修正するだけなんで・・・でも日本語でAlloyの仕様を書けるようになった どんな活動してるの?FM_Forum2010年度対外活動:その2

5. Coq応用編 Purely Functional Data Structuresを使うか? Separation Logic? Start! Alloyがなかなかスタートできない・・・ 今はどんなことしてるの?FM_Forum2011年度活動目標

6. 形として残るものを作っていきたい 規模は無関係 ぜひ勉強会、メーリングリストにご参加ください https://groups.google.com/group/fm-forum 来年は発表したい!という約50名+αの方へ