[Event][FM] Formal Methods Forum #15 on 4/23

第15回FormalMethods勉強会を 4/23(Sat) に開催します。
参加登録は下記 ATND からお願いします。
http://atnd.org/events/13673
今回は Monad 特集らしいです。

今回は Coq 関係では

• Coq の型クラスを使って Monad を実装


• Coq 未経験者向けのチュートリアルを書いたので、他の方に見て頂く
  

を予定してます。

Coq 未経験者の方は、その旨を ATND 参加時に書いて頂ければ、当日の内容を変更して対応出来る様に致します。ノートパソコン持参を推奨します。

[Coq][Formal Methods] Proof Assistant Day 2011 on 9/25(Sun)

　今年の９月は東京で ICFP 2011 が開催されることもあり、その前後の週末も公式/非公式な関数型言語イベントが多数開催される見込みです。

　我々の形式手法勉強会 Formal Methods Forum も、名古屋の ProofCafe と一緒に、昨年開催された Coq庵 と同様の定理証明系イベントを開催したいと計画しています。

　会場は新宿の豆蔵セミナールームを予定しています。（豆蔵様、会場提供ありがとうございます）

　諸々決まりましたら、また報告します。